Vincent Laporte df33946f5e coqPackages.serapi: fix build with Coq 8.16

2023-09-26 14:10:44 +02:00

..

8.10.0+0.7.2.patch

…

8.11.0+0.11.1.patch

…

8.12.0+0.12.1.patch

…

default.nix

coqPackages.serapi: fix build with Coq 8.16

2023-09-26 14:10:44 +02:00

janestreet-0.15.patch

…

janestreet-0.16.patch

ocamlPackages.janestreet: 0.15 -> 0.16 (#247022)

2023-08-31 07:46:20 +02:00