rtyler
/
pkgsrc-wip
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
pkgsrc-wip/coq
History
Jaap Boender 370094edf4 Synchronised with pkgsrc, updated coq to 8.11+beta1 2020-01-24 16:03:29 +01:00
..
patches Synchronised with pkgsrc, updated coq to 8.11+beta1 2020-01-24 16:03:29 +01:00
DESCR
…
MESSAGE
…
Makefile Synchronised with pkgsrc, updated coq to 8.11+beta1 2020-01-24 16:03:29 +01:00
PLIST Synchronised with pkgsrc, updated coq to 8.11+beta1 2020-01-24 16:03:29 +01:00
distinfo Synchronised with pkgsrc, updated coq to 8.11+beta1 2020-01-24 16:03:29 +01:00
options.mk Synchronised with pkgsrc, updated coq to 8.11+beta1 2020-01-24 16:03:29 +01:00