diff options
| author | Enrico Tassi <Enrico.Tassi@Inria.fr> | 2021-05-25 12:43:21 +0200 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-05-28 03:15:23 +0200 |
| commit | 6fb5325d5cc3fc3e9c95b4b73507ab968c89da9b (patch) | |
| tree | 14946bec6d5db92fdc83feea1595148072277a1d /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | abc154793a768ae3b7b412df9d8b118ec0331bae (diff) | |
coq-elpi: clarify license
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions