Index of /pureos/pool/main/c/cvc5/

../
cvc5_1.0.3-1.debian.tar.xz                         14-Jun-2023 13:56    5964
cvc5_1.0.3-1.dsc                                   14-Jun-2023 13:56    2305
cvc5_1.0.3-1_amd64.deb                             14-Jun-2023 20:18    105K
cvc5_1.0.3-1_arm64.deb                             14-Jun-2023 20:18     95K
cvc5_1.0.3.orig.tar.gz                             14-Jun-2023 13:56      8M
libcvc5-1_1.0.3-1_amd64.deb                        14-Jun-2023 20:18      6M
libcvc5-1_1.0.3-1_arm64.deb                        14-Jun-2023 20:18      5M
libcvc5-dev_1.0.3-1_amd64.deb                      14-Jun-2023 20:18     57K
libcvc5-dev_1.0.3-1_arm64.deb                      14-Jun-2023 20:18     57K
libcvc5parser1_1.0.3-1_amd64.deb                   14-Jun-2023 20:18    300K
libcvc5parser1_1.0.3-1_arm64.deb                   14-Jun-2023 20:18    267K