diff options
| author | Gabriel Ebner <gebner@gebner.org> | 2022-01-02 22:56:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-02 22:56:09 +0100 |
| commit | 7fb27d1c223542a0d64e8c7bf99591b34ab0976e (patch) | |
| tree | 5104e839e8ac4331e83e6d69b74759696eb21f01 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 8bcd2e91b59fbe2b3bb00dd24a7d4e375aac1103 (diff) | |
| parent | c601134af8e58ec26401c8b19e96d1a599fcf90e (diff) | |
Merge pull request #153190 from jvanbruegge/isabelle-vampire
isabelle: Use vampire and eprover from nixpkgs
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions