diff options
| author | Ali Caglayan <alizter@gmail.com> | 2023-03-29 17:23:05 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-03-30 20:05:15 +0200 |
| commit | 463643afa8b70b153ef1728493afce53817514ff (patch) | |
| tree | 3bcfe82dd4f5db37c194f844e9ee35f9cb831920 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 9e109435f7802ad9201d7d4a6e7046b9ed2da943 (diff) | |
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>
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions