File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-mtac2_1.4+8.20-1.dsc	2.1 KiB	2024-11-23 17:27
coq-mtac2_1.4+8.16-2.dsc	2.1 KiB	2023-01-26 14:44
coq-mtac2_1.4+9.0-2.dsc	2.1 KiB	2025-11-11 20:46
coq-mtac2_1.4+8.16-2.debian.tar.xz	2.4 KiB	2023-01-26 14:44
coq-mtac2_1.4+8.20-1.debian.tar.xz	2.9 KiB	2024-11-23 17:27
coq-mtac2_1.4+9.0-2.debian.tar.xz	4.4 KiB	2025-11-11 20:46
coq-mtac2_1.4+8.16.orig.tar.gz	245.2 KiB	2022-09-06 11:09
coq-mtac2_1.4+8.20.orig.tar.gz	246.5 KiB	2024-11-23 17:27
coq-mtac2_1.4+9.0.orig.tar.gz	246.7 KiB	2025-10-29 11:29
libcoq-mtac2_1.4+8.16-2+b1_i386.deb	733.1 KiB	2023-02-13 09:34
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb	743.1 KiB	2023-02-13 09:28
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb	744.9 KiB	2023-02-13 09:28
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb	748.1 KiB	2023-02-14 13:17
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb	753.8 KiB	2023-02-13 09:28
libcoq-mtac2_1.4+8.20-1+b5_amd64.deb	773.0 KiB	2025-12-28 06:45
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb	775.6 KiB	2025-06-15 13:15
libcoq-mtac2_1.4+8.20-1+b6_ppc64el.deb	776.6 KiB	2025-12-28 06:50
libcoq-mtac2_1.4+9.0-2_amd64.deb	777.2 KiB	2025-11-11 20:46
libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb	777.9 KiB	2025-06-15 13:20
libcoq-mtac2_1.4+8.20-1+b5_riscv64.deb	778.8 KiB	2025-12-28 09:02
libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb	779.3 KiB	2025-06-15 14:21
libcoq-mtac2_1.4+8.20-1+b5_arm64.deb	782.4 KiB	2025-12-28 06:45
libcoq-mtac2_1.4+8.20-1+b4_arm64.deb	783.2 KiB	2025-06-15 13:15