diff options
| author | José Romildo <malaquias@gmail.com> | 2022-10-23 12:17:56 -0300 |
|---|---|---|
| committer | José Romildo <malaquias@gmail.com> | 2022-10-23 18:02:30 -0300 |
| commit | 15b6e9efd4f4f7a2f0d530f102edd2f07f787d78 (patch) | |
| tree | e1b932e6935c7f85ee0a6876d83e5e24bbd6b4eb /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | ab89457dd110f7582336e7717121de78e926e2d6 (diff) | |
fstar: do not use ppxlib >= 0.26
See https://github.com/FStarLang/FStar/issues/2681
When a fix is availabe, this work around should be removed.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions