Index of /ubuntu-ports/pool/universe/c/cvc5/
../
cvc5_1.1.2-1build1.debian.tar.xz 31-Mar-2024 19:36 6576
cvc5_1.1.2-1build1.dsc 31-Mar-2024 19:36 2589
cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 05:06 87912
cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 02:08 104214
cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 06:58 93370
cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 03:27 105312
cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 12:03 95924
cvc5_1.1.2-2build1.debian.tar.xz 03-Jan-2025 22:43 7476
cvc5_1.1.2-2build1.dsc 03-Jan-2025 22:43 2473
cvc5_1.1.2-2build1_arm64.deb 03-Jan-2025 22:44 86962
cvc5_1.1.2-2build1_armhf.deb 03-Jan-2025 22:44 101778
cvc5_1.1.2-2build1_ppc64el.deb 04-Jan-2025 03:07 93116
cvc5_1.1.2-2build1_riscv64.deb 05-Jan-2025 15:06 103330
cvc5_1.1.2-2build1_s390x.deb 03-Jan-2025 22:45 94438
cvc5_1.1.2-3.debian.tar.xz 28-Oct-2025 01:01 7392
cvc5_1.1.2-3.dsc 28-Oct-2025 01:01 2460
cvc5_1.1.2-3_arm64.deb 28-Oct-2025 07:36 87416
cvc5_1.1.2-3_armhf.deb 28-Oct-2025 07:48 102844
cvc5_1.1.2-3_ppc64el.deb 28-Oct-2025 08:01 92148
cvc5_1.1.2-3_riscv64.deb 29-Oct-2025 00:13 105426
cvc5_1.1.2-3_s390x.deb 28-Oct-2025 08:07 95836
cvc5_1.1.2.orig.tar.gz 03-Mar-2024 12:23 8581968
cvc5_1.3.2-1.debian.tar.xz 24-Dec-2025 07:24 8532
cvc5_1.3.2-1.dsc 24-Dec-2025 07:24 2468
cvc5_1.3.2-1_arm64.deb 24-Dec-2025 07:25 114688
cvc5_1.3.2-1_armhf.deb 24-Dec-2025 07:25 130654
cvc5_1.3.2-1_ppc64el.deb 24-Dec-2025 07:25 120032
cvc5_1.3.2-1_riscv64.deb 24-Dec-2025 16:24 135266
cvc5_1.3.2-1_s390x.deb 24-Dec-2025 07:25 125070
cvc5_1.3.2.orig.tar.gz 24-Dec-2025 07:24 9250970
libcvc5-1_1.1.2-1build1_arm64.deb 02-Apr-2024 05:06 4693310
libcvc5-1_1.1.2-1build1_armhf.deb 02-Apr-2024 02:08 6239846
libcvc5-1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 06:58 5111568
libcvc5-1_1.1.2-1build1_riscv64.deb 04-Apr-2024 03:27 7211394
libcvc5-1_1.1.2-1build1_s390x.deb 02-Apr-2024 12:03 5495320
libcvc5-1_1.1.2-2build1_arm64.deb 03-Jan-2025 22:44 4875188
libcvc5-1_1.1.2-2build1_armhf.deb 03-Jan-2025 22:44 6454818
libcvc5-1_1.1.2-2build1_ppc64el.deb 04-Jan-2025 03:07 5246918
libcvc5-1_1.1.2-2build1_riscv64.deb 05-Jan-2025 15:06 7502120
libcvc5-1_1.1.2-2build1_s390x.deb 03-Jan-2025 22:45 5661180
libcvc5-1_1.1.2-3_arm64.deb 28-Oct-2025 07:36 4926074
libcvc5-1_1.1.2-3_armhf.deb 28-Oct-2025 07:48 6472910
libcvc5-1_1.1.2-3_ppc64el.deb 28-Oct-2025 08:01 5275454
libcvc5-1_1.1.2-3_riscv64.deb 29-Oct-2025 00:13 7704004
libcvc5-1_1.1.2-3_s390x.deb 28-Oct-2025 08:07 5567426
libcvc5-1_1.3.2-1_arm64.deb 24-Dec-2025 07:25 5716422
libcvc5-1_1.3.2-1_armhf.deb 24-Dec-2025 07:25 7461022
libcvc5-1_1.3.2-1_ppc64el.deb 24-Dec-2025 07:25 6121144
libcvc5-1_1.3.2-1_riscv64.deb 24-Dec-2025 16:24 8816878
libcvc5-1_1.3.2-1_s390x.deb 24-Dec-2025 07:25 6440142
libcvc5-dev_1.1.2-1build1_arm64.deb 02-Apr-2024 05:06 84202
libcvc5-dev_1.1.2-1build1_armhf.deb 02-Apr-2024 02:08 84212
libcvc5-dev_1.1.2-1build1_ppc64el.deb 02-Apr-2024 06:58 84210
libcvc5-dev_1.1.2-1build1_riscv64.deb 04-Apr-2024 03:27 84204
libcvc5-dev_1.1.2-1build1_s390x.deb 02-Apr-2024 12:03 84222
libcvc5-dev_1.1.2-2build1_arm64.deb 03-Jan-2025 22:44 84172
libcvc5-dev_1.1.2-2build1_armhf.deb 03-Jan-2025 22:44 84178
libcvc5-dev_1.1.2-2build1_ppc64el.deb 04-Jan-2025 03:07 84184
libcvc5-dev_1.1.2-2build1_riscv64.deb 05-Jan-2025 15:06 84170
libcvc5-dev_1.1.2-2build1_s390x.deb 03-Jan-2025 22:45 84186
libcvc5-dev_1.1.2-3_arm64.deb 28-Oct-2025 07:36 84218
libcvc5-dev_1.1.2-3_armhf.deb 28-Oct-2025 07:48 84230
libcvc5-dev_1.1.2-3_ppc64el.deb 28-Oct-2025 08:00 84224
libcvc5-dev_1.1.2-3_riscv64.deb 29-Oct-2025 00:13 84220
libcvc5-dev_1.1.2-3_s390x.deb 28-Oct-2025 08:07 84222
libcvc5-dev_1.3.2-1_arm64.deb 24-Dec-2025 07:25 111962
libcvc5-dev_1.3.2-1_armhf.deb 24-Dec-2025 07:25 111970
libcvc5-dev_1.3.2-1_ppc64el.deb 24-Dec-2025 07:25 111966
libcvc5-dev_1.3.2-1_riscv64.deb 24-Dec-2025 16:24 111964
libcvc5-dev_1.3.2-1_s390x.deb 24-Dec-2025 07:25 111962
libcvc5parser1_1.1.2-1build1_arm64.deb 02-Apr-2024 05:06 198216
libcvc5parser1_1.1.2-1build1_armhf.deb 02-Apr-2024 02:08 217032
libcvc5parser1_1.1.2-1build1_ppc64el.deb 02-Apr-2024 06:58 218342
libcvc5parser1_1.1.2-1build1_riscv64.deb 04-Apr-2024 03:27 237550
libcvc5parser1_1.1.2-1build1_s390x.deb 02-Apr-2024 12:03 217616
libcvc5parser1_1.1.2-2build1_arm64.deb 03-Jan-2025 22:44 199426
libcvc5parser1_1.1.2-2build1_armhf.deb 03-Jan-2025 22:44 219220
libcvc5parser1_1.1.2-2build1_ppc64el.deb 04-Jan-2025 03:07 216960
libcvc5parser1_1.1.2-2build1_riscv64.deb 05-Jan-2025 15:06 240902
libcvc5parser1_1.1.2-2build1_s390x.deb 03-Jan-2025 22:45 215818
libcvc5parser1_1.1.2-3_arm64.deb 28-Oct-2025 07:36 200900
libcvc5parser1_1.1.2-3_armhf.deb 28-Oct-2025 07:48 219848
libcvc5parser1_1.1.2-3_ppc64el.deb 28-Oct-2025 08:00 218284
libcvc5parser1_1.1.2-3_riscv64.deb 29-Oct-2025 00:13 247040
libcvc5parser1_1.1.2-3_s390x.deb 28-Oct-2025 08:07 213124
libcvc5parser1_1.3.2-1_arm64.deb 24-Dec-2025 07:25 219248
libcvc5parser1_1.3.2-1_armhf.deb 24-Dec-2025 07:25 250968
libcvc5parser1_1.3.2-1_ppc64el.deb 24-Dec-2025 07:25 239022
libcvc5parser1_1.3.2-1_riscv64.deb 24-Dec-2025 16:24 280560
libcvc5parser1_1.3.2-1_s390x.deb 24-Dec-2025 07:25 234044
python3-cvc5_1.1.2-1build1_arm64.deb 02-Apr-2024 05:06 336332
python3-cvc5_1.1.2-1build1_armhf.deb 02-Apr-2024 02:08 349332
python3-cvc5_1.1.2-1build1_ppc64el.deb 02-Apr-2024 06:58 331878
python3-cvc5_1.1.2-1build1_riscv64.deb 04-Apr-2024 03:27 349290
python3-cvc5_1.1.2-1build1_s390x.deb 02-Apr-2024 12:03 391036
python3-cvc5_1.1.2-2build1_arm64.deb 03-Jan-2025 22:44 339444
python3-cvc5_1.1.2-2build1_armhf.deb 03-Jan-2025 22:44 354798
python3-cvc5_1.1.2-2build1_ppc64el.deb 04-Jan-2025 03:07 330914
python3-cvc5_1.1.2-2build1_riscv64.deb 05-Jan-2025 15:06 361754
python3-cvc5_1.1.2-2build1_s390x.deb 03-Jan-2025 22:45 396140
python3-cvc5_1.1.2-3_arm64.deb 28-Oct-2025 07:36 299576
python3-cvc5_1.1.2-3_armhf.deb 28-Oct-2025 07:48 320208
python3-cvc5_1.1.2-3_ppc64el.deb 28-Oct-2025 08:00 309172
python3-cvc5_1.1.2-3_riscv64.deb 29-Oct-2025 00:13 335286
python3-cvc5_1.1.2-3_s390x.deb 28-Oct-2025 08:07 338514
python3-cvc5_1.3.2-1_arm64.deb 24-Dec-2025 07:25 354734
python3-cvc5_1.3.2-1_armhf.deb 24-Dec-2025 07:25 385562
python3-cvc5_1.3.2-1_ppc64el.deb 24-Dec-2025 07:25 376098
python3-cvc5_1.3.2-1_riscv64.deb 24-Dec-2025 16:24 398730
python3-cvc5_1.3.2-1_s390x.deb 24-Dec-2025 07:25 402884