Index of /Linux/kali/pool/main/c/coq-reglang/
../
coq-reglang_1.1.3-2.debian.tar.xz 26-Jan-2023 21:44 8392
coq-reglang_1.1.3-2.dsc 26-Jan-2023 21:44 2111
coq-reglang_1.1.3-3.debian.tar.xz 14-Jun-2023 22:57 8412
coq-reglang_1.1.3-3.dsc 14-Jun-2023 22:57 2111
coq-reglang_1.1.3-4.debian.tar.xz 06-Jul-2023 19:02 8436
coq-reglang_1.1.3-4.dsc 06-Jul-2023 19:02 2117
coq-reglang_1.1.3.orig.tar.gz 16-Jul-2022 06:06 65K
coq-reglang_1.2.1-1.debian.tar.xz 21-Jan-2024 05:13 8508
coq-reglang_1.2.1-1.dsc 21-Jan-2024 05:13 2117
coq-reglang_1.2.1-3.debian.tar.xz 26-Apr-2024 23:06 8564
coq-reglang_1.2.1-3.dsc 26-Apr-2024 23:06 2117
coq-reglang_1.2.1-4.debian.tar.xz 04-Aug-2024 15:22 8632
coq-reglang_1.2.1-4.dsc 04-Aug-2024 15:22 1888
coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 05:13 68K
libcoq-reglang_1.1.3-1+b1_amd64.deb 27-Jul-2022 09:59 705K
libcoq-reglang_1.1.3-1+b1_arm64.deb 09-Sep-2022 06:28 708K
libcoq-reglang_1.1.3-1+b1_armhf.deb 09-Sep-2022 06:28 707K
libcoq-reglang_1.1.3-1+b1_i386.deb 09-Sep-2022 06:57 707K
libcoq-reglang_1.1.3-1+b2_amd64.deb 09-Sep-2022 08:43 707K
libcoq-reglang_1.1.3-1+b2_arm64.deb 30-Nov-2022 13:27 708K
libcoq-reglang_1.1.3-1+b2_armhf.deb 30-Nov-2022 12:42 707K
libcoq-reglang_1.1.3-1+b2_i386.deb 30-Nov-2022 10:40 707K
libcoq-reglang_1.1.3-1+b3_amd64.deb 30-Nov-2022 13:27 708K
libcoq-reglang_1.1.3-2+b1_amd64.deb 13-Feb-2023 16:28 708K
libcoq-reglang_1.1.3-2+b1_arm64.deb 13-Feb-2023 16:28 707K
libcoq-reglang_1.1.3-2+b1_armhf.deb 13-Feb-2023 16:28 707K
libcoq-reglang_1.1.3-2+b1_i386.deb 13-Feb-2023 16:39 707K
libcoq-reglang_1.1.3-3_amd64.deb 15-Jun-2023 07:12 707K
libcoq-reglang_1.1.3-3_arm64.deb 15-Jun-2023 07:27 707K
libcoq-reglang_1.1.3-3_armhf.deb 15-Jun-2023 07:12 707K
libcoq-reglang_1.1.3-3_i386.deb 15-Jun-2023 07:07 707K
libcoq-reglang_1.1.3-4+b1_amd64.deb 23-Jul-2023 16:41 707K
libcoq-reglang_1.1.3-4+b1_arm64.deb 23-Jul-2023 16:57 707K
libcoq-reglang_1.1.3-4+b1_armhf.deb 23-Jul-2023 16:57 707K
libcoq-reglang_1.1.3-4+b1_i386.deb 23-Jul-2023 16:41 707K
libcoq-reglang_1.1.3-4+b2_amd64.deb 22-Sep-2023 18:14 708K
libcoq-reglang_1.1.3-4+b2_arm64.deb 22-Sep-2023 20:11 707K
libcoq-reglang_1.1.3-4+b2_armhf.deb 22-Sep-2023 18:55 707K
libcoq-reglang_1.1.3-4+b2_i386.deb 22-Sep-2023 18:14 707K
libcoq-reglang_1.1.3-4_amd64.deb 06-Jul-2023 20:13 707K
libcoq-reglang_1.1.3-4_arm64.deb 06-Jul-2023 20:14 707K
libcoq-reglang_1.1.3-4_armhf.deb 06-Jul-2023 20:14 707K
libcoq-reglang_1.1.3-4_i386.deb 06-Jul-2023 19:58 707K
libcoq-reglang_1.2.1-1+b1_amd64.deb 17-Feb-2024 00:04 707K
libcoq-reglang_1.2.1-1+b1_arm64.deb 17-Feb-2024 02:36 707K
libcoq-reglang_1.2.1-1+b1_armhf.deb 16-Feb-2024 23:09 707K
libcoq-reglang_1.2.1-1+b1_i386.deb 16-Feb-2024 23:59 707K
libcoq-reglang_1.2.1-1+b2_armhf.deb 01-Apr-2024 08:29 707K
libcoq-reglang_1.2.1-1_amd64.deb 21-Jan-2024 07:33 707K
libcoq-reglang_1.2.1-1_arm64.deb 21-Jan-2024 07:33 707K
libcoq-reglang_1.2.1-1_armhf.deb 21-Jan-2024 07:38 707K
libcoq-reglang_1.2.1-1_i386.deb 21-Jan-2024 07:32 707K
libcoq-reglang_1.2.1-3+b1_armhf.deb 15-Jun-2024 22:22 735K
libcoq-reglang_1.2.1-3+b2_amd64.deb 15-Jun-2024 22:12 736K
libcoq-reglang_1.2.1-3+b2_arm64.deb 16-Jun-2024 00:23 736K
libcoq-reglang_1.2.1-3+b2_i386.deb 15-Jun-2024 22:06 735K
libcoq-reglang_1.2.1-4+b3_amd64.deb 31-Aug-2024 14:16 835K
libcoq-reglang_1.2.1-4+b3_arm64.deb 31-Aug-2024 14:21 835K
libcoq-reglang_1.2.1-4+b4_amd64.deb 17-Sep-2024 20:38 835K
libcoq-reglang_1.2.1-4+b4_arm64.deb 17-Sep-2024 20:38 835K
libcoq-reglang_1.2.1-4+b5_amd64.deb 13-Oct-2024 20:49 835K
libcoq-reglang_1.2.1-4+b5_arm64.deb 13-Oct-2024 21:25 835K