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.1-1.dsc2024-02-12 14:02 2.4K 
[   ]cvc5_1.1.1-1.debian.tar.xz2024-02-12 14:02 6.8K 
[   ]cvc5_1.1.1.orig.tar.gz2024-02-12 14:02 8.1M 
[   ]cvc5_1.1.1-1_amd64.deb2024-02-12 14:53 107K 
[   ]libcvc5-1_1.1.1-1_amd64.deb2024-02-12 14:53 6.0M 
[   ]libcvc5-dev_1.1.1-1_amd64.deb2024-02-12 14:53 78K 
[   ]libcvc5parser1_1.1.1-1_amd64.deb2024-02-12 14:53 226K 
[   ]python3-cvc5_1.1.1-1_amd64.deb2024-02-12 14:53 317K 
[   ]cvc5_1.1.1-1_ppc64el.deb2024-02-12 14:53 101K 
[   ]libcvc5-1_1.1.1-1_ppc64el.deb2024-02-12 14:53 5.7M 
[   ]libcvc5-dev_1.1.1-1_ppc64el.deb2024-02-12 14:53 78K 
[   ]libcvc5parser1_1.1.1-1_ppc64el.deb2024-02-12 14:53 223K 
[   ]python3-cvc5_1.1.1-1_ppc64el.deb2024-02-12 14:53 290K 
[   ]cvc5_1.1.1-1_s390x.deb2024-02-12 14:58 103K 
[   ]libcvc5-1_1.1.1-1_s390x.deb2024-02-12 14:58 6.1M 
[   ]libcvc5-dev_1.1.1-1_s390x.deb2024-02-12 14:58 78K 
[   ]libcvc5parser1_1.1.1-1_s390x.deb2024-02-12 14:58 220K 
[   ]python3-cvc5_1.1.1-1_s390x.deb2024-02-12 14:58 314K 
[   ]cvc5_1.1.1-1_arm64.deb2024-02-12 15:34 94K 
[   ]libcvc5-1_1.1.1-1_arm64.deb2024-02-12 15:34 5.1M 
[   ]libcvc5-dev_1.1.1-1_arm64.deb2024-02-12 15:34 78K 
[   ]libcvc5parser1_1.1.1-1_arm64.deb2024-02-12 15:34 199K 
[   ]python3-cvc5_1.1.1-1_arm64.deb2024-02-12 15:34 287K 
[   ]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_i386.deb2024-03-20 10:08 111K 
[   ]libcvc5-1_1.1.2-2_i386.deb2024-03-20 10:08 6.7M 
[   ]libcvc5-dev_1.1.2-2_i386.deb2024-03-20 10:08 91K 
[   ]libcvc5parser1_1.1.2-2_i386.deb2024-03-20 10:08 248K 
[   ]python3-cvc5_1.1.2-2_i386.deb2024-03-20 10:08 308K 
[   ]cvc5_1.1.2-2_ppc64el.deb2024-03-20 10:08 102K 
[   ]libcvc5-1_1.1.2-2_ppc64el.deb2024-03-20 10:08 5.8M 
[   ]libcvc5-dev_1.1.2-2_ppc64el.deb2024-03-20 10:08 91K 
[   ]libcvc5parser1_1.1.2-2_ppc64el.deb2024-03-20 10:08 225K 
[   ]python3-cvc5_1.1.2-2_ppc64el.deb2024-03-20 10:08 296K 
[   ]cvc5_1.1.2-2_armel.deb2024-03-20 10:13 98K 
[   ]libcvc5-1_1.1.2-2_armel.deb2024-03-20 10:13 5.3M 
[   ]libcvc5-dev_1.1.2-2_armel.deb2024-03-20 10:13 91K 
[   ]libcvc5parser1_1.1.2-2_armel.deb2024-03-20 10:13 193K 
[   ]python3-cvc5_1.1.2-2_armel.deb2024-03-20 10:13 295K 
[   ]cvc5_1.1.2-2_armhf.deb2024-03-20 10:28 100K 
[   ]libcvc5-1_1.1.2-2_armhf.deb2024-03-20 10:29 5.2M 
[   ]libcvc5-dev_1.1.2-2_armhf.deb2024-03-20 10:29 91K 
[   ]libcvc5parser1_1.1.2-2_armhf.deb2024-03-20 10:29 200K 
[   ]python3-cvc5_1.1.2-2_armhf.deb2024-03-20 10:29 300K 
[   ]cvc5_1.1.2-2_amd64.deb2024-03-20 12:42 108K 
[   ]libcvc5-1_1.1.2-2_amd64.deb2024-03-20 12:42 6.1M 
[   ]libcvc5-dev_1.1.2-2_amd64.deb2024-03-20 12:42 91K 
[   ]libcvc5parser1_1.1.2-2_amd64.deb2024-03-20 12:42 229K 
[   ]python3-cvc5_1.1.2-2_amd64.deb2024-03-20 12:42 321K 
[   ]cvc5_1.1.2-2_arm64.deb2024-03-20 13:29 96K 
[   ]libcvc5-1_1.1.2-2_arm64.deb2024-03-20 13:29 5.2M 
[   ]libcvc5-dev_1.1.2-2_arm64.deb2024-03-20 13:29 91K 
[   ]libcvc5parser1_1.1.2-2_arm64.deb2024-03-20 13:29 201K 
[   ]python3-cvc5_1.1.2-2_arm64.deb2024-03-20 13:29 291K 
[   ]cvc5_1.1.2-2_s390x.deb2024-03-21 19:50 106K 
[   ]libcvc5-1_1.1.2-2_s390x.deb2024-03-21 19:50 6.2M 
[   ]libcvc5-dev_1.1.2-2_s390x.deb2024-03-21 19:50 91K 
[   ]libcvc5parser1_1.1.2-2_s390x.deb2024-03-21 19:50 222K 
[   ]python3-cvc5_1.1.2-2_s390x.deb2024-03-21 19:50 318K 
[   ]cvc5_1.1.2-2_riscv64.deb2024-03-21 22:14 100K 
[   ]libcvc5-1_1.1.2-2_riscv64.deb2024-03-21 22:14 6.1M 
[   ]libcvc5-dev_1.1.2-2_riscv64.deb2024-03-21 22:14 91K 
[   ]libcvc5parser1_1.1.2-2_riscv64.deb2024-03-21 22:14 219K 
[   ]python3-cvc5_1.1.2-2_riscv64.deb2024-03-21 22:14 314K 

Apache/2.4.38 (Debian) Server at ftp.wa.au.debian.org Port 80