Index of /debian/pool/main/c/cvc5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc5_1.0.3-1.dsc2022-12-20 14:26 2.3K 
[ ]cvc5_1.0.3-1.debian.tar.xz2022-12-20 14:26 5.8K 
[ ]cvc5_1.0.3.orig.tar.gz2022-12-20 14:26 7.9M 
[ ]cvc5_1.0.3-1_arm64.deb2022-12-20 16:29 95K 
[ ]libcvc5-1_1.0.3-1_arm64.deb2022-12-20 16:29 4.7M 
[ ]libcvc5-dev_1.0.3-1_arm64.deb2022-12-20 16:29 57K 
[ ]libcvc5parser1_1.0.3-1_arm64.deb2022-12-20 16:29 267K 
[ ]cvc5_1.0.3-1_ppc64el.deb2022-12-20 16:45 103K 
[ ]libcvc5-1_1.0.3-1_ppc64el.deb2022-12-20 16:45 5.3M 
[ ]libcvc5-dev_1.0.3-1_ppc64el.deb2022-12-20 16:45 57K 
[ ]libcvc5parser1_1.0.3-1_ppc64el.deb2022-12-20 16:45 297K 
[ ]cvc5_1.0.3-1_amd64.deb2022-12-20 16:55 105K 
[ ]libcvc5-1_1.0.3-1_amd64.deb2022-12-20 16:55 5.6M 
[ ]libcvc5-dev_1.0.3-1_amd64.deb2022-12-20 16:55 57K 
[ ]libcvc5parser1_1.0.3-1_amd64.deb2022-12-20 16:55 300K 
[ ]cvc5_1.0.3-1_s390x.deb2022-12-20 23:13 95K 
[ ]libcvc5-1_1.0.3-1_s390x.deb2022-12-20 23:13 4.9M 
[ ]libcvc5-dev_1.0.3-1_s390x.deb2022-12-20 23:13 57K 
[ ]libcvc5parser1_1.0.3-1_s390x.deb2022-12-20 23:13 265K 
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 13:53 8.2M 
[ ]cvc5_1.1.2-2.debian.tar.xz2024-03-20 09:22 7.2K 
[ ]cvc5_1.1.2-2.dsc2024-03-20 09:22 2.4K 
[ ]cvc5_1.1.2-2+b1_i386.deb2024-06-26 19:01 111K 
[ ]libcvc5-1_1.1.2-2+b1_i386.deb2024-06-26 19:01 6.7M 
[ ]libcvc5-dev_1.1.2-2+b1_i386.deb2024-06-26 19:01 91K 
[ ]libcvc5parser1_1.1.2-2+b1_i386.deb2024-06-26 19:01 248K 
[ ]python3-cvc5_1.1.2-2+b1_i386.deb2024-06-26 19:01 310K 
[ ]cvc5_1.1.2-2+b1_armel.deb2024-06-26 19:01 98K 
[ ]libcvc5-1_1.1.2-2+b1_armel.deb2024-06-26 19:01 5.3M 
[ ]libcvc5-dev_1.1.2-2+b1_armel.deb2024-06-26 19:01 91K 
[ ]libcvc5parser1_1.1.2-2+b1_armel.deb2024-06-26 19:01 194K 
[ ]python3-cvc5_1.1.2-2+b1_armel.deb2024-06-26 19:01 299K 
[ ]cvc5_1.1.2-2+b1_amd64.deb2024-06-26 19:01 108K 
[ ]libcvc5-1_1.1.2-2+b1_amd64.deb2024-06-26 19:01 6.1M 
[ ]libcvc5-dev_1.1.2-2+b1_amd64.deb2024-06-26 19:01 91K 
[ ]libcvc5parser1_1.1.2-2+b1_amd64.deb2024-06-26 19:01 230K 
[ ]python3-cvc5_1.1.2-2+b1_amd64.deb2024-06-26 19:01 328K 
[ ]cvc5_1.1.2-2+b1_ppc64el.deb2024-06-26 19:02 102K 
[ ]libcvc5-1_1.1.2-2+b1_ppc64el.deb2024-06-26 19:02 5.8M 
[ ]libcvc5-dev_1.1.2-2+b1_ppc64el.deb2024-06-26 19:02 91K 
[ ]libcvc5parser1_1.1.2-2+b1_ppc64el.deb2024-06-26 19:02 225K 
[ ]python3-cvc5_1.1.2-2+b1_ppc64el.deb2024-06-26 19:02 293K 
[ ]cvc5_1.1.2-2+b1_armhf.deb2024-06-26 19:07 100K 
[ ]libcvc5-1_1.1.2-2+b1_armhf.deb2024-06-26 19:07 5.2M 
[ ]libcvc5-dev_1.1.2-2+b1_armhf.deb2024-06-26 19:07 91K 
[ ]libcvc5parser1_1.1.2-2+b1_armhf.deb2024-06-26 19:07 200K 
[ ]python3-cvc5_1.1.2-2+b1_armhf.deb2024-06-26 19:07 304K 
[ ]cvc5_1.1.2-2+b1_arm64.deb2024-06-26 19:37 97K 
[ ]libcvc5-1_1.1.2-2+b1_arm64.deb2024-06-26 19:37 5.2M 
[ ]libcvc5-dev_1.1.2-2+b1_arm64.deb2024-06-26 19:37 91K 
[ ]libcvc5parser1_1.1.2-2+b1_arm64.deb2024-06-26 19:37 201K 
[ ]python3-cvc5_1.1.2-2+b1_arm64.deb2024-06-26 19:37 289K 
[ ]cvc5_1.1.2-2+b1_s390x.deb2024-06-27 08:47 106K 
[ ]libcvc5-1_1.1.2-2+b1_s390x.deb2024-06-27 08:47 6.2M 
[ ]libcvc5-dev_1.1.2-2+b1_s390x.deb2024-06-27 08:47 91K 
[ ]libcvc5parser1_1.1.2-2+b1_s390x.deb2024-06-27 08:47 223K 
[ ]python3-cvc5_1.1.2-2+b1_s390x.deb2024-06-27 08:47 321K 
[ ]cvc5_1.1.2-2+b1_mips64el.deb2024-06-28 04:55 90K 
[ ]libcvc5-1_1.1.2-2+b1_mips64el.deb2024-06-28 04:55 4.9M 
[ ]libcvc5-dev_1.1.2-2+b1_mips64el.deb2024-06-28 04:55 91K 
[ ]libcvc5parser1_1.1.2-2+b1_mips64el.deb2024-06-28 04:55 192K 
[ ]python3-cvc5_1.1.2-2+b1_mips64el.deb2024-06-28 04:55 242K 
[ ]cvc5_1.1.2-2+b1_riscv64.deb2024-06-30 07:47 101K 
[ ]libcvc5-1_1.1.2-2+b1_riscv64.deb2024-06-30 07:47 6.1M 
[ ]libcvc5-dev_1.1.2-2+b1_riscv64.deb2024-06-30 07:47 91K 
[ ]libcvc5parser1_1.1.2-2+b1_riscv64.deb2024-06-30 07:47 219K 
[ ]python3-cvc5_1.1.2-2+b1_riscv64.deb2024-06-30 07:47 310K 
Apache/2.4.59 (Debian) Server at ftp.wa.au.debian.org Port 80