Index of /pub/distribucions/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 95162
cvc5_1.1.1-1_arm64.deb 30-Mar-2024 00:45 86474
cvc5_1.1.1-1_ppc64el.deb 30-Mar-2024 01:10 92720
cvc5_1.1.1-1_riscv64.deb 30-Mar-2024 01:18 103916
cvc5_1.1.1.orig.tar.gz 30-Mar-2024 00:18 8509343
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 95604
cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 87912
cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 104214
cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 93370
cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 105312
cvc5_1.1.2.orig.tar.gz 03-Mar-2024 11:23 8581968
libcvc5-1_1.1.1-1_amd64.deb 30-Mar-2024 00:33 5019726
libcvc5-1_1.1.1-1_arm64.deb 30-Mar-2024 00:45 4633466
libcvc5-1_1.1.1-1_ppc64el.deb 30-Mar-2024 01:10 5056606
libcvc5-1_1.1.1-1_riscv64.deb 30-Mar-2024 01:18 7115624
libcvc5-1_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 5085718
libcvc5-1_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 4693310
libcvc5-1_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 6239846
libcvc5-1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 5111568
libcvc5-1_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 7211394
libcvc5-dev_1.1.1-1_amd64.deb 30-Mar-2024 00:33 71632
libcvc5-dev_1.1.1-1_arm64.deb 30-Mar-2024 00:45 71626
libcvc5-dev_1.1.1-1_ppc64el.deb 30-Mar-2024 01:10 71638
libcvc5-dev_1.1.1-1_riscv64.deb 30-Mar-2024 01:18 71628
libcvc5-dev_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 84208
libcvc5-dev_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 84202
libcvc5-dev_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 84212
libcvc5-dev_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 84210
libcvc5-dev_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 84204
libcvc5parser1_1.1.1-1_amd64.deb 30-Mar-2024 00:33 208574
libcvc5parser1_1.1.1-1_arm64.deb 30-Mar-2024 00:45 196136
libcvc5parser1_1.1.1-1_ppc64el.deb 30-Mar-2024 01:10 215914
libcvc5parser1_1.1.1-1_riscv64.deb 30-Mar-2024 01:18 235500
libcvc5parser1_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 209894
libcvc5parser1_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 198216
libcvc5parser1_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 217032
libcvc5parser1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 218342
libcvc5parser1_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 237550
python3-cvc5_1.1.1-1_amd64.deb 30-Mar-2024 00:33 343216
python3-cvc5_1.1.1-1_arm64.deb 30-Mar-2024 00:45 332808
python3-cvc5_1.1.1-1_ppc64el.deb 30-Mar-2024 01:10 328988
python3-cvc5_1.1.1-1_riscv64.deb 30-Mar-2024 01:18 344894
python3-cvc5_1.1.2-1build1_amd64.deb 01-Apr-2024 03:46 347334
python3-cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 04:06 336332
python3-cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 01:08 349332
python3-cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 05:58 331878
python3-cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 02:27 349290