kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
agc 475ab002d7 Add RMD160 digests
2005-02-24 09:03:05 +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 - Update of coq from 7.4 to 8.0pl2 2005-02-05 11:19:02 +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