Index of /debian/pool/main/c/coq-mtac2/
name
size
date
libcoq-mtac2_1.4-rocq9.1-2+b1_amd64.deb
0.76M
2026-07-31 21:16:16
libcoq-mtac2_1.4-rocq9.1-2_riscv64.deb
0.76M
2026-07-28 17:10:24
libcoq-mtac2_1.4-rocq9.1-2_s390x.deb
0.76M
2026-07-28 17:00:00
libcoq-mtac2_1.4-rocq9.1-2_ppc64el.deb
0.76M
2026-07-28 16:49:52
libcoq-mtac2_1.4-rocq9.1-2_arm64.deb
0.77M
2026-07-28 16:44:47
coq-mtac2_1.4-rocq9.1-2.debian.tar.xz
4.5K
2026-07-28 16:29:40
coq-mtac2_1.4-rocq9.1-2.dsc
2.1K
2026-07-28 16:29:40
coq-mtac2_1.4-rocq9.1.orig.tar.gz
246.5K
2026-07-11 06:55:39
libcoq-mtac2_1.4+8.20-1+b6_riscv64.deb
0.76M
2026-06-22 13:58:12
libcoq-mtac2_1.4+8.20-1+b7_ppc64el.deb
0.76M
2026-06-20 15:16:08
libcoq-mtac2_1.4+8.20-1+b7_amd64.deb
0.75M
2026-06-20 15:16:07
libcoq-mtac2_1.4+8.20-1+b7_s390x.deb
0.76M
2026-06-20 15:16:05
libcoq-mtac2_1.4+8.20-1+b7_arm64.deb
0.76M
2026-06-20 15:00:48
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