Ali Caglayan ef593972ff coqPackages.HoTT: 8.19 -> 8.20 ... Signed-off-by: Ali Caglayan <alizter@gmail.com> <!-- ps-id: 92474861-7551-4ab8-a321-d0de1738c5e8 -->		2024-09-30 21:01:31 +02:00
..
default.nix	coqPackages.HoTT: 8.19 -> 8.20	2024-09-30 21:01:31 +02:00