Yorick van Pelt 0edf1ffc3f mysql-workbench: switch from mysql57 to mysql80		2022-10-12 11:02:14 +02:00
..
default.nix
fix-gdal-includes.patch
fix-swig-build.patch
hardcode-paths.patch