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

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