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


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