Théo Zimmermann eb1b39787f coqPackages_8_15.serapi: init at 8.15.0+0.15.0 ... And also clean up rc version for Coq 8.15.		2022-01-27 08:11:31 +01: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_8_15.serapi: init at 8.15.0+0.15.0	2022-01-27 08:11:31 +01:00