Index of /kali/pool/main/c/cvc4/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
cvc4_1.8-3+b3_amd64.deb2024-Mar-24 18:12:5380.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_arm64.deb2024-Mar-24 20:33:5874.6Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_armel.deb2024-Mar-29 05:13:3373.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_armhf.deb2024-Mar-28 21:54:1274.5Kapplication/vnd.debian.binary-package
cvc4_1.8-3+b3_i386.deb2024-Mar-24 18:18:0682.2Kapplication/vnd.debian.binary-package
cvc4_1.8-3.debian.tar.xz2022-Oct-30 03:57:3016.3Kapplication/x-xz
cvc4_1.8-3.dsc2022-Oct-30 03:57:302.1Kapplication/octet-stream
cvc4_1.8.orig.tar.gz2020-Sep-14 07:17:217.2Mapplication/gzip
libcvc4-7_1.8-3+b3_amd64.deb2024-Mar-24 18:12:535.7Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_arm64.deb2024-Mar-24 20:33:584.8Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_armel.deb2024-Mar-29 05:13:345.0Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_armhf.deb2024-Mar-28 21:54:135.1Mapplication/vnd.debian.binary-package
libcvc4-7_1.8-3+b3_i386.deb2024-Mar-24 18:18:076.4Mapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_amd64.deb2024-Mar-24 18:12:53128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_arm64.deb2024-Mar-24 20:33:58128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_armel.deb2024-Mar-29 05:13:34128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_armhf.deb2024-Mar-28 21:54:13128.3Kapplication/vnd.debian.binary-package
libcvc4-dev_1.8-3+b3_i386.deb2024-Mar-24 18:18:07128.2Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_amd64.deb2024-Mar-24 18:12:53356.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_arm64.deb2024-Mar-24 20:33:58313.9Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_armel.deb2024-Mar-29 05:13:34312.8Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_armhf.deb2024-Mar-28 21:54:13322.2Kapplication/vnd.debian.binary-package
libcvc4parser7_1.8-3+b3_i386.deb2024-Mar-24 18:18:07384.5Kapplication/vnd.debian.binary-package
lighttpd/1.4.35