Ali Caglayan 463643afa8 coqPackages.HoTT: 8.16 -> 8.17 ... We bump the HoTT library to 8.17 and switch to using Dune for the build. I attempted to include the 8.10 - 8.13 builds but I couldn't get autoconf to work the way I wanted so I gave up in the end. Signed-off-by: Ali Caglayan <alizter@gmail.com>		2023-03-30 20:05:15 +02:00
..
default.nix	coqPackages.HoTT: 8.16 -> 8.17	2023-03-30 20:05:15 +02:00