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> |
||
---|---|---|
.. | ||
default.nix |