Index of /ubuntu-ports/pool/universe/c/cvc5/


../
cvc5_1.0.3-1.debian.tar.xz                         20-Dec-2022 11:29                5964
cvc5_1.0.3-1.dsc                                   20-Dec-2022 11:29                2305
cvc5_1.0.3-1_arm64.deb                             20-Dec-2022 12:49               90118
cvc5_1.0.3-1_ppc64el.deb                           20-Dec-2022 11:49               94728
cvc5_1.0.3-1_riscv64.deb                           20-Dec-2022 14:48              103508
cvc5_1.0.3-1_s390x.deb                             20-Dec-2022 11:49               92442
cvc5_1.0.3.orig.tar.gz                             20-Dec-2022 11:29             8335175
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_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-1build1_s390x.deb                       02-Apr-2024 11:03               95924
cvc5_1.1.2-2.debian.tar.xz                         03-May-2024 01:55                7396
cvc5_1.1.2-2.dsc                                   03-May-2024 01:55                2470
cvc5_1.1.2-2_arm64.deb                             03-May-2024 08:35               88082
cvc5_1.1.2-2_armhf.deb                             09-May-2024 11:31              104776
cvc5_1.1.2-2_ppc64el.deb                           03-May-2024 03:31               93212
cvc5_1.1.2-2_riscv64.deb                           06-May-2024 11:59              105302
cvc5_1.1.2-2_s390x.deb                             03-May-2024 04:30               94618
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 11:23             8581968
libcvc5-1_1.0.3-1_arm64.deb                        20-Dec-2022 12:49             4357562
libcvc5-1_1.0.3-1_ppc64el.deb                      20-Dec-2022 11:49             4736376
libcvc5-1_1.0.3-1_riscv64.deb                      20-Dec-2022 14:48             6581766
libcvc5-1_1.0.3-1_s390x.deb                        20-Dec-2022 11:49             4497840
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-1_1.1.2-1build1_s390x.deb                  02-Apr-2024 11:03             5495320
libcvc5-1_1.1.2-2_arm64.deb                        03-May-2024 08:35             4701810
libcvc5-1_1.1.2-2_armhf.deb                        09-May-2024 11:31             6314396
libcvc5-1_1.1.2-2_ppc64el.deb                      03-May-2024 03:31             5095562
libcvc5-1_1.1.2-2_riscv64.deb                      06-May-2024 11:59             7211444
libcvc5-1_1.1.2-2_s390x.deb                        03-May-2024 04:30             5459006
libcvc5-dev_1.0.3-1_arm64.deb                      20-Dec-2022 12:49               52766
libcvc5-dev_1.0.3-1_ppc64el.deb                    20-Dec-2022 11:49               52772
libcvc5-dev_1.0.3-1_riscv64.deb                    20-Dec-2022 14:48               52766
libcvc5-dev_1.0.3-1_s390x.deb                      20-Dec-2022 11:49               52762
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
libcvc5-dev_1.1.2-1build1_s390x.deb                02-Apr-2024 11:03               84222
libcvc5-dev_1.1.2-2_arm64.deb                      03-May-2024 08:35               84200
libcvc5-dev_1.1.2-2_armhf.deb                      09-May-2024 11:31               84214
libcvc5-dev_1.1.2-2_ppc64el.deb                    03-May-2024 03:31               84210
libcvc5-dev_1.1.2-2_riscv64.deb                    06-May-2024 11:59               84200
libcvc5-dev_1.1.2-2_s390x.deb                      03-May-2024 04:30               84222
libcvc5parser1_1.0.3-1_arm64.deb                   20-Dec-2022 12:49              284416
libcvc5parser1_1.0.3-1_ppc64el.deb                 20-Dec-2022 11:49              310868
libcvc5parser1_1.0.3-1_riscv64.deb                 20-Dec-2022 14:48              314300
libcvc5parser1_1.0.3-1_s390x.deb                   20-Dec-2022 11:49              281136
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
libcvc5parser1_1.1.2-1build1_s390x.deb             02-Apr-2024 11:03              217616
libcvc5parser1_1.1.2-2_arm64.deb                   03-May-2024 08:35              198586
libcvc5parser1_1.1.2-2_armhf.deb                   09-May-2024 11:31              220354
libcvc5parser1_1.1.2-2_ppc64el.deb                 03-May-2024 03:31              216318
libcvc5parser1_1.1.2-2_riscv64.deb                 06-May-2024 11:59              237934
libcvc5parser1_1.1.2-2_s390x.deb                   03-May-2024 04:30              215438
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
python3-cvc5_1.1.2-1build1_s390x.deb               02-Apr-2024 11:03              391036
python3-cvc5_1.1.2-2_arm64.deb                     03-May-2024 08:35              335824
python3-cvc5_1.1.2-2_armhf.deb                     09-May-2024 11:31              350500
python3-cvc5_1.1.2-2_ppc64el.deb                   03-May-2024 03:31              331624
python3-cvc5_1.1.2-2_riscv64.deb                   06-May-2024 11:59              349274
python3-cvc5_1.1.2-2_s390x.deb                     03-May-2024 04:30              392952