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


../
cvc5_1.1.2-1build1_arm64.deb                       02-Apr-2024 04:06     86K
cvc5_1.1.2-1build1_armhf.deb                       02-Apr-2024 01:08    102K
cvc5_1.1.2-2_arm64.deb                             03-May-2024 08:35     86K
cvc5_1.1.2-2_armhf.deb                             09-May-2024 11:31    102K
libcvc5-1_1.1.2-1build1_arm64.deb                  02-Apr-2024 04:06      4M
libcvc5-1_1.1.2-1build1_armhf.deb                  02-Apr-2024 01:08      6M
libcvc5-1_1.1.2-2_arm64.deb                        03-May-2024 08:35      4M
libcvc5-1_1.1.2-2_armhf.deb                        09-May-2024 11:31      6M
libcvc5-dev_1.1.2-1build1_arm64.deb                02-Apr-2024 04:06     82K
libcvc5-dev_1.1.2-1build1_armhf.deb                02-Apr-2024 01:08     82K
libcvc5-dev_1.1.2-2_arm64.deb                      03-May-2024 08:35     82K
libcvc5-dev_1.1.2-2_armhf.deb                      09-May-2024 11:31     82K
libcvc5parser1_1.1.2-1build1_arm64.deb             02-Apr-2024 04:06    194K
libcvc5parser1_1.1.2-1build1_armhf.deb             02-Apr-2024 01:08    212K
libcvc5parser1_1.1.2-2_arm64.deb                   03-May-2024 08:35    194K
libcvc5parser1_1.1.2-2_armhf.deb                   09-May-2024 11:31    215K
python3-cvc5_1.1.2-1build1_arm64.deb               02-Apr-2024 04:06    328K
python3-cvc5_1.1.2-1build1_armhf.deb               02-Apr-2024 01:08    341K
python3-cvc5_1.1.2-2_arm64.deb                     03-May-2024 08:35    328K
python3-cvc5_1.1.2-2_armhf.deb                     09-May-2024 11:31    342K