Index of /univention-repository/pool/main/c/cvc5/


../
cvc5_1.0.3-1_amd64.deb                             12-Mar-2023 07:30              107900
libcvc5-1_1.0.3-1_amd64.deb                        12-Mar-2023 07:30             5841260
libcvc5-dev_1.0.3-1_amd64.deb                      12-Mar-2023 07:30               58584
libcvc5parser1_1.0.3-1_amd64.deb                   12-Mar-2023 07:30              306872