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

../
cvc5_1.1.1-1.debian.tar.xz                         30-Mar-2024 02:18    6944
cvc5_1.1.1-1.dsc                                   30-Mar-2024 02:18    2470
cvc5_1.1.1-1_amd64.deb                             30-Mar-2024 02:33     93K
cvc5_1.1.1-1_arm64.deb                             30-Mar-2024 02:45     84K
cvc5_1.1.1-1_ppc64el.deb                           30-Mar-2024 03:10     91K
cvc5_1.1.1-1_riscv64.deb                           30-Mar-2024 03:18    101K
cvc5_1.1.1.orig.tar.gz                             30-Mar-2024 02:18      8M
cvc5_1.1.2-1build1.debian.tar.xz                   31-Mar-2024 20:36    6576
cvc5_1.1.2-1build1.dsc                             31-Mar-2024 20:36    2589
cvc5_1.1.2-1build1_amd64.deb                       01-Apr-2024 05:46     93K
cvc5_1.1.2-1build1_arm64.deb                       02-Apr-2024 06:06     86K
cvc5_1.1.2-1build1_armhf.deb                       02-Apr-2024 03:08    102K
cvc5_1.1.2-1build1_ppc64el.deb                     02-Apr-2024 07:58     91K
cvc5_1.1.2-1build1_riscv64.deb                     04-Apr-2024 04:27    103K
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 13:23      8M
libcvc5-1_1.1.1-1_amd64.deb                        30-Mar-2024 02:33      5M
libcvc5-1_1.1.1-1_arm64.deb                        30-Mar-2024 02:45      4M
libcvc5-1_1.1.1-1_ppc64el.deb                      30-Mar-2024 03:10      5M
libcvc5-1_1.1.1-1_riscv64.deb                      30-Mar-2024 03:18      7M
libcvc5-1_1.1.2-1build1_amd64.deb                  01-Apr-2024 05:46      5M
libcvc5-1_1.1.2-1build1_arm64.deb                  02-Apr-2024 06:06      4M
libcvc5-1_1.1.2-1build1_armhf.deb                  02-Apr-2024 03:08      6M
libcvc5-1_1.1.2-1build1_ppc64el.deb                02-Apr-2024 07:58      5M
libcvc5-1_1.1.2-1build1_riscv64.deb                04-Apr-2024 04:27      7M
libcvc5-dev_1.1.1-1_amd64.deb                      30-Mar-2024 02:33     70K
libcvc5-dev_1.1.1-1_arm64.deb                      30-Mar-2024 02:45     70K
libcvc5-dev_1.1.1-1_ppc64el.deb                    30-Mar-2024 03:10     70K
libcvc5-dev_1.1.1-1_riscv64.deb                    30-Mar-2024 03:18     70K
libcvc5-dev_1.1.2-1build1_amd64.deb                01-Apr-2024 05:46     82K
libcvc5-dev_1.1.2-1build1_arm64.deb                02-Apr-2024 06:06     82K
libcvc5-dev_1.1.2-1build1_armhf.deb                02-Apr-2024 03:08     82K
libcvc5-dev_1.1.2-1build1_ppc64el.deb              02-Apr-2024 07:58     82K
libcvc5-dev_1.1.2-1build1_riscv64.deb              04-Apr-2024 04:27     82K
libcvc5parser1_1.1.1-1_amd64.deb                   30-Mar-2024 02:33    204K
libcvc5parser1_1.1.1-1_arm64.deb                   30-Mar-2024 02:45    192K
libcvc5parser1_1.1.1-1_ppc64el.deb                 30-Mar-2024 03:10    211K
libcvc5parser1_1.1.1-1_riscv64.deb                 30-Mar-2024 03:18    230K
libcvc5parser1_1.1.2-1build1_amd64.deb             01-Apr-2024 05:46    205K
libcvc5parser1_1.1.2-1build1_arm64.deb             02-Apr-2024 06:06    194K
libcvc5parser1_1.1.2-1build1_armhf.deb             02-Apr-2024 03:08    212K
libcvc5parser1_1.1.2-1build1_ppc64el.deb           02-Apr-2024 07:58    213K
libcvc5parser1_1.1.2-1build1_riscv64.deb           04-Apr-2024 04:27    232K
python3-cvc5_1.1.1-1_amd64.deb                     30-Mar-2024 02:33    335K
python3-cvc5_1.1.1-1_arm64.deb                     30-Mar-2024 02:45    325K
python3-cvc5_1.1.1-1_ppc64el.deb                   30-Mar-2024 03:10    321K
python3-cvc5_1.1.1-1_riscv64.deb                   30-Mar-2024 03:18    337K
python3-cvc5_1.1.2-1build1_amd64.deb               01-Apr-2024 05:46    339K
python3-cvc5_1.1.2-1build1_arm64.deb               02-Apr-2024 06:06    328K
python3-cvc5_1.1.2-1build1_armhf.deb               02-Apr-2024 03:08    341K
python3-cvc5_1.1.2-1build1_ppc64el.deb             02-Apr-2024 07:58    324K
python3-cvc5_1.1.2-1build1_riscv64.deb             04-Apr-2024 04:27    341K