Index of /rock-releases/master-20.01/pool/main/r/rock-master-20.01-tools-gecode

	Name	Last modified	Size	Description
	Parent Directory		-
	rock-master-20.01-tools-gecode_0.20190410-1~bionic.debian.tar.xz	2020-04-24 00:37	4.9K
	rock-master-20.01-tools-gecode_0.20190410-1~bionic.dsc	2020-04-24 00:37	1.3K
	rock-master-20.01-tools-gecode_0.20190410-1~bionic_amd64.deb	2020-04-24 00:37	15M
	rock-master-20.01-tools-gecode_0.20190410-1~buster.debian.tar.xz	2020-04-25 02:55	4.9K
	rock-master-20.01-tools-gecode_0.20190410-1~buster.dsc	2020-04-25 02:55	1.3K
	rock-master-20.01-tools-gecode_0.20190410-1~buster_amd64.deb	2020-03-06 11:10	15M
	rock-master-20.01-tools-gecode_0.20190410-1~buster_arm64.deb	2020-04-25 02:55	14M
	rock-master-20.01-tools-gecode_0.20190410-1~xenial.debian.tar.xz	2020-04-24 22:19	4.9K
	rock-master-20.01-tools-gecode_0.20190410-1~xenial.dsc	2020-04-24 22:19	1.3K
	rock-master-20.01-tools-gecode_0.20190410-1~xenial_amd64.deb	2020-04-24 22:19	15M
	rock-master-20.01-tools-gecode_0.20190410.orig.tar.gz	2020-02-08 04:32	3.5M