kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
wiz 4e3b1b97c2 librsvg: update bl3.mk to remove libcroco in rust case 
recursive bump for the dependency change
2020-03-10 22:08:37 +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 librsvg: update bl3.mk to remove libcroco in rust case 2020-03-10 22:08:37 +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