Index of /kali/pool/main/c/coqeal/
../
coqeal_2.0.1-1.debian.tar.xz 21-Jan-2024 02:52 2292
coqeal_2.0.1-1.dsc 21-Jan-2024 02:52 2171
coqeal_2.0.1.orig.tar.gz 21-Jan-2024 02:52 216810
libcoq-coqeal_1.1.1-1+b1_amd64.deb 17-Aug-2022 05:43 4637504
libcoq-coqeal_1.1.1-1+b1_arm64.deb 17-Aug-2022 05:43 4638556
libcoq-coqeal_1.1.1-1+b1_armhf.deb 17-Aug-2022 05:43 4637368
libcoq-coqeal_1.1.1-1+b1_i386.deb 17-Aug-2022 06:45 4635880
libcoq-coqeal_1.1.1-2+b1_amd64.deb 30-Nov-2022 12:43 4619676
libcoq-coqeal_1.1.1-2+b1_arm64.deb 30-Nov-2022 12:58 4619736
libcoq-coqeal_1.1.1-2+b1_armhf.deb 30-Nov-2022 12:28 4619116
libcoq-coqeal_1.1.1-2+b1_i386.deb 30-Nov-2022 11:27 4619316
libcoq-coqeal_1.1.1-2+b2_amd64.deb 29-Dec-2022 00:14 4620732
libcoq-coqeal_1.1.1-2+b2_arm64.deb 29-Dec-2022 00:14 4619036
libcoq-coqeal_1.1.1-2+b2_armhf.deb 29-Dec-2022 00:14 4618720
libcoq-coqeal_1.1.1-2+b2_i386.deb 29-Dec-2022 00:04 4618392
libcoq-coqeal_1.1.1-3+b1_amd64.deb 14-Feb-2023 13:27 4620840
libcoq-coqeal_1.1.1-3+b1_arm64.deb 14-Feb-2023 13:27 4619912
libcoq-coqeal_1.1.1-3+b1_armhf.deb 14-Feb-2023 13:26 4618512
libcoq-coqeal_1.1.1-3+b1_i386.deb 14-Feb-2023 13:27 4618560
libcoq-coqeal_1.1.3-1+b1_amd64.deb 24-Jul-2023 23:43 4602816
libcoq-coqeal_1.1.3-1+b1_arm64.deb 24-Jul-2023 23:43 4603140
libcoq-coqeal_1.1.3-1+b1_armhf.deb 24-Jul-2023 23:43 4601168
libcoq-coqeal_1.1.3-1+b1_i386.deb 25-Jul-2023 00:29 4602200
libcoq-coqeal_1.1.3-1+b2_amd64.deb 22-Sep-2023 20:28 4602592
libcoq-coqeal_1.1.3-1+b2_arm64.deb 22-Sep-2023 20:28 4602376
libcoq-coqeal_1.1.3-1+b2_armhf.deb 22-Sep-2023 20:43 4601508
libcoq-coqeal_1.1.3-1+b2_i386.deb 22-Sep-2023 20:28 4601784
libcoq-coqeal_2.0.1-1+b1_amd64.deb 16-Feb-2024 23:11 4788900
libcoq-coqeal_2.0.1-1+b1_arm64.deb 17-Feb-2024 01:57 4788592
libcoq-coqeal_2.0.1-1+b1_armhf.deb 16-Feb-2024 22:45 4787772
libcoq-coqeal_2.0.1-1+b1_i386.deb 16-Feb-2024 23:11 4787220
libcoq-coqeal_2.0.1-1_amd64.deb 21-Jan-2024 05:38 4788316
libcoq-coqeal_2.0.1-1_arm64.deb 21-Jan-2024 05:43 4788192
libcoq-coqeal_2.0.1-1_armhf.deb 21-Jan-2024 05:43 4786764
libcoq-coqeal_2.0.1-1_i386.deb 21-Jan-2024 05:32 4786820