diff options
| author | Guillaume Maudoux <guillaume.maudoux@tweag.io> | 2022-08-11 15:15:56 +0200 |
|---|---|---|
| committer | whonore <wolfhonore@gmail.com> | 2023-04-29 18:54:04 -0400 |
| commit | bfebb2de80f4ed606b02d95516b99026ad007d64 (patch) | |
| tree | 657caf3011047af86d38c901af498c240ff095a9 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | a3c2acc931fca975bd51aa0a07180036bfb75c2c (diff) | |
dafny: fix build by pruning old deps
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions