pkg-plist « coq « math - ports - FreeBSD ports tree

about summary refs log blame commit diff

path: root/math/coq/pkg-plist

blob: bbf360cffa815a2c88a2704df8b3cce8d66882d6 (plain) (tree)

8
9
10

26
27

31
32

46
47

48
49

57
58

60
61

75
76

77
78

79
80

81
82

83
84

88
89

262
263
264

299
300

475
476
477

515
516
517

518
519