This website requires JavaScript.
Explore
Help
Register
Sign In
kpriv
/
pkgsrc
Watch
1
Star
0
Fork
You've already forked pkgsrc
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
f3c4c012d5
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
distinfo
lang/coq: update to 8.15.2 to make it work with current ocaml.
2022-06-21 02:21:22 +00:00
Makefile
*: recursive bump for cairo dependency changes
2023-11-14 14:01:17 +00:00
options.mk
*: latest py-sphinx only support Python 3.9+
2023-11-07 22:37:56 +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