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

NameLast ModifiedSizeType
../ -  Directory
cvc5_1.1.2-3.debian.tar.xz2025-Jul-27 21:11:357.2Kapplication/x-xz
cvc5_1.1.2-3.dsc2025-Jul-27 21:11:352.4Kapplication/octet-stream
cvc5_1.1.2-3_amd64.deb2025-Aug-11 22:32:50105.2Kapplication/vnd.debian.binary-package
cvc5_1.1.2-3_arm64.deb2025-Aug-11 22:44:5294.9Kapplication/vnd.debian.binary-package
cvc5_1.1.2-3_armhf.deb2025-Aug-11 22:39:3598.2Kapplication/vnd.debian.binary-package
cvc5_1.1.2-3_i386.deb2025-Aug-11 22:39:19108.8Kapplication/vnd.debian.binary-package
cvc5_1.1.2.orig.tar.gz2024-Mar-03 11:53:308.1Mapplication/x-gtar-compressed
cvc5_1.3.2-1.debian.tar.xz2025-Dec-24 10:13:588.3Kapplication/x-xz
cvc5_1.3.2-1.dsc2025-Dec-24 10:13:582.4Kapplication/octet-stream
cvc5_1.3.2-1_amd64.deb2025-Dec-24 10:49:37140.3Kapplication/vnd.debian.binary-package
cvc5_1.3.2-1_arm64.deb2025-Dec-24 10:54:48125.6Kapplication/vnd.debian.binary-package
cvc5_1.3.2-1_armhf.deb2025-Dec-24 10:54:52129.0Kapplication/vnd.debian.binary-package
cvc5_1.3.2-1_i386.deb2025-Dec-24 10:49:41141.9Kapplication/vnd.debian.binary-package
cvc5_1.3.2.orig.tar.gz2025-Dec-24 10:13:588.8Mapplication/x-gtar-compressed
libcvc5-1_1.1.2-3_amd64.deb2025-Aug-11 22:32:506.3Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-3_arm64.deb2025-Aug-11 22:44:525.4Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-3_armhf.deb2025-Aug-11 22:39:365.4Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-3_i386.deb2025-Aug-11 22:39:206.9Mapplication/vnd.debian.binary-package
libcvc5-1_1.3.2-1_amd64.deb2025-Dec-24 10:49:377.3Mapplication/vnd.debian.binary-package
libcvc5-1_1.3.2-1_arm64.deb2025-Dec-24 10:54:496.3Mapplication/vnd.debian.binary-package
libcvc5-1_1.3.2-1_armhf.deb2025-Dec-24 10:54:526.2Mapplication/vnd.debian.binary-package
libcvc5-1_1.3.2-1_i386.deb2025-Dec-24 10:49:417.9Mapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-3_amd64.deb2025-Aug-11 22:32:5090.9Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-3_arm64.deb2025-Aug-11 22:44:5290.9Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-3_armhf.deb2025-Aug-11 22:39:3690.9Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-3_i386.deb2025-Aug-11 22:39:2090.9Kapplication/vnd.debian.binary-package
libcvc5-dev_1.3.2-1_amd64.deb2025-Dec-24 10:49:37121.1Kapplication/vnd.debian.binary-package
libcvc5-dev_1.3.2-1_arm64.deb2025-Dec-24 10:54:49121.1Kapplication/vnd.debian.binary-package
libcvc5-dev_1.3.2-1_armhf.deb2025-Dec-24 10:54:52121.1Kapplication/vnd.debian.binary-package
libcvc5-dev_1.3.2-1_i386.deb2025-Dec-24 10:49:41121.1Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-3_amd64.deb2025-Aug-11 22:32:50231.9Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-3_arm64.deb2025-Aug-11 22:44:52203.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-3_armhf.deb2025-Aug-11 22:39:36203.5Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-3_i386.deb2025-Aug-11 22:39:20252.9Kapplication/vnd.debian.binary-package
libcvc5parser1_1.3.2-1_amd64.deb2025-Dec-24 10:49:37266.7Kapplication/vnd.debian.binary-package
libcvc5parser1_1.3.2-1_arm64.deb2025-Dec-24 10:54:49231.8Kapplication/vnd.debian.binary-package
libcvc5parser1_1.3.2-1_armhf.deb2025-Dec-24 10:54:52233.5Kapplication/vnd.debian.binary-package
libcvc5parser1_1.3.2-1_i386.deb2025-Dec-24 10:49:41286.7Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-3_amd64.deb2025-Aug-11 22:32:50332.6Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-3_arm64.deb2025-Aug-11 22:44:52290.8Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-3_armhf.deb2025-Aug-11 22:39:36309.6Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-3_i386.deb2025-Aug-11 22:39:20316.9Kapplication/vnd.debian.binary-package
python3-cvc5_1.3.2-1_amd64.deb2025-Dec-24 10:49:37375.9Kapplication/vnd.debian.binary-package
python3-cvc5_1.3.2-1_arm64.deb2025-Dec-24 10:54:49315.1Kapplication/vnd.debian.binary-package
python3-cvc5_1.3.2-1_armhf.deb2025-Dec-24 10:54:52343.9Kapplication/vnd.debian.binary-package
python3-cvc5_1.3.2-1_i386.deb2025-Dec-24 10:49:41365.3Kapplication/vnd.debian.binary-package
Tsukuba WIDE public mirror service