Index of /debian/pool/main/c/coq-mtac2/
name
size
date
libcoq-mtac2_1.4+8.20-1+b5_riscv64.deb
0.76M
2025-12-28 07:02:44
libcoq-mtac2_1.4+8.20-1+b6_s390x.deb
0.76M
2025-12-28 05:10:52
libcoq-mtac2_1.4+8.20-1+b6_ppc64el.deb
0.76M
2025-12-28 04:50:38
libcoq-mtac2_1.4+8.20-1+b5_amd64.deb
0.75M
2025-12-28 04:45:37
libcoq-mtac2_1.4+8.20-1+b5_arm64.deb
0.76M
2025-12-28 04:45:29
coq-mtac2_1.4+9.0-2.debian.tar.xz
4.4K
2025-11-11 18:46:06
coq-mtac2_1.4+9.0-2.dsc
2.1K
2025-11-11 18:46:06
libcoq-mtac2_1.4+9.0-2_amd64.deb
0.76M
2025-11-11 18:46:06
coq-mtac2_1.4+9.0.orig.tar.gz
246.7K
2025-10-29 09:29:26
libcoq-mtac2_1.4+8.20-1+b5_s390x.deb
0.76M
2025-06-17 08:36:41
libcoq-mtac2_1.4+8.20-1+b4_riscv64.deb
0.76M
2025-06-15 12:21:55
libcoq-mtac2_1.4+8.20-1+b5_ppc64el.deb
0.76M
2025-06-15 11:20:17
libcoq-mtac2_1.4+8.20-1+b4_arm64.deb
0.76M
2025-06-15 11:15:15
libcoq-mtac2_1.4+8.20-1+b4_amd64.deb
0.76M
2025-06-15 11:15:13
coq-mtac2_1.4+8.20-1.debian.tar.xz
2.9K
2024-11-23 15:27:26
coq-mtac2_1.4+8.20-1.dsc
2.1K
2024-11-23 15:27:26
coq-mtac2_1.4+8.20.orig.tar.gz
246.5K
2024-11-23 15:27:26
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb
0.73M
2023-02-14 11:17:21
libcoq-mtac2_1.4+8.16-2+b1_i386.deb
0.72M
2023-02-13 07:34:00
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb
0.73M
2023-02-13 07:33:59
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb
0.73M
2023-02-13 07:28:56
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb
0.73M
2023-02-13 07:28:49
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb
0.74M
2023-02-13 07:28:47
coq-mtac2_1.4+8.16-2.debian.tar.xz
2.4K
2023-01-26 12:44:31
coq-mtac2_1.4+8.16-2.dsc
2.1K
2023-01-26 12:44:31
coq-mtac2_1.4+8.16.orig.tar.gz
245.2K
2022-09-06 09:09:10