kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
dholland a40f45a2f7 lang/coq now needs adwaita-icon-theme. 
(without it the new coqide is missing things, and it seems to
specifically refer to adwaita-icon-theme by name)

Bump PKGREVISION to 1, since coqide is a default-on option.
2020-03-01 05:25:13 +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 lang/coq now needs adwaita-icon-theme. 2020-03-01 05:25:13 +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