kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
adam 6bd0c30da6 Revbump for icu
2020-06-02 08:22:31 +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 Revbump for icu 2020-06-02 08:22:31 +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