kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
adam 9d0e79c401 revbump for textproc/icu
2021-04-21 11:40:12 +00:00
..
patches Update lang/coq to 8.12.2. 2021-02-09 22:37:43 +00:00
DESCR
distinfo Update lang/coq to 8.12.2. 2021-02-09 22:37:43 +00:00
Makefile revbump for textproc/icu 2021-04-21 11:40:12 +00:00
MESSAGE
options.mk Update lang/coq to 8.12.2. 2021-02-09 22:37:43 +00:00
PLIST Update lang/coq to 8.12.2. 2021-02-09 22:37:43 +00:00