Index of /debian/pool/main/c/coq-reglang

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-reglang_1.1.3-1.debian.tar.xz2022-07-15 17:06 8.1K 
[TXT]coq-reglang_1.1.3-1.dsc2022-07-15 17:06 2.1K 
[ ]coq-reglang_1.1.3-2.debian.tar.xz2023-01-26 07:44 8.2K 
[TXT]coq-reglang_1.1.3-2.dsc2023-01-26 07:44 2.1K 
[ ]coq-reglang_1.1.3-3.debian.tar.xz2023-06-14 09:57 8.2K 
[TXT]coq-reglang_1.1.3-3.dsc2023-06-14 09:57 2.1K 
[ ]coq-reglang_1.1.3-4.debian.tar.xz2023-07-06 06:02 8.2K 
[TXT]coq-reglang_1.1.3-4.dsc2023-07-06 06:02 2.1K 
[ ]coq-reglang_1.1.3.orig.tar.gz2022-07-15 17:06 65K 
[ ]coq-reglang_1.2.0-1.debian.tar.xz2023-12-22 06:07 8.3K 
[TXT]coq-reglang_1.2.0-1.dsc2023-12-22 06:07 2.1K 
[ ]coq-reglang_1.2.0.orig.tar.gz2023-12-22 06:07 68K 
[ ]coq-reglang_1.2.1-1.debian.tar.xz2024-01-20 15:13 8.3K 
[TXT]coq-reglang_1.2.1-1.dsc2024-01-20 15:13 2.1K 
[ ]coq-reglang_1.2.1-3.debian.tar.xz2024-04-26 10:06 8.4K 
[TXT]coq-reglang_1.2.1-3.dsc2024-04-26 10:06 2.1K 
[ ]coq-reglang_1.2.1-4.debian.tar.xz2024-08-04 02:22 8.4K 
[TXT]coq-reglang_1.2.1-4.dsc2024-08-04 02:22 1.8K 
[ ]coq-reglang_1.2.1.orig.tar.gz2024-01-20 15:13 68K 
[ ]libcoq-reglang_1.1.3-1+b1_amd64.deb2022-07-26 20:59 705K 
[ ]libcoq-reglang_1.1.3-1+b1_arm64.deb2022-09-08 17:28 708K 
[ ]libcoq-reglang_1.1.3-1+b1_armhf.deb2022-09-08 17:28 707K 
[ ]libcoq-reglang_1.1.3-1+b1_i386.deb2022-09-08 17:57 707K 
[ ]libcoq-reglang_1.1.3-1+b1_ppc64el.deb2022-09-08 23:25 708K 
[ ]libcoq-reglang_1.1.3-1+b1_s390x.deb2022-09-08 18:37 707K 
[ ]libcoq-reglang_1.1.3-1+b2_amd64.deb2022-09-08 19:43 707K 
[ ]libcoq-reglang_1.1.3-1+b2_arm64.deb2022-11-29 23:27 708K 
[ ]libcoq-reglang_1.1.3-1+b2_armhf.deb2022-11-29 22:42 707K 
[ ]libcoq-reglang_1.1.3-1+b2_i386.deb2022-11-29 20:40 707K 
[ ]libcoq-reglang_1.1.3-1+b2_ppc64el.deb2022-11-29 22:57 708K 
[ ]libcoq-reglang_1.1.3-1+b2_s390x.deb2022-11-29 23:43 707K 
[ ]libcoq-reglang_1.1.3-1+b3_amd64.deb2022-11-29 23:27 708K 
[ ]libcoq-reglang_1.1.3-1+b3_arm64.deb2023-01-24 05:26 707K 
[ ]libcoq-reglang_1.1.3-1+b3_armhf.deb2023-01-24 05:26 707K 
[ ]libcoq-reglang_1.1.3-1+b3_i386.deb2023-01-24 05:16 707K 
[ ]libcoq-reglang_1.1.3-1+b3_ppc64el.deb2023-01-24 13:11 708K 
[ ]libcoq-reglang_1.1.3-1+b3_s390x.deb2023-01-24 05:16 708K 
[ ]libcoq-reglang_1.1.3-1+b4_amd64.deb2023-01-24 05:26 707K 
[ ]libcoq-reglang_1.1.3-1_amd64.deb2022-07-15 17:06 705K 
[ ]libcoq-reglang_1.1.3-1_arm64.deb2022-07-18 12:42 705K 
[ ]libcoq-reglang_1.1.3-1_armhf.deb2022-07-18 13:44 705K 
[ ]libcoq-reglang_1.1.3-1_i386.deb2022-07-18 15:48 704K 
[ ]libcoq-reglang_1.1.3-1_ppc64el.deb2022-07-19 16:43 705K 
[ ]libcoq-reglang_1.1.3-1_s390x.deb2022-07-22 15:59 705K 
[ ]libcoq-reglang_1.1.3-2+b1_amd64.deb2023-02-13 02:28 708K 
[ ]libcoq-reglang_1.1.3-2+b1_arm64.deb2023-02-13 02:28 707K 
[ ]libcoq-reglang_1.1.3-2+b1_armhf.deb2023-02-13 02:28 707K 
[ ]libcoq-reglang_1.1.3-2+b1_i386.deb2023-02-13 02:39 707K 
[ ]libcoq-reglang_1.1.3-2+b1_ppc64el.deb2023-02-13 18:55 707K 
[ ]libcoq-reglang_1.1.3-2+b1_s390x.deb2023-02-13 05:20 707K 
[ ]libcoq-reglang_1.1.3-2_amd64.deb2023-01-26 10:26 707K 
[ ]libcoq-reglang_1.1.3-2_arm64.deb2023-01-26 10:11 707K 
[ ]libcoq-reglang_1.1.3-2_armhf.deb2023-01-26 09:25 707K 
[ ]libcoq-reglang_1.1.3-2_i386.deb2023-01-26 09:10 707K 
[ ]libcoq-reglang_1.1.3-2_ppc64el.deb2023-01-26 23:57 707K 
[ ]libcoq-reglang_1.1.3-2_s390x.deb2023-01-26 12:27 707K 
[ ]libcoq-reglang_1.1.3-3_amd64.deb2023-06-14 18:12 707K 
[ ]libcoq-reglang_1.1.3-3_arm64.deb2023-06-14 18:27 707K 
[ ]libcoq-reglang_1.1.3-3_armhf.deb2023-06-14 18:12 707K 
[ ]libcoq-reglang_1.1.3-3_i386.deb2023-06-14 18:07 707K 
[ ]libcoq-reglang_1.1.3-3_ppc64el.deb2023-06-18 23:26 707K 
[ ]libcoq-reglang_1.1.3-3_s390x.deb2023-06-14 17:11 707K 
[ ]libcoq-reglang_1.1.3-4+b1_amd64.deb2023-07-23 03:41 707K 
[ ]libcoq-reglang_1.1.3-4+b1_arm64.deb2023-07-23 03:57 707K 
[ ]libcoq-reglang_1.1.3-4+b1_armhf.deb2023-07-23 03:57 707K 
[ ]libcoq-reglang_1.1.3-4+b1_i386.deb2023-07-23 03:41 707K 
[ ]libcoq-reglang_1.1.3-4+b1_ppc64el.deb2023-07-23 04:27 707K 
[ ]libcoq-reglang_1.1.3-4+b1_riscv64.deb2023-09-24 07:14 707K 
[ ]libcoq-reglang_1.1.3-4+b1_s390x.deb2023-07-23 18:59 707K 
[ ]libcoq-reglang_1.1.3-4+b2_amd64.deb2023-09-22 05:14 708K 
[ ]libcoq-reglang_1.1.3-4+b2_arm64.deb2023-09-22 07:11 707K 
[ ]libcoq-reglang_1.1.3-4+b2_armhf.deb2023-09-22 05:55 707K 
[ ]libcoq-reglang_1.1.3-4+b2_i386.deb2023-09-22 05:14 707K 
[ ]libcoq-reglang_1.1.3-4+b2_ppc64el.deb2023-09-22 05:44 707K 
[ ]libcoq-reglang_1.1.3-4+b2_s390x.deb2023-09-22 04:28 707K 
[ ]libcoq-reglang_1.1.3-4_amd64.deb2023-07-06 07:13 707K 
[ ]libcoq-reglang_1.1.3-4_arm64.deb2023-07-06 07:14 707K 
[ ]libcoq-reglang_1.1.3-4_armhf.deb2023-07-06 07:14 707K 
[ ]libcoq-reglang_1.1.3-4_i386.deb2023-07-06 06:58 707K 
[ ]libcoq-reglang_1.1.3-4_ppc64el.deb2023-07-06 07:13 707K 
[ ]libcoq-reglang_1.1.3-4_riscv64.deb2023-09-05 17:05 707K 
[ ]libcoq-reglang_1.1.3-4_s390x.deb2023-07-06 06:58 707K 
[ ]libcoq-reglang_1.2.0-1_amd64.deb2023-12-25 06:53 707K 
[ ]libcoq-reglang_1.2.0-1_arm64.deb2023-12-25 06:53 707K 
[ ]libcoq-reglang_1.2.0-1_armhf.deb2023-12-31 18:47 707K 
[ ]libcoq-reglang_1.2.0-1_i386.deb2023-12-25 06:48 707K 
[ ]libcoq-reglang_1.2.0-1_ppc64el.deb2023-12-25 06:48 707K 
[ ]libcoq-reglang_1.2.0-1_riscv64.deb2024-01-04 00:04 707K 
[ ]libcoq-reglang_1.2.0-1_s390x.deb2023-12-31 18:42 707K 
[ ]libcoq-reglang_1.2.1-1+b1_amd64.deb2024-02-16 10:04 707K 
[ ]libcoq-reglang_1.2.1-1+b1_arm64.deb2024-02-16 12:36 707K 
[ ]libcoq-reglang_1.2.1-1+b1_armhf.deb2024-02-16 09:09 707K 
[ ]libcoq-reglang_1.2.1-1+b1_i386.deb2024-02-16 09:59 707K 
[ ]libcoq-reglang_1.2.1-1+b1_ppc64el.deb2024-02-16 10:20 707K 
[ ]libcoq-reglang_1.2.1-1+b1_riscv64.deb2024-02-17 20:49 707K 
[ ]libcoq-reglang_1.2.1-1+b1_s390x.deb2024-02-16 09:59 707K 
[ ]libcoq-reglang_1.2.1-1+b2_amd64.deb2024-03-20 00:55 707K 
[ ]libcoq-reglang_1.2.1-1+b2_arm64.deb2024-03-20 01:32 707K 
[ ]libcoq-reglang_1.2.1-1+b2_armhf.deb2024-03-31 19:29 707K 
[ ]libcoq-reglang_1.2.1-1+b2_i386.deb2024-03-19 23:26 707K 
[ ]libcoq-reglang_1.2.1-1+b2_ppc64el.deb2024-03-20 01:01 707K 
[ ]libcoq-reglang_1.2.1-1+b2_riscv64.deb2024-04-12 01:35 707K 
[ ]libcoq-reglang_1.2.1-1+b2_s390x.deb2024-03-20 09:08 707K 
[ ]libcoq-reglang_1.2.1-1+b3_amd64.deb2024-04-29 12:20 735K 
[ ]libcoq-reglang_1.2.1-1+b3_arm64.deb2024-04-29 12:20 735K 
[ ]libcoq-reglang_1.2.1-1+b3_i386.deb2024-04-29 12:25 735K 
[ ]libcoq-reglang_1.2.1-1+b3_ppc64el.deb2024-04-29 12:36 735K 
[ ]libcoq-reglang_1.2.1-1_amd64.deb2024-01-20 17:33 707K 
[ ]libcoq-reglang_1.2.1-1_arm64.deb2024-01-20 17:33 707K 
[ ]libcoq-reglang_1.2.1-1_armhf.deb2024-01-20 17:38 707K 
[ ]libcoq-reglang_1.2.1-1_i386.deb2024-01-20 17:32 707K 
[ ]libcoq-reglang_1.2.1-1_ppc64el.deb2024-01-20 17:32 707K 
[ ]libcoq-reglang_1.2.1-1_riscv64.deb2024-01-21 01:27 707K 
[ ]libcoq-reglang_1.2.1-1_s390x.deb2024-01-20 17:27 707K 
[ ]libcoq-reglang_1.2.1-3+b1_amd64.deb2024-06-04 19:37 735K 
[ ]libcoq-reglang_1.2.1-3+b1_arm64.deb2024-06-05 06:21 735K 
[ ]libcoq-reglang_1.2.1-3+b1_armhf.deb2024-06-15 09:22 735K 
[ ]libcoq-reglang_1.2.1-3+b1_i386.deb2024-06-04 19:37 735K 
[ ]libcoq-reglang_1.2.1-3+b1_ppc64el.deb2024-06-07 07:43 735K 
[ ]libcoq-reglang_1.2.1-3+b1_riscv64.deb2024-06-05 10:59 735K 
[ ]libcoq-reglang_1.2.1-3+b1_s390x.deb2024-06-15 20:33 736K 
[ ]libcoq-reglang_1.2.1-3+b2_amd64.deb2024-06-15 09:12 736K 
[ ]libcoq-reglang_1.2.1-3+b2_arm64.deb2024-06-15 11:23 736K 
[ ]libcoq-reglang_1.2.1-3+b2_i386.deb2024-06-15 09:06 735K 
[ ]libcoq-reglang_1.2.1-3+b2_ppc64el.deb2024-06-15 09:07 736K 
[ ]libcoq-reglang_1.2.1-3+b2_riscv64.deb2024-06-15 21:09 735K 
[ ]libcoq-reglang_1.2.1-3_amd64.deb2024-04-30 11:06 735K 
[ ]libcoq-reglang_1.2.1-3_arm64.deb2024-04-30 11:06 735K 
[ ]libcoq-reglang_1.2.1-3_armhf.deb2024-06-07 06:42 735K 
[ ]libcoq-reglang_1.2.1-3_i386.deb2024-04-30 11:06 735K 
[ ]libcoq-reglang_1.2.1-3_ppc64el.deb2024-04-30 11:06 735K 
[ ]libcoq-reglang_1.2.1-3_riscv64.deb2024-04-30 13:28 735K 
[ ]libcoq-reglang_1.2.1-3_s390x.deb2024-06-07 06:27 735K 
[ ]libcoq-reglang_1.2.1-4+b1_amd64.deb2024-08-08 17:29 835K 
[ ]libcoq-reglang_1.2.1-4+b1_arm64.deb2024-08-08 18:12 835K 
[ ]libcoq-reglang_1.2.1-4+b1_riscv64.deb2024-08-09 10:50 835K 
[ ]libcoq-reglang_1.2.1-4+b1_s390x.deb2024-08-12 03:00 835K 
[ ]libcoq-reglang_1.2.1-4+b2_amd64.deb2024-08-21 03:59 835K 
[ ]libcoq-reglang_1.2.1-4+b2_arm64.deb2024-08-21 05:36 835K 
[ ]libcoq-reglang_1.2.1-4+b2_ppc64el.deb2024-08-30 07:05 835K 
[ ]libcoq-reglang_1.2.1-4+b2_riscv64.deb2024-08-21 22:49 835K 
[ ]libcoq-reglang_1.2.1-4+b2_s390x.deb2024-08-21 04:51 835K 
[ ]libcoq-reglang_1.2.1-4+b3_amd64.deb2024-08-31 01:16 835K 
[ ]libcoq-reglang_1.2.1-4+b3_arm64.deb2024-08-31 01:21 835K 
[ ]libcoq-reglang_1.2.1-4+b3_ppc64el.deb2024-08-30 23:45 835K 
[ ]libcoq-reglang_1.2.1-4+b3_riscv64.deb2024-08-31 17:22 835K 
[ ]libcoq-reglang_1.2.1-4+b3_s390x.deb2024-08-31 02:16 835K 
[ ]libcoq-reglang_1.2.1-4+b4_amd64.deb2024-09-17 07:38 835K 
[ ]libcoq-reglang_1.2.1-4+b4_arm64.deb2024-09-17 07:38 835K 
[ ]libcoq-reglang_1.2.1-4+b4_ppc64el.deb2024-09-17 07:38 835K 
[ ]libcoq-reglang_1.2.1-4+b4_riscv64.deb2024-09-18 01:18 835K 
[ ]libcoq-reglang_1.2.1-4+b4_s390x.deb2024-09-17 07:43 835K 
[ ]libcoq-reglang_1.2.1-4+b5_amd64.deb2024-10-13 07:49 835K 
[ ]libcoq-reglang_1.2.1-4+b5_arm64.deb2024-10-13 08:25 835K 
[ ]libcoq-reglang_1.2.1-4+b5_ppc64el.deb2024-10-13 08:51 835K 
[ ]libcoq-reglang_1.2.1-4+b5_riscv64.deb2024-10-13 21:45 835K 
[ ]libcoq-reglang_1.2.1-4+b5_s390x.deb2024-10-13 08:09 835K 
[ ]libcoq-reglang_1.2.1-4+b6_arm64.deb2024-11-20 15:10 824K 
[ ]libcoq-reglang_1.2.1-4+b6_ppc64el.deb2024-11-20 13:48 824K 
[ ]libcoq-reglang_1.2.1-4+b6_riscv64.deb2024-11-21 01:41 824K 
[ ]libcoq-reglang_1.2.1-4+b6_s390x.deb2024-11-20 21:40 826K 
[ ]libcoq-reglang_1.2.1-4+b7_amd64.deb2024-11-20 19:03 824K 
[ ]libcoq-reglang_1.2.1-4+b7_arm64.deb2024-12-19 16:31 855K 
[ ]libcoq-reglang_1.2.1-4+b7_ppc64el.deb2024-12-19 14:02 855K 
[ ]libcoq-reglang_1.2.1-4+b7_riscv64.deb2024-12-19 15:04 855K 
[ ]libcoq-reglang_1.2.1-4+b7_s390x.deb2024-11-22 03:36 824K 
[ ]libcoq-reglang_1.2.1-4+b8_amd64.deb2024-12-19 14:54 855K 
[ ]libcoq-reglang_1.2.1-4+b8_arm64.deb2025-01-15 03:14 855K 
[ ]libcoq-reglang_1.2.1-4+b8_ppc64el.deb2025-01-15 02:17 854K 
[ ]libcoq-reglang_1.2.1-4+b8_riscv64.deb2025-01-15 16:17 855K 
[ ]libcoq-reglang_1.2.1-4+b8_s390x.deb2024-12-21 21:04 854K 
[ ]libcoq-reglang_1.2.1-4+b9_amd64.deb2025-01-15 01:47 854K 
[ ]libcoq-reglang_1.2.1-4+b9_arm64.deb2025-01-28 19:30 854K 
[ ]libcoq-reglang_1.2.1-4+b9_ppc64el.deb2025-01-28 14:05 855K 
[ ]libcoq-reglang_1.2.1-4+b9_riscv64.deb2025-01-30 18:18 855K 
[ ]libcoq-reglang_1.2.1-4+b9_s390x.deb2025-01-15 06:06 854K 
[ ]libcoq-reglang_1.2.1-4+b10_amd64.deb2025-01-28 14:56 855K 
[ ]libcoq-reglang_1.2.1-4+b10_arm64.deb2025-02-13 13:27 855K 
[ ]libcoq-reglang_1.2.1-4+b10_ppc64el.deb2025-02-13 13:12 855K 
[ ]libcoq-reglang_1.2.1-4+b10_riscv64.deb2025-02-14 01:35 855K 
[ ]libcoq-reglang_1.2.1-4+b10_s390x.deb2025-01-30 05:09 855K 
[ ]libcoq-reglang_1.2.1-4+b11_amd64.deb2025-02-13 12:36 855K 
[ ]libcoq-reglang_1.2.1-4+b11_arm64.deb2025-02-18 00:49 855K 
[ ]libcoq-reglang_1.2.1-4+b11_ppc64el.deb2025-02-17 20:37 855K 
[ ]libcoq-reglang_1.2.1-4+b11_riscv64.deb2025-02-18 11:00 855K 
[ ]libcoq-reglang_1.2.1-4+b11_s390x.deb2025-02-14 11:40 854K 
[ ]libcoq-reglang_1.2.1-4+b12_amd64.deb2025-02-17 21:57 855K 
[ ]libcoq-reglang_1.2.1-4+b12_arm64.deb2025-03-18 15:12 855K 
[ ]libcoq-reglang_1.2.1-4+b12_ppc64el.deb2025-03-18 15:17 855K 
[ ]libcoq-reglang_1.2.1-4+b12_riscv64.deb2025-03-19 03:17 855K 
[ ]libcoq-reglang_1.2.1-4+b12_s390x.deb2025-02-18 15:05 855K 
[ ]libcoq-reglang_1.2.1-4+b13_amd64.deb2025-03-18 14:46 855K 
[ ]libcoq-reglang_1.2.1-4+b13_arm64.deb2025-06-15 03:38 855K 
[ ]libcoq-reglang_1.2.1-4+b13_ppc64el.deb2025-06-15 04:44 855K 
[ ]libcoq-reglang_1.2.1-4+b13_riscv64.deb2025-06-17 17:40 855K 
[ ]libcoq-reglang_1.2.1-4+b13_s390x.deb2025-03-18 19:58 855K 
[ ]libcoq-reglang_1.2.1-4+b14_amd64.deb2025-06-15 00:21 855K 
[ ]libcoq-reglang_1.2.1-4+b14_s390x.deb2025-06-17 18:48 855K 
[ ]libcoq-reglang_1.2.1-4_amd64.deb2024-08-04 15:31 835K 
[ ]libcoq-reglang_1.2.1-4_arm64.deb2024-08-04 15:36 835K 
[ ]libcoq-reglang_1.2.1-4_armhf.deb2024-08-04 17:47 835K 
[ ]libcoq-reglang_1.2.1-4_i386.deb2024-08-04 15:56 835K 
[ ]libcoq-reglang_1.2.1-4_ppc64el.deb2024-08-04 17:02 835K 
[ ]libcoq-reglang_1.2.1-4_riscv64.deb2024-08-05 04:09 835K 
[ ]libcoq-reglang_1.2.1-4_s390x.deb2024-08-04 20:45 835K