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

../
cvc5_1.0.3-1.debian.tar.xz                         29-Apr-2023 17:40    5964
cvc5_1.0.3-1.dsc                                   29-Apr-2023 17:40    2305
cvc5_1.0.3-1_amd64.deb                             30-Apr-2023 07:47    105K
cvc5_1.0.3-1_arm64.deb                             30-Apr-2023 07:47     95K
cvc5_1.0.3.orig.tar.gz                             29-Apr-2023 17:40      8M
libcvc5-1_1.0.3-1_amd64.deb                        30-Apr-2023 07:47      6M
libcvc5-1_1.0.3-1_arm64.deb                        30-Apr-2023 07:47      5M
libcvc5-dev_1.0.3-1_amd64.deb                      30-Apr-2023 07:47     57K
libcvc5-dev_1.0.3-1_arm64.deb                      30-Apr-2023 07:47     57K
libcvc5parser1_1.0.3-1_amd64.deb                   30-Apr-2023 07:47    300K
libcvc5parser1_1.0.3-1_arm64.deb                   30-Apr-2023 07:47    267K