diff options
| author | Pierre Roux <pierre.roux@onera.fr> | 2024-10-14 14:03:57 +0200 |
|---|---|---|
| committer | Pierre Roux <pierre.roux@onera.fr> | 2024-10-14 14:04:52 +0200 |
| commit | 1932f502892d03e7b4a2373606b63c923c249e28 (patch) | |
| tree | d7ac3313a226b0ecb502d6a9140f6358a7adc2cb /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | b59896963540fbaceaf46231df254d9da63cd0be (diff) | |
Fixing coqPackages_8_19.coq-elpi
Was missing the elpi version
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions