Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	coq-hammer_1.3.2+8.16-2.debian.tar.xz	2023-01-25 20:01	2.3K
	coq-hammer_1.3.2+8.16-2.dsc	2023-01-25 20:01	2.1K
	coq-hammer_1.3.2+8.16.orig.tar.gz	2022-09-06 21:09	145K
	coq-hammer_1.3.2+8.19-2.debian.tar.xz	2024-08-04 03:44	2.7K
	coq-hammer_1.3.2+8.19-2.dsc	2024-08-04 03:44	1.8K
	coq-hammer_1.3.2+8.19.orig.tar.gz	2024-04-27 01:46	145K
	coq-hammer_1.3.2+8.20-1.debian.tar.xz	2024-11-20 22:57	2.7K
	coq-hammer_1.3.2+8.20-1.dsc	2024-11-20 22:57	2.1K
	coq-hammer_1.3.2+8.20.orig.tar.gz	2024-11-20 22:57	145K
	libcoq-hammer_1.3.2+8.16-2+b1_amd64.deb	2023-02-13 18:11	492K
	libcoq-hammer_1.3.2+8.16-2+b1_arm64.deb	2023-02-13 18:11	519K
	libcoq-hammer_1.3.2+8.16-2+b1_armhf.deb	2023-02-13 18:26	482K
	libcoq-hammer_1.3.2+8.16-2+b1_i386.deb	2023-02-13 18:11	472K
	libcoq-hammer_1.3.2+8.16-2+b1_ppc64el.deb	2023-02-13 18:11	507K
	libcoq-hammer_1.3.2+8.16-2+b1_s390x.deb	2023-02-13 18:06	494K
	libcoq-hammer_1.3.2+8.19-2+b2_amd64.deb	2024-08-21 15:54	502K
	libcoq-hammer_1.3.2+8.19-2+b2_arm64.deb	2024-08-21 15:54	528K
	libcoq-hammer_1.3.2+8.19-2+b2_riscv64.deb	2024-08-21 17:00	515K
	libcoq-hammer_1.3.2+8.19-2+b3_ppc64el.deb	2024-08-31 03:10	515K
	libcoq-hammer_1.3.2+8.19-2+b3_s390x.deb	2024-08-21 15:59	511K
	libcoq-hammer_1.3.2+8.20-1_amd64.deb	2024-11-21 03:16	496K
	libcoq-hammer_1.3.2+8.20-1_arm64.deb	2024-11-21 03:57	522K
	libcoq-hammer_1.3.2+8.20-1_ppc64el.deb	2024-11-21 03:57	508K
	libcoq-hammer_1.3.2+8.20-1_riscv64.deb	2024-11-21 05:03	508K
	libcoq-hammer_1.3.2+8.20-1_s390x.deb	2024-11-21 16:51	506K