Index of /trisquel/pool/main/c/cvc5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cvc5_1.1.2.orig.tar.gz2024-03-03 06:23 8.2M 
[ ]cvc5_1.1.1-1.dsc2024-03-29 20:18 2.4K 
[ ]cvc5_1.1.1-1.debian.tar.xz2024-03-29 20:18 6.8K 
[ ]cvc5_1.1.1.orig.tar.gz2024-03-29 20:18 8.1M 
[ ]python3-cvc5_1.1.1-1_amd64.deb2024-03-29 20:33 335K 
[ ]cvc5_1.1.1-1_amd64.deb2024-03-29 20:33 93K 
[ ]libcvc5-1_1.1.1-1_amd64.deb2024-03-29 20:33 4.8M 
[ ]libcvc5-dev_1.1.1-1_amd64.deb2024-03-29 20:33 70K 
[ ]libcvc5parser1_1.1.1-1_amd64.deb2024-03-29 20:33 204K 
[ ]cvc5_1.1.1-1_arm64.deb2024-03-29 20:45 84K 
[ ]libcvc5-1_1.1.1-1_arm64.deb2024-03-29 20:45 4.4M 
[ ]libcvc5-dev_1.1.1-1_arm64.deb2024-03-29 20:45 70K 
[ ]libcvc5parser1_1.1.1-1_arm64.deb2024-03-29 20:45 192K 
[ ]python3-cvc5_1.1.1-1_arm64.deb2024-03-29 20:45 325K 
[ ]cvc5_1.1.1-1_ppc64el.deb2024-03-29 21:10 91K 
[ ]libcvc5-1_1.1.1-1_ppc64el.deb2024-03-29 21:10 4.8M 
[ ]libcvc5-dev_1.1.1-1_ppc64el.deb2024-03-29 21:10 70K 
[ ]libcvc5parser1_1.1.1-1_ppc64el.deb2024-03-29 21:10 211K 
[ ]python3-cvc5_1.1.1-1_ppc64el.deb2024-03-29 21:10 321K 
[ ]libcvc5-dev_1.1.1-1_riscv64.deb2024-03-29 21:18 70K 
[ ]libcvc5parser1_1.1.1-1_riscv64.deb2024-03-29 21:18 230K 
[ ]python3-cvc5_1.1.1-1_riscv64.deb2024-03-29 21:18 337K 
[ ]cvc5_1.1.1-1_riscv64.deb2024-03-29 21:18 101K 
[ ]libcvc5-1_1.1.1-1_riscv64.deb2024-03-29 21:18 6.8M 
[ ]cvc5_1.1.2-1build1.debian.tar.xz2024-03-31 14:36 6.4K 
[ ]cvc5_1.1.2-1build1.dsc2024-03-31 14:36 2.5K 
[ ]cvc5_1.1.2-1build1_amd64.deb2024-03-31 23:46 93K 
[ ]libcvc5-1_1.1.2-1build1_amd64.deb2024-03-31 23:46 4.8M 
[ ]libcvc5-dev_1.1.2-1build1_amd64.deb2024-03-31 23:46 82K 
[ ]libcvc5parser1_1.1.2-1build1_amd64.deb2024-03-31 23:46 205K 
[ ]python3-cvc5_1.1.2-1build1_amd64.deb2024-03-31 23:46 339K 
[ ]cvc5_1.1.2-1build1_armhf.deb2024-04-01 21:08 102K 
[ ]libcvc5-1_1.1.2-1build1_armhf.deb2024-04-01 21:08 6.0M 
[ ]libcvc5-dev_1.1.2-1build1_armhf.deb2024-04-01 21:08 82K 
[ ]libcvc5parser1_1.1.2-1build1_armhf.deb2024-04-01 21:08 212K 
[ ]python3-cvc5_1.1.2-1build1_armhf.deb2024-04-01 21:08 341K 
[ ]cvc5_1.1.2-1build1_arm64.deb2024-04-02 00:06 86K 
[ ]libcvc5-1_1.1.2-1build1_arm64.deb2024-04-02 00:06 4.5M 
[ ]libcvc5-dev_1.1.2-1build1_arm64.deb2024-04-02 00:06 82K 
[ ]libcvc5parser1_1.1.2-1build1_arm64.deb2024-04-02 00:06 194K 
[ ]python3-cvc5_1.1.2-1build1_arm64.deb2024-04-02 00:06 328K 
[ ]cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 01:58 91K 
[ ]libcvc5-1_1.1.2-1build1_ppc64el.deb2024-04-02 01:58 4.9M 
[ ]libcvc5-dev_1.1.2-1build1_ppc64el.deb2024-04-02 01:58 82K 
[ ]libcvc5parser1_1.1.2-1build1_ppc64el.deb2024-04-02 01:58 213K 
[ ]python3-cvc5_1.1.2-1build1_ppc64el.deb2024-04-02 01:58 324K 
[ ]cvc5_1.1.2-1build1_riscv64.deb2024-04-03 22:27 103K 
[ ]libcvc5-1_1.1.2-1build1_riscv64.deb2024-04-03 22:27 6.9M 
[ ]libcvc5-dev_1.1.2-1build1_riscv64.deb2024-04-03 22:27 82K 
[ ]libcvc5parser1_1.1.2-1build1_riscv64.deb2024-04-03 22:27 232K 
[ ]python3-cvc5_1.1.2-1build1_riscv64.deb2024-04-03 22:27 341K 
Apache/2.4.18 (Trisquel_GNU/Linux) Server at mirror.fsf.org Port 80