kpriv
/
pkgsrc
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
pkgsrc/lang/coq
History
wiz 389f47b775 *: recursive bump for cairo dependency changes 2023-11-14 14:01:17 +00:00
..
patches lang/coq: update to 8.15.2 to make it work with current ocaml. 2022-06-21 02:21:22 +00:00
DESCR
…
Makefile *: recursive bump for cairo dependency changes 2023-11-14 14:01:17 +00:00
PLIST lang/coq: update to 8.15.2 to make it work with current ocaml. 2022-06-21 02:21:22 +00:00
distinfo lang/coq: update to 8.15.2 to make it work with current ocaml. 2022-06-21 02:21:22 +00:00
options.mk *: latest py-sphinx only support Python 3.9+ 2023-11-07 22:37:56 +00:00