Index of /mirror/deepin/pool/main/c/cvc4/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
cvc4_1.6-2+b1_amd64.deb2022-Apr-11 10:57:17133.0Kapplication/vnd.debian.binary-package
cvc4_1.6-2+b1_i386.deb2022-Apr-11 11:26:28136.2Kapplication/vnd.debian.binary-package
cvc4_1.6-2.debian.tar.xz2022-Apr-11 11:20:548.0Kapplication/x-xz
cvc4_1.6-2.dsc2022-Apr-11 11:20:542.6Kapplication/octet-stream
cvc4_1.6.orig.tar.gz2022-Apr-11 11:20:547.4Mapplication/gzip
libcvc4-5_1.6-2+b1_amd64.deb2022-Apr-11 11:33:563.8Mapplication/vnd.debian.binary-package
libcvc4-5_1.6-2+b1_i386.deb2022-Apr-11 11:33:504.3Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_amd64.deb2022-Apr-11 11:44:326.4Mapplication/vnd.debian.binary-package
libcvc4-dev_1.6-2+b1_i386.deb2022-Apr-11 11:12:316.8Mapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_amd64.deb2022-Apr-11 11:37:31354.0Kapplication/vnd.debian.binary-package
libcvc4parser5_1.6-2+b1_i386.deb2022-Apr-11 11:13:26380.4Kapplication/vnd.debian.binary-package
lighttpd/1.4.35