Index of /kali/pool/main/c/cvc5

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] python3-cvc5_1.1.2-3_armel.deb 2025-08-11 22:00 304K [   ] libcvc5parser1_1.1.2-3_armel.deb 2025-08-11 22:00 197K [   ] libcvc5-dev_1.1.2-3_armel.deb 2025-08-11 22:00 91K [   ] libcvc5-1_1.1.2-3_armel.deb 2025-08-11 22:00 5.5M [   ] cvc5_1.1.2-3_armel.deb 2025-08-11 22:00 96K [   ] python3-cvc5_1.1.2-3_arm64.deb 2025-08-11 21:44 291K [   ] libcvc5parser1_1.1.2-3_arm64.deb 2025-08-11 21:44 203K [   ] libcvc5-dev_1.1.2-3_arm64.deb 2025-08-11 21:44 91K [   ] libcvc5-1_1.1.2-3_arm64.deb 2025-08-11 21:44 5.4M [   ] cvc5_1.1.2-3_arm64.deb 2025-08-11 21:44 95K [   ] python3-cvc5_1.1.2-3_armhf.deb 2025-08-11 21:39 310K [   ] libcvc5parser1_1.1.2-3_armhf.deb 2025-08-11 21:39 204K [   ] libcvc5-dev_1.1.2-3_armhf.deb 2025-08-11 21:39 91K [   ] libcvc5-1_1.1.2-3_armhf.deb 2025-08-11 21:39 5.4M [   ] cvc5_1.1.2-3_armhf.deb 2025-08-11 21:39 98K [   ] python3-cvc5_1.1.2-3_i386.deb 2025-08-11 21:39 317K [   ] libcvc5parser1_1.1.2-3_i386.deb 2025-08-11 21:39 253K [   ] libcvc5-dev_1.1.2-3_i386.deb 2025-08-11 21:39 91K [   ] libcvc5-1_1.1.2-3_i386.deb 2025-08-11 21:39 6.9M [   ] cvc5_1.1.2-3_i386.deb 2025-08-11 21:39 109K [   ] python3-cvc5_1.1.2-3_amd64.deb 2025-08-11 21:32 333K [   ] libcvc5parser1_1.1.2-3_amd64.deb 2025-08-11 21:32 232K [   ] libcvc5-dev_1.1.2-3_amd64.deb 2025-08-11 21:32 91K [   ] libcvc5-1_1.1.2-3_amd64.deb 2025-08-11 21:32 6.4M [   ] cvc5_1.1.2-3_amd64.deb 2025-08-11 21:32 105K [TXT] cvc5_1.1.2-3.dsc 2025-07-27 20:11 2.4K [   ] cvc5_1.1.2-3.debian.tar.xz 2025-07-27 20:11 7.2K [   ] python3-cvc5_1.1.2-2+b3_armel.deb 2025-01-09 20:48 304K [   ] libcvc5parser1_1.1.2-2+b3_armel.deb 2025-01-09 20:48 196K [   ] libcvc5-dev_1.1.2-2+b3_armel.deb 2025-01-09 20:48 91K [   ] libcvc5-1_1.1.2-2+b3_armel.deb 2025-01-09 20:48 5.5M [   ] cvc5_1.1.2-2+b3_armel.deb 2025-01-09 20:48 96K [   ] python3-cvc5_1.1.2-2+b3_armhf.deb 2025-01-09 20:32 309K [   ] libcvc5parser1_1.1.2-2+b3_armhf.deb 2025-01-09 20:32 202K [   ] libcvc5-dev_1.1.2-2+b3_armhf.deb 2025-01-09 20:32 91K [   ] libcvc5-1_1.1.2-2+b3_armhf.deb 2025-01-09 20:32 5.4M [   ] cvc5_1.1.2-2+b3_armhf.deb 2025-01-09 20:32 99K [   ] python3-cvc5_1.1.2-2+b3_arm64.deb 2025-01-09 19:31 291K [   ] libcvc5parser1_1.1.2-2+b3_arm64.deb 2025-01-09 19:31 203K [   ] libcvc5-dev_1.1.2-2+b3_arm64.deb 2025-01-09 19:31 91K [   ] libcvc5-1_1.1.2-2+b3_arm64.deb 2025-01-09 19:31 5.4M [   ] cvc5_1.1.2-2+b3_arm64.deb 2025-01-09 19:31 95K [   ] python3-cvc5_1.1.2-2+b3_amd64.deb 2025-01-09 19:11 331K [   ] libcvc5parser1_1.1.2-2+b3_amd64.deb 2025-01-09 19:11 231K [   ] libcvc5-dev_1.1.2-2+b3_amd64.deb 2025-01-09 19:11 91K [   ] libcvc5-1_1.1.2-2+b3_amd64.deb 2025-01-09 19:11 6.4M [   ] cvc5_1.1.2-2+b3_amd64.deb 2025-01-09 19:11 107K [   ] python3-cvc5_1.1.2-2+b3_i386.deb 2025-01-09 19:05 318K [   ] libcvc5parser1_1.1.2-2+b3_i386.deb 2025-01-09 19:05 252K [   ] libcvc5-dev_1.1.2-2+b3_i386.deb 2025-01-09 19:05 91K [   ] libcvc5-1_1.1.2-2+b3_i386.deb 2025-01-09 19:05 6.9M [   ] cvc5_1.1.2-2+b3_i386.deb 2025-01-09 19:05 109K [TXT] cvc5_1.1.2-2.dsc 2024-03-20 06:22 2.4K [   ] cvc5_1.1.2-2.debian.tar.xz 2024-03-20 06:22 7.2K [   ] cvc5_1.1.2.orig.tar.gz 2024-03-03 10:53 8.2M
Apache/2.4.65 (Debian) Server at mirror.freedif.org Port 443