kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
tv f816d81489 Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.
2005-04-11 21:44:48 +00:00
..
patches - Update of coq from 7.4 to 8.0pl2 2005-02-05 11:19:02 +00:00
DESCR
distinfo Add RMD160 digests 2005-02-24 09:03:05 +00:00
Makefile Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. 2005-04-11 21:44:48 +00:00
MESSAGE
PLIST - Update of coq from 7.4 to 8.0pl2 2005-02-05 11:19:02 +00:00
PLIST.opt - Update of coq from 7.4 to 8.0pl2 2005-02-05 11:19:02 +00:00