Index of /pool/main/c/cvc5/

NameLast ModifiedSizeType
../ -  Directory
cvc5_1.0.3-1.debian.tar.xz2022-Dec-20 04:26:075.8Kapplication/x-xz
cvc5_1.0.3-1.dsc2022-Dec-20 04:26:072.2Kapplication/octet-stream
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
cvc5_1.0.3-1_ppc64el.deb2022-Dec-20 06:45:31102.5Kapplication/vnd.debian.binary-package
cvc5_1.0.3-1_s390x.deb2022-Dec-20 13:13:4295.0Kapplication/vnd.debian.binary-package
cvc5_1.0.3.orig.tar.gz2022-Dec-20 04:26:077.9Mapplication/gzip
cvc5_1.1.2-2+b1_amd64.deb2024-Jun-26 11:01:55108.4Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_arm64.deb2024-Jun-26 11:37:4896.5Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_armel.deb2024-Jun-26 11:01:4998.0Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_armhf.deb2024-Jun-26 11:07:09100.1Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_i386.deb2024-Jun-26 11:01:44111.0Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_mips64el.deb2024-Jun-27 20:55:3990.4Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_ppc64el.deb2024-Jun-26 11:02:00102.2Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_riscv64.deb2024-Jun-29 23:47:06100.8Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2+b1_s390x.deb2024-Jun-27 00:47:44106.4Kapplication/vnd.debian.binary-package
cvc5_1.1.2-2.debian.tar.xz2024-Mar-19 23:22:507.2Kapplication/x-xz
cvc5_1.1.2-2.dsc2024-Mar-19 23:22:502.4Kapplication/octet-stream
cvc5_1.1.2.orig.tar.gz2024-Mar-03 03:53:308.1Mapplication/gzip
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-1_1.0.3-1_ppc64el.deb2022-Dec-20 06:45:315.3Mapplication/vnd.debian.binary-package
libcvc5-1_1.0.3-1_s390x.deb2022-Dec-20 13:13:424.8Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_amd64.deb2024-Jun-26 11:01:566.1Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_arm64.deb2024-Jun-26 11:37:485.2Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_armel.deb2024-Jun-26 11:01:495.3Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_armhf.deb2024-Jun-26 11:07:095.2Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_i386.deb2024-Jun-26 11:01:456.7Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_mips64el.deb2024-Jun-27 20:55:394.9Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_ppc64el.deb2024-Jun-26 11:02:015.8Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_riscv64.deb2024-Jun-29 23:47:076.1Mapplication/vnd.debian.binary-package
libcvc5-1_1.1.2-2+b1_s390x.deb2024-Jun-27 00:47:456.2Mapplication/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
libcvc5-dev_1.0.3-1_ppc64el.deb2022-Dec-20 06:45:3157.2Kapplication/vnd.debian.binary-package
libcvc5-dev_1.0.3-1_s390x.deb2022-Dec-20 13:13:4257.2Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_amd64.deb2024-Jun-26 11:01:5691.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_arm64.deb2024-Jun-26 11:37:4891.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_armel.deb2024-Jun-26 11:01:4991.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_armhf.deb2024-Jun-26 11:07:0991.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_i386.deb2024-Jun-26 11:01:4591.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_mips64el.deb2024-Jun-27 20:55:3991.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_ppc64el.deb2024-Jun-26 11:02:0191.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_riscv64.deb2024-Jun-29 23:47:0791.0Kapplication/vnd.debian.binary-package
libcvc5-dev_1.1.2-2+b1_s390x.deb2024-Jun-27 00:47:4591.0Kapplication/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
libcvc5parser1_1.0.3-1_ppc64el.deb2022-Dec-20 06:45:31297.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.0.3-1_s390x.deb2022-Dec-20 13:13:42264.8Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_amd64.deb2024-Jun-26 11:01:56229.5Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_arm64.deb2024-Jun-26 11:37:48201.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_armel.deb2024-Jun-26 11:01:49193.7Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_armhf.deb2024-Jun-26 11:07:09200.0Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_i386.deb2024-Jun-26 11:01:45248.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_mips64el.deb2024-Jun-27 20:55:39192.1Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_ppc64el.deb2024-Jun-26 11:02:01225.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_riscv64.deb2024-Jun-29 23:47:07219.3Kapplication/vnd.debian.binary-package
libcvc5parser1_1.1.2-2+b1_s390x.deb2024-Jun-27 00:47:45222.5Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_amd64.deb2024-Jun-26 11:01:56327.6Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_arm64.deb2024-Jun-26 11:37:48289.2Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_armel.deb2024-Jun-26 11:01:49299.1Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_armhf.deb2024-Jun-26 11:07:09304.1Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_i386.deb2024-Jun-26 11:01:45310.2Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_mips64el.deb2024-Jun-27 20:55:39242.4Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_ppc64el.deb2024-Jun-26 11:02:01293.3Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_riscv64.deb2024-Jun-29 23:47:07310.5Kapplication/vnd.debian.binary-package
python3-cvc5_1.1.2-2+b1_s390x.deb2024-Jun-27 00:47:45320.5Kapplication/vnd.debian.binary-package
lighttpd/1.4.45