kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
ryoon 2831546220 *: Recursive revbump from textproc/icu-68.1
2020-11-05 09:07:25 +00:00
..
patches Updated lang/coq to version 8.10.2. 2020-01-24 15:54:48 +00:00
DESCR
distinfo Updated lang/coq to version 8.10.2. 2020-01-24 15:54:48 +00:00
Makefile *: Recursive revbump from textproc/icu-68.1 2020-11-05 09:07:25 +00:00
MESSAGE
options.mk lang/coq now needs adwaita-icon-theme. 2020-03-01 05:25:13 +00:00
PLIST Updated lang/coq to version 8.10.2. 2020-01-24 15:54:48 +00:00