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.orig.tar.gz                             20-Dec-2022 11:29             8335175
cvc5_1.0.5-3.debian.tar.xz                         24-Jun-2023 11:45                7072
cvc5_1.0.5-3.dsc                                   24-Jun-2023 11:45                2495
cvc5_1.0.5-3_arm64.deb                             25-Jun-2023 08:04               81796
cvc5_1.0.5.orig.tar.gz                             20-Jun-2023 23:39             8431503
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-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.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.5-3_arm64.deb                        25-Jun-2023 08:04             4355088
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-2_arm64.deb                        03-May-2024 08:35             4701810
libcvc5-1_1.1.2-2_armhf.deb                        09-May-2024 11:31             6314396
libcvc5-dev_1.0.3-1_arm64.deb                      20-Dec-2022 12:49               52766
libcvc5-dev_1.0.5-3_arm64.deb                      25-Jun-2023 08:04               54480
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-2_arm64.deb                      03-May-2024 08:35               84200
libcvc5-dev_1.1.2-2_armhf.deb                      09-May-2024 11:31               84214
libcvc5parser1_1.0.3-1_arm64.deb                   20-Dec-2022 12:49              284416
libcvc5parser1_1.0.5-3_arm64.deb                   25-Jun-2023 08:04              324318
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-2_arm64.deb                   03-May-2024 08:35              198586
libcvc5parser1_1.1.2-2_armhf.deb                   09-May-2024 11:31              220354
python3-cvc5_1.0.5-3_arm64.deb                     25-Jun-2023 08:04              223546
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-2_arm64.deb                     03-May-2024 08:35              335824
python3-cvc5_1.1.2-2_armhf.deb                     09-May-2024 11:31              350500