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	mysql_jdbc: modernize, 5.1.46 -> 5.1.49	2021-08-02 21:44:02 +02:00
8.0.x.nix	mysql80: 8.0.30 -> 8.0.31	2022-10-19 22:51:23 +01:00