Index of /kali/pool/main/c/coq-reduction-effects/
../
coq-reduction-effects_0.1.4-4.debian.tar.xz 13-Jun-2023 05:28 1696
coq-reduction-effects_0.1.4-4.dsc 13-Jun-2023 05:28 2214
coq-reduction-effects_0.1.4.orig.tar.gz 13-Aug-2022 14:08 10K
libcoq-reduction-effects_0.1.3-2+b1_amd64.deb 27-Jul-2022 09:59 14K
libcoq-reduction-effects_0.1.4-2+b1_amd64.deb 30-Nov-2022 08:43 14K
libcoq-reduction-effects_0.1.4-2+b1_arm64.deb 30-Nov-2022 08:43 14K
libcoq-reduction-effects_0.1.4-2+b1_armhf.deb 30-Nov-2022 08:43 14K
libcoq-reduction-effects_0.1.4-2+b1_i386.deb 30-Nov-2022 08:43 14K
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 13-Feb-2023 14:11 14K
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 13-Feb-2023 14:11 14K
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 13-Feb-2023 14:26 14K
libcoq-reduction-effects_0.1.4-3+b1_i386.deb 13-Feb-2023 14:16 14K
libcoq-reduction-effects_0.1.4-4+b1_amd64.deb 23-Jul-2023 14:13 14K
libcoq-reduction-effects_0.1.4-4+b1_arm64.deb 17-Jun-2023 00:10 14K
libcoq-reduction-effects_0.1.4-4+b1_armhf.deb 23-Jul-2023 13:57 14K
libcoq-reduction-effects_0.1.4-4+b1_i386.deb 23-Jul-2023 14:28 14K
libcoq-reduction-effects_0.1.4-4+b2_amd64.deb 22-Sep-2023 21:42 14K
libcoq-reduction-effects_0.1.4-4+b2_arm64.deb 23-Jul-2023 14:12 15K
libcoq-reduction-effects_0.1.4-4+b2_armhf.deb 22-Sep-2023 21:42 14K
libcoq-reduction-effects_0.1.4-4+b2_i386.deb 22-Sep-2023 21:42 14K
libcoq-reduction-effects_0.1.4-4+b3_arm64.deb 22-Sep-2023 21:42 15K
libcoq-reduction-effects_0.1.4-4_amd64.deb 13-Jun-2023 08:14 14K
libcoq-reduction-effects_0.1.4-4_armhf.deb 13-Jun-2023 12:58 14K
libcoq-reduction-effects_0.1.4-4_i386.deb 13-Jun-2023 09:25 14K