Index of /debian/pool/main/p/paramcoq/
name
size
date
libcoq-paramcoq_1.1.3+coq8.20-1+b5_riscv64.deb
113.9K
2025-12-28 06:11:24
libcoq-paramcoq_1.1.3+coq8.20-1+b5_s390x.deb
114.4K
2025-12-28 04:25:22
libcoq-paramcoq_1.1.3+coq8.20-1+b5_arm64.deb
119.1K
2025-12-28 04:25:18
libcoq-paramcoq_1.1.3+coq8.20-1+b5_amd64.deb
111.7K
2025-12-28 04:20:14
libcoq-paramcoq_1.1.3+coq8.20-1+b5_ppc64el.deb
113.1K
2025-12-28 04:20:13
libcoq-paramcoq_1.1.3+coq8.20-1+b4_s390x.deb
116.0K
2025-06-16 18:44:48
libcoq-paramcoq_1.1.3+coq8.20-1+b4_riscv64.deb
114.7K
2025-06-15 11:40:31
libcoq-paramcoq_1.1.3+coq8.20-1+b4_ppc64el.deb
115.0K
2025-06-15 10:55:05
libcoq-paramcoq_1.1.3+coq8.20-1+b4_arm64.deb
120.5K
2025-06-15 10:55:02
libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb
113.8K
2025-06-15 10:49:58
paramcoq_1.1.3+coq8.20-1.debian.tar.xz
3.1K
2024-11-20 10:02:49
paramcoq_1.1.3+coq8.20-1.dsc
2.1K
2024-11-20 10:02:49
paramcoq_1.1.3+coq8.20.orig.tar.gz
44.7K
2024-11-20 10:02:49
libcoq-paramcoq_1.1.3+coq8.16-3+b1_ppc64el.deb
114.8K
2023-02-13 05:42:09
libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb
113.0K
2023-02-13 05:27:05
libcoq-paramcoq_1.1.3+coq8.16-3+b1_i386.deb
101.2K
2023-02-13 05:27:00
libcoq-paramcoq_1.1.3+coq8.16-3+b1_arm64.deb
120.7K
2023-02-13 05:26:50
libcoq-paramcoq_1.1.3+coq8.16-3+b1_armhf.deb
110.1K
2023-02-13 05:26:50
libcoq-paramcoq_1.1.3+coq8.16-3+b1_s390x.deb
114.3K
2023-02-13 05:26:50
paramcoq_1.1.3+coq8.16-3.debian.tar.xz
2.8K
2023-01-25 09:03:31
paramcoq_1.1.3+coq8.16-3.dsc
2.1K
2023-01-25 09:03:31
paramcoq_1.1.3+coq8.16.orig.tar.gz
44.7K
2022-09-06 09:09:10