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

../
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-2build1.debian.tar.xz                   03-Jan-2025 21:43                7476
cvc5_1.1.2-2build1.dsc                             03-Jan-2025 21:43                2473
cvc5_1.1.2-2build1_arm64.deb                       03-Jan-2025 21:44               86962
cvc5_1.1.2-2build1_armhf.deb                       03-Jan-2025 21:44              101778
cvc5_1.1.2-3.debian.tar.xz                         28-Oct-2025 00:01                7392
cvc5_1.1.2-3.dsc                                   28-Oct-2025 00:01                2460
cvc5_1.1.2-3_arm64.deb                             28-Oct-2025 06:36               87416
cvc5_1.1.2-3_armhf.deb                             28-Oct-2025 06:48              102844
cvc5_1.1.2.orig.tar.gz                             03-Mar-2024 11:23             8581968
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-2build1_arm64.deb                  03-Jan-2025 21:44             4875188
libcvc5-1_1.1.2-2build1_armhf.deb                  03-Jan-2025 21:44             6454818
libcvc5-1_1.1.2-3_arm64.deb                        28-Oct-2025 06:36             4926074
libcvc5-1_1.1.2-3_armhf.deb                        28-Oct-2025 06:48             6472910
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-2build1_arm64.deb                03-Jan-2025 21:44               84172
libcvc5-dev_1.1.2-2build1_armhf.deb                03-Jan-2025 21:44               84178
libcvc5-dev_1.1.2-3_arm64.deb                      28-Oct-2025 06:36               84218
libcvc5-dev_1.1.2-3_armhf.deb                      28-Oct-2025 06:48               84230
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-2build1_arm64.deb             03-Jan-2025 21:44              199426
libcvc5parser1_1.1.2-2build1_armhf.deb             03-Jan-2025 21:44              219220
libcvc5parser1_1.1.2-3_arm64.deb                   28-Oct-2025 06:36              200900
libcvc5parser1_1.1.2-3_armhf.deb                   28-Oct-2025 06:48              219848
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-2build1_arm64.deb               03-Jan-2025 21:44              339444
python3-cvc5_1.1.2-2build1_armhf.deb               03-Jan-2025 21:44              354798
python3-cvc5_1.1.2-3_arm64.deb                     28-Oct-2025 06:36              299576
python3-cvc5_1.1.2-3_armhf.deb                     28-Oct-2025 06:48              320208