Index of /debian64/pool/main/c/cvc5/

NameLast ModifiedSizeType
../ -  Directory
cvc5_1.0.3-1_amd64.deb2022-Dec-20 06:55:42105.3Kapplication/vnd.debian.binary-package
cvc5_1.0.3-1_arm64.deb2022-Dec-20 06:29:1195.2Kapplication/vnd.debian.binary-package
libcvc5-1_1.0.3-1_amd64.deb2022-Dec-20 06:55:425.5Mapplication/vnd.debian.binary-package
libcvc5-1_1.0.3-1_arm64.deb2022-Dec-20 06:29:124.7Mapplication/vnd.debian.binary-package
libcvc5-dev_1.0.3-1_amd64.deb2022-Dec-20 06:55:4257.2Kapplication/vnd.debian.binary-package
libcvc5-dev_1.0.3-1_arm64.deb2022-Dec-20 06:29:1257.2Kapplication/vnd.debian.binary-package
libcvc5parser1_1.0.3-1_amd64.deb2022-Dec-20 06:55:42299.6Kapplication/vnd.debian.binary-package
libcvc5parser1_1.0.3-1_arm64.deb2022-Dec-20 06:29:12266.7Kapplication/vnd.debian.binary-package
lighttpd/1.4.69