Index of /debian/pool/main/c/coq-reglang
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
coq-reglang_1.1.3-2.debian.tar.xz 2023-01-26 13:44 8.2K
![[TXT]](/icons/text.gif)
coq-reglang_1.1.3-2.dsc 2023-01-26 13:44 2.1K
coq-reglang_1.1.3-4.debian.tar.xz 2023-07-06 12:02 8.2K
coq-reglang_1.1.3-4.dsc 2023-07-06 12:02 2.1K
![[ ]](/icons/compressed.gif)
coq-reglang_1.1.3.orig.tar.gz 2022-07-15 23:06 65K
coq-reglang_1.2.0-1.debian.tar.xz 2023-12-22 12:07 8.3K
coq-reglang_1.2.0-1.dsc 2023-12-22 12:07 2.1K
coq-reglang_1.2.0.orig.tar.gz 2023-12-22 12:07 68K
coq-reglang_1.2.1-1.debian.tar.xz 2024-01-20 21:13 8.3K
coq-reglang_1.2.1-1.dsc 2024-01-20 21:13 2.1K
coq-reglang_1.2.1-3.debian.tar.xz 2024-04-26 16:06 8.4K
coq-reglang_1.2.1-3.dsc 2024-04-26 16:06 2.1K
coq-reglang_1.2.1.orig.tar.gz 2024-01-20 21:13 68K
libcoq-reglang_1.1.3-2+b1_amd64.deb 2023-02-13 08:28 708K
libcoq-reglang_1.1.3-2+b1_arm64.deb 2023-02-13 08:28 707K
libcoq-reglang_1.1.3-2+b1_armhf.deb 2023-02-13 08:28 707K
libcoq-reglang_1.1.3-2+b1_i386.deb 2023-02-13 08:39 707K
libcoq-reglang_1.1.3-2+b1_ppc64el.deb 2023-02-14 00:55 707K
libcoq-reglang_1.1.3-2+b1_s390x.deb 2023-02-13 11:20 707K
libcoq-reglang_1.1.3-4+b1_riscv64.deb 2023-09-24 13:14 707K
libcoq-reglang_1.1.3-4+b2_amd64.deb 2023-09-22 11:14 708K
libcoq-reglang_1.1.3-4+b2_arm64.deb 2023-09-22 13:11 707K
libcoq-reglang_1.1.3-4+b2_armhf.deb 2023-09-22 11:55 707K
libcoq-reglang_1.1.3-4+b2_i386.deb 2023-09-22 11:14 707K
libcoq-reglang_1.1.3-4+b2_ppc64el.deb 2023-09-22 11:44 707K
libcoq-reglang_1.1.3-4+b2_s390x.deb 2023-09-22 10:28 707K
libcoq-reglang_1.2.0-1_amd64.deb 2023-12-25 12:53 707K
libcoq-reglang_1.2.0-1_arm64.deb 2023-12-25 12:53 707K
libcoq-reglang_1.2.0-1_armhf.deb 2024-01-01 00:47 707K
libcoq-reglang_1.2.0-1_i386.deb 2023-12-25 12:48 707K
libcoq-reglang_1.2.0-1_ppc64el.deb 2023-12-25 12:48 707K
libcoq-reglang_1.2.0-1_riscv64.deb 2024-01-04 06:04 707K
libcoq-reglang_1.2.0-1_s390x.deb 2024-01-01 00:42 707K
libcoq-reglang_1.2.1-1+b1_amd64.deb 2024-02-16 16:04 707K
libcoq-reglang_1.2.1-1+b1_arm64.deb 2024-02-16 18:36 707K
libcoq-reglang_1.2.1-1+b1_armhf.deb 2024-02-16 15:09 707K
libcoq-reglang_1.2.1-1+b1_i386.deb 2024-02-16 15:59 707K
libcoq-reglang_1.2.1-1+b1_ppc64el.deb 2024-02-16 16:20 707K
libcoq-reglang_1.2.1-1+b1_riscv64.deb 2024-02-18 02:49 707K
libcoq-reglang_1.2.1-1+b1_s390x.deb 2024-02-16 15:59 707K
libcoq-reglang_1.2.1-1+b2_amd64.deb 2024-03-20 05:55 707K
libcoq-reglang_1.2.1-1+b2_arm64.deb 2024-03-20 06:32 707K
libcoq-reglang_1.2.1-1+b2_armhf.deb 2024-04-01 01:29 707K
libcoq-reglang_1.2.1-1+b2_i386.deb 2024-03-20 04:26 707K
libcoq-reglang_1.2.1-1+b2_ppc64el.deb 2024-03-20 06:01 707K
libcoq-reglang_1.2.1-1+b2_riscv64.deb 2024-04-12 07:35 707K
libcoq-reglang_1.2.1-1+b2_s390x.deb 2024-03-20 14:08 707K
libcoq-reglang_1.2.1-1+b3_amd64.deb 2024-04-29 18:20 735K
libcoq-reglang_1.2.1-1+b3_arm64.deb 2024-04-29 18:20 735K
libcoq-reglang_1.2.1-1+b3_i386.deb 2024-04-29 18:25 735K
libcoq-reglang_1.2.1-1+b3_ppc64el.deb 2024-04-29 18:36 735K
libcoq-reglang_1.2.1-1_amd64.deb 2024-01-20 23:33 707K
libcoq-reglang_1.2.1-1_arm64.deb 2024-01-20 23:33 707K
libcoq-reglang_1.2.1-1_armhf.deb 2024-01-20 23:38 707K
libcoq-reglang_1.2.1-1_i386.deb 2024-01-20 23:32 707K
libcoq-reglang_1.2.1-1_ppc64el.deb 2024-01-20 23:32 707K
libcoq-reglang_1.2.1-1_riscv64.deb 2024-01-21 07:27 707K
libcoq-reglang_1.2.1-1_s390x.deb 2024-01-20 23:27 707K
libcoq-reglang_1.2.1-3_amd64.deb 2024-04-30 17:06 735K
libcoq-reglang_1.2.1-3_arm64.deb 2024-04-30 17:06 735K
libcoq-reglang_1.2.1-3_i386.deb 2024-04-30 17:06 735K
libcoq-reglang_1.2.1-3_ppc64el.deb 2024-04-30 17:06 735K
libcoq-reglang_1.2.1-3_riscv64.deb 2024-04-30 19:28 735K