Thomas Gerbet 42b5fa9e3b mysql57: remove derivation files ... `mysql57` was dropped in a5c9290979 but the derivation files were kept. They can now be removed.		2022-10-29 17:53:58 +02:00
..
jdbc
8.0.x.nix	mysql80: 8.0.30 -> 8.0.31	2022-10-19 22:51:23 +01:00