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

../
cvc5_1.1.2-1build1.debian.tar.xz                   04-Mar-2026 09:33    6576
cvc5_1.1.2-1build1.dsc                             04-Mar-2026 09:33    2589
cvc5_1.1.2-1build1_amd64.deb                       04-Mar-2026 09:33     93K
cvc5_1.1.2.orig.tar.gz                             04-Mar-2026 09:33      8M
cvc5_1.3.2-1build1.debian.tar.xz                   22-Jul-2026 18:39    8596
cvc5_1.3.2-1build1.dsc                             22-Jul-2026 18:39    2471
cvc5_1.3.2-1build1_amd64.deb                       22-Jul-2026 18:39    119K
cvc5_1.3.2.orig.tar.gz                             22-Jul-2026 18:39      9M
libcvc5-1_1.1.2-1build1_amd64.deb                  04-Mar-2026 09:33      5M
libcvc5-1_1.3.2-1build1_amd64.deb                  22-Jul-2026 18:39      6M
libcvc5-dev_1.1.2-1build1_amd64.deb                04-Mar-2026 09:33     82K
libcvc5-dev_1.3.2-1build1_amd64.deb                22-Jul-2026 18:39    109K
libcvc5parser1_1.1.2-1build1_amd64.deb             04-Mar-2026 09:33    205K
libcvc5parser1_1.3.2-1build1_amd64.deb             22-Jul-2026 18:39    229K
python3-cvc5_1.1.2-1build1_amd64.deb               04-Mar-2026 09:33    339K
python3-cvc5_1.3.2-1build1_amd64.deb               22-Jul-2026 18:39    382K