diff options
| author | Morgan Jones <me@numin.it> | 2025-01-18 16:39:39 -0800 |
|---|---|---|
| committer | Morgan Jones <me@numin.it> | 2025-04-20 12:39:27 -0700 |
| commit | 4fe4ed760230e1867f048f19c8d7ef8cdcbc68a0 (patch) | |
| tree | ca9165951bd728db2a4df707339a4422ad9d83c7 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | f315f1ad9d3068056f843aed80c8e8e93dcdbc02 (diff) | |
fstar: 2024.09.05 -> 2025.03.25
The F* team significantly cleaned up the build. Based on the Nix
expression here:
https://github.com/FStarLang/FStar/blob/master/.nix/fstar.nix
Move to by-name and adopt the Z3 4.8.5 patches since we are now the only
package that depends on Z3 4.8.5 in nixpkgs.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions