Index of /debian/pool/main/c/coq-reglang/
../
coq-reglang_1.1.3-2.debian.tar.xz 26-Jan-2023 12:44 8392
coq-reglang_1.1.3-2.dsc 26-Jan-2023 12:44 2111
coq-reglang_1.1.3.orig.tar.gz 15-Jul-2022 21:06 67023
coq-reglang_1.2.1-4.debian.tar.xz 04-Aug-2024 06:22 8632
coq-reglang_1.2.1-4.dsc 04-Aug-2024 06:22 1888
coq-reglang_1.2.1.orig.tar.gz 20-Jan-2024 20:13 69424
coq-reglang_1.2.2-1.debian.tar.xz 30-Oct-2025 07:18 8732
coq-reglang_1.2.2-1.dsc 30-Oct-2025 07:18 2129
coq-reglang_1.2.2-2.debian.tar.xz 11-Nov-2025 19:47 8772
coq-reglang_1.2.2-2.dsc 11-Nov-2025 19:47 2136
coq-reglang_1.2.2.orig.tar.gz 30-Oct-2025 07:18 69740
libcoq-reglang_1.1.3-2+b1_amd64.deb 13-Feb-2023 07:28 724528
libcoq-reglang_1.1.3-2+b1_arm64.deb 13-Feb-2023 07:28 724460
libcoq-reglang_1.1.3-2+b1_armhf.deb 13-Feb-2023 07:28 724376
libcoq-reglang_1.1.3-2+b1_i386.deb 13-Feb-2023 07:39 724248
libcoq-reglang_1.1.3-2+b1_ppc64el.deb 13-Feb-2023 23:55 724424
libcoq-reglang_1.1.3-2+b1_s390x.deb 13-Feb-2023 10:20 724468
libcoq-reglang_1.2.1-4+b10_amd64.deb 28-Jan-2025 19:56 875164
libcoq-reglang_1.2.1-4+b10_arm64.deb 13-Feb-2025 18:27 875212
libcoq-reglang_1.2.1-4+b10_ppc64el.deb 13-Feb-2025 18:12 875200
libcoq-reglang_1.2.1-4+b10_riscv64.deb 14-Feb-2025 06:35 875380
libcoq-reglang_1.2.1-4+b10_s390x.deb 30-Jan-2025 10:09 875072
libcoq-reglang_1.2.1-4+b11_amd64.deb 13-Feb-2025 17:36 875012
libcoq-reglang_1.2.1-4+b11_arm64.deb 18-Feb-2025 05:49 875412
libcoq-reglang_1.2.1-4+b11_ppc64el.deb 18-Feb-2025 01:37 875492
libcoq-reglang_1.2.1-4+b11_riscv64.deb 18-Feb-2025 16:00 875564
libcoq-reglang_1.2.1-4+b11_s390x.deb 14-Feb-2025 16:40 874908
libcoq-reglang_1.2.1-4+b12_amd64.deb 18-Feb-2025 02:57 875452
libcoq-reglang_1.2.1-4+b12_arm64.deb 18-Mar-2025 19:12 875568
libcoq-reglang_1.2.1-4+b12_ppc64el.deb 18-Mar-2025 19:17 875208
libcoq-reglang_1.2.1-4+b12_riscv64.deb 19-Mar-2025 07:17 875168
libcoq-reglang_1.2.1-4+b12_s390x.deb 18-Feb-2025 20:05 875152
libcoq-reglang_1.2.1-4+b13_amd64.deb 18-Mar-2025 18:46 875304
libcoq-reglang_1.2.1-4+b13_arm64.deb 15-Jun-2025 07:38 875388
libcoq-reglang_1.2.1-4+b13_ppc64el.deb 15-Jun-2025 08:44 875460
libcoq-reglang_1.2.1-4+b13_riscv64.deb 17-Jun-2025 21:40 875536
libcoq-reglang_1.2.1-4+b13_s390x.deb 18-Mar-2025 23:58 875444
libcoq-reglang_1.2.1-4+b14_amd64.deb 15-Jun-2025 04:21 875484
libcoq-reglang_1.2.1-4+b14_arm64.deb 26-Aug-2025 12:26 875500
libcoq-reglang_1.2.1-4+b14_ppc64el.deb 26-Aug-2025 11:35 875544
libcoq-reglang_1.2.1-4+b14_riscv64.deb 27-Aug-2025 02:27 875356
libcoq-reglang_1.2.1-4+b14_s390x.deb 17-Jun-2025 22:48 875396
libcoq-reglang_1.2.1-4+b15_amd64.deb 26-Aug-2025 12:06 875336
libcoq-reglang_1.2.1-4+b15_arm64.deb 11-Sep-2025 22:02 875284
libcoq-reglang_1.2.1-4+b15_ppc64el.deb 11-Sep-2025 21:52 875412
libcoq-reglang_1.2.1-4+b15_riscv64.deb 12-Sep-2025 12:17 875416
libcoq-reglang_1.2.1-4+b15_s390x.deb 27-Aug-2025 04:29 875528
libcoq-reglang_1.2.1-4+b16_amd64.deb 11-Sep-2025 21:52 875316
libcoq-reglang_1.2.1-4+b16_arm64.deb 16-Sep-2025 11:42 875316
libcoq-reglang_1.2.1-4+b16_ppc64el.deb 16-Sep-2025 11:37 875384
libcoq-reglang_1.2.1-4+b16_riscv64.deb 16-Sep-2025 23:58 875220
libcoq-reglang_1.2.1-4+b16_s390x.deb 12-Sep-2025 09:04 875252
libcoq-reglang_1.2.1-4+b17_amd64.deb 16-Sep-2025 11:37 875512
libcoq-reglang_1.2.1-4+b17_arm64.deb 24-Sep-2025 11:41 875492
libcoq-reglang_1.2.1-4+b17_ppc64el.deb 24-Sep-2025 11:30 875360
libcoq-reglang_1.2.1-4+b17_riscv64.deb 25-Sep-2025 21:57 875464
libcoq-reglang_1.2.1-4+b17_s390x.deb 16-Sep-2025 13:27 875624
libcoq-reglang_1.2.1-4+b18_amd64.deb 24-Sep-2025 10:19 875324
libcoq-reglang_1.2.1-4+b18_arm64.deb 17-Oct-2025 13:17 875272
libcoq-reglang_1.2.1-4+b18_ppc64el.deb 17-Oct-2025 13:37 875404
libcoq-reglang_1.2.1-4+b18_riscv64.deb 18-Oct-2025 04:05 875344
libcoq-reglang_1.2.1-4+b18_s390x.deb 24-Sep-2025 19:39 875332
libcoq-reglang_1.2.1-4+b19_amd64.deb 17-Oct-2025 12:46 875264
libcoq-reglang_1.2.1-4+b19_arm64.deb 28-Oct-2025 20:48 875328
libcoq-reglang_1.2.1-4+b19_ppc64el.deb 28-Oct-2025 20:43 875352
libcoq-reglang_1.2.1-4+b19_riscv64.deb 29-Oct-2025 09:24 875368
libcoq-reglang_1.2.1-4+b19_s390x.deb 17-Oct-2025 13:22 875436
libcoq-reglang_1.2.1-4+b20_amd64.deb 28-Oct-2025 20:48 875488
libcoq-reglang_1.2.1-4+b20_s390x.deb 28-Oct-2025 20:48 875428
libcoq-reglang_1.2.1-4+b7_arm64.deb 19-Dec-2024 21:31 875204
libcoq-reglang_1.2.1-4+b7_ppc64el.deb 19-Dec-2024 19:02 875036
libcoq-reglang_1.2.1-4+b7_riscv64.deb 19-Dec-2024 20:04 875192
libcoq-reglang_1.2.1-4+b8_amd64.deb 19-Dec-2024 19:54 875156
libcoq-reglang_1.2.1-4+b8_arm64.deb 15-Jan-2025 08:14 875056
libcoq-reglang_1.2.1-4+b8_ppc64el.deb 15-Jan-2025 07:17 875000
libcoq-reglang_1.2.1-4+b8_riscv64.deb 15-Jan-2025 21:17 875140
libcoq-reglang_1.2.1-4+b8_s390x.deb 22-Dec-2024 02:04 874984
libcoq-reglang_1.2.1-4+b9_amd64.deb 15-Jan-2025 06:47 874984
libcoq-reglang_1.2.1-4+b9_arm64.deb 29-Jan-2025 00:30 874804
libcoq-reglang_1.2.1-4+b9_ppc64el.deb 28-Jan-2025 19:05 875076
libcoq-reglang_1.2.1-4+b9_riscv64.deb 30-Jan-2025 23:18 875032
libcoq-reglang_1.2.1-4+b9_s390x.deb 15-Jan-2025 11:06 875004
libcoq-reglang_1.2.2-1_amd64.deb 30-Oct-2025 07:18 938552
libcoq-reglang_1.2.2-1_arm64.deb 30-Oct-2025 15:10 893012
libcoq-reglang_1.2.2-1_ppc64el.deb 30-Oct-2025 20:57 893064
libcoq-reglang_1.2.2-1_s390x.deb 31-Oct-2025 11:44 893236
libcoq-reglang_1.2.2-2_amd64.deb 11-Nov-2025 19:47 961832