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

../
libcoq-reglang_1.1.3-2+b1_amd64.deb                15-Dec-2025 22:38              724528
libcoq-reglang_1.2.1-1+b1_amd64.deb                24-Jun-2024 01:43              724316
libcoq-reglang_1.2.1-1+b1_i386.deb                 24-Jun-2024 01:44              723824
libcoq-reglang_1.2.1-3+b2_amd64.deb                16-Aug-2024 20:36              753296
libcoq-reglang_1.2.1-3+b2_i386.deb                 16-Aug-2024 20:36              752828
libcoq-reglang_1.2.1-4+b10_amd64.deb               26-Feb-2025 02:27              875164
libcoq-reglang_1.2.1-4+b12_amd64.deb               23-Mar-2025 01:00              875452
libcoq-reglang_1.2.1-4+b13_amd64.deb               19-Jun-2025 20:09              875304
libcoq-reglang_1.2.1-4+b14_amd64.deb               15-Dec-2025 22:36              875484
libcoq-reglang_1.2.1-4+b3_amd64.deb                17-Sep-2024 20:36              855348
libcoq-reglang_1.2.1-4+b4_amd64.deb                13-Oct-2024 20:15              855284
libcoq-reglang_1.2.1-4+b5_amd64.deb                29-Nov-2024 02:20              855260
libcoq-reglang_1.2.1-4+b7_amd64.deb                24-Dec-2024 02:34              843984
libcoq-reglang_1.2.1-4+b8_amd64.deb                19-Jan-2025 03:04              875156
libcoq-reglang_1.2.1-4+b9_amd64.deb                07-Feb-2025 14:09              874984