Index of /ubuntu-ports/pool/universe/c/coq-reglang
Name
Last modified
Size
Description
Parent Directory
-
coq-reglang_1.2.1-1build5.debian.tar.xz
2024-04-08 15:57
8.6K
coq-reglang_1.2.1-1build5.dsc
2024-04-08 15:57
2.1K
coq-reglang_1.2.1-4build5.debian.tar.xz
2024-09-17 23:51
8.6K
coq-reglang_1.2.1-4build5.dsc
2024-09-17 23:51
2.1K
coq-reglang_1.2.1-4build12.debian.tar.xz
2025-02-19 15:52
8.7K
coq-reglang_1.2.1-4build12.dsc
2025-02-19 15:52
2.1K
coq-reglang_1.2.1-4build14.debian.tar.xz
2025-05-28 16:21
8.8K
coq-reglang_1.2.1-4build14.dsc
2025-05-28 16:21
2.1K
coq-reglang_1.2.1-4build15.debian.tar.xz
2025-06-20 01:20
8.8K
coq-reglang_1.2.1-4build15.dsc
2025-06-20 01:20
2.1K
coq-reglang_1.2.1.orig.tar.gz
2024-01-21 13:45
68K
libcoq-reglang_1.2.1-1build5_arm64.deb
2024-04-08 22:36
805K
libcoq-reglang_1.2.1-1build5_armhf.deb
2024-04-08 22:36
805K
libcoq-reglang_1.2.1-1build5_ppc64el.deb
2024-04-08 22:36
805K
libcoq-reglang_1.2.1-1build5_riscv64.deb
2024-04-09 13:15
805K
libcoq-reglang_1.2.1-1build5_s390x.deb
2024-04-08 22:36
805K
libcoq-reglang_1.2.1-4build5_arm64.deb
2024-09-20 07:39
948K
libcoq-reglang_1.2.1-4build5_ppc64el.deb
2024-09-20 19:41
948K
libcoq-reglang_1.2.1-4build5_riscv64.deb
2024-09-20 18:37
948K
libcoq-reglang_1.2.1-4build5_s390x.deb
2024-09-20 07:39
948K
libcoq-reglang_1.2.1-4build12_arm64.deb
2025-02-20 23:13
972K
libcoq-reglang_1.2.1-4build12_ppc64el.deb
2025-02-20 12:20
971K
libcoq-reglang_1.2.1-4build12_riscv64.deb
2025-02-21 04:16
971K
libcoq-reglang_1.2.1-4build12_s390x.deb
2025-02-20 12:21
971K
libcoq-reglang_1.2.1-4build14_arm64.deb
2025-05-28 22:51
970K
libcoq-reglang_1.2.1-4build14_ppc64el.deb
2025-05-28 22:51
970K
libcoq-reglang_1.2.1-4build14_riscv64.deb
2025-05-29 11:18
970K
libcoq-reglang_1.2.1-4build14_s390x.deb
2025-05-28 22:52
970K
libcoq-reglang_1.2.1-4build15_arm64.deb
2025-06-21 01:40
970K
libcoq-reglang_1.2.1-4build15_ppc64el.deb
2025-06-20 23:15
970K
libcoq-reglang_1.2.1-4build15_riscv64.deb
2025-06-21 18:50
970K
libcoq-reglang_1.2.1-4build15_s390x.deb
2025-06-21 01:40
970K