kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
snj 4175a1077a Convert to buildlink3.
2004-04-28 05:06:28 +00:00
..
patches
DESCR
distinfo
Makefile Convert to buildlink3. 2004-04-28 05:06:28 +00:00
MESSAGE
PLIST
PLIST.opt