pkgsrc/lang/coq
2021-02-09 22:38:30 +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 take MAINTAINER, ok jaapb@ 2021-02-09 22:38:30 +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