kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
wiz 1ffc26a2ce *: fix usage of versioned_dependencies 
Remove unused includes, fix dependencies where it's not included.
2022-05-01 09:45:41 +00:00
..
patches Update lang/coq to 8.12.2. 2021-02-09 22:37:43 +00:00
DESCR
distinfo lang: Replace RMD160 checksums with BLAKE2s checksums 2021-10-26 10:51:29 +00:00
Makefile *: fix usage of versioned_dependencies 2022-05-01 09:45:41 +00:00
MESSAGE
options.mk *: fix usage of versioned_dependencies 2022-05-01 09:45:41 +00:00
PLIST Update lang/coq to 8.12.2. 2021-02-09 22:37:43 +00:00