Index of /raspbian/pool/main/c/coq-reglang/
../
coq-reglang_1.1.3-1.debian.tar.xz 15-Jul-2022 21:06 8328
coq-reglang_1.1.3-1.dsc 15-Jul-2022 21:06 2106
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-4.debian.tar.xz 06-Jul-2023 10:02 8436
coq-reglang_1.1.3-4.dsc 06-Jul-2023 10:02 2117
coq-reglang_1.1.3.orig.tar.gz 15-Jul-2022 21:06 67023
coq-reglang_1.2.1-1.debian.tar.xz 20-Jan-2024 20:13 8508
coq-reglang_1.2.1-1.dsc 20-Jan-2024 20:13 2117
coq-reglang_1.2.1.orig.tar.gz 20-Jan-2024 20:13 69424
libcoq-reglang_1.1.3-1+b1_armhf.deb 03-Dec-2022 14:45 724300
libcoq-reglang_1.1.3-1_armhf.deb 06-Oct-2022 04:08 723788
libcoq-reglang_1.1.3-2+b1_armhf.deb 07-Feb-2023 21:13 724372
libcoq-reglang_1.1.3-2+b3_armhf.deb 22-May-2023 04:08 724296
libcoq-reglang_1.1.3-2_armhf.deb 30-Jan-2023 22:08 724200
libcoq-reglang_1.1.3-4+b1_armhf.deb 20-Oct-2023 23:59 724232
libcoq-reglang_1.1.3-4_armhf.deb 14-Sep-2023 18:35 724252
libcoq-reglang_1.2.1-1+b1_armhf.deb 01-Mar-2024 22:08 723688
libcoq-reglang_1.2.1-1_armhf.deb 21-Feb-2024 10:08 723616