DISTFILES: mysql-workbench: mysql-workbench-community-8.0.40-src.tar.gz antlr-4.13.2-complete.jar

[baggins]

Request by: baggins


Files fetched: 2

STORED: https://dev.mysql.com/get/Downloads/MySQLGUITools/mysql-workbench-community-8.0.40-src.tar.gz
	9f93e8c7d37d073c48bbbf6f8d0e52f9  mysql-workbench-community-8.0.40-src.tar.gz
	Size: 59110161 bytes
STORED: http://www.antlr.org/download/antlr-4.13.2-complete.jar
	3c8bf23796901bbadaccf6e4c1f923e7  antlr-4.13.2-complete.jar
	Size: 2140045 bytes


-- 
Virtually Yours: distfiles.