diff options
| author | Bobby Rong <rjl931189261@126.com> | 2023-01-10 22:29:53 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-10 22:29:53 +0800 |
| commit | 60164ab87bb4270ba6728690b5be03e988f48988 (patch) | |
| tree | 46b04026fc98031f6b5c802b18520d67a15d09c2 /pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch | |
| parent | 9aa633ca8c6a86a4628bafd56f0a2925d5591371 (diff) | |
cbmc: mark as broken on aarch64-linux
Upstream issue has no respond for a month and ofborg keeps reporting this failure.
Diffstat (limited to 'pkgs/development/python-modules/python-mapnik/python-mapnik_std_optional.patch')
0 files changed, 0 insertions, 0 deletions