kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
gutteridge 1e4ca2627d Bump all dependent packages of wayland (belatedly) 
The package changed with the addition of its libepoll-shim dependency.
Otherwise, we can get:
ERROR: libepoll-shim>=0.0.20210418 is not installed; can't buildlink files.
2022-08-11 05:08:00 +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 Bump all dependent packages of wayland (belatedly) 2022-08-11 05:08:00 +00:00
options.mk lang/coq: update to 8.15.2 to make it work with current ocaml. 2022-06-21 02:21:22 +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