Name Last modified Size Description
Parent Directory - cvc5_1.0.3-1.debian.tar.xz 2022-12-19 21:26 5.8K cvc5_1.0.3-1.dsc 2022-12-19 21:26 2.3K cvc5_1.0.3-1_amd64.deb 2022-12-19 23:55 105K cvc5_1.0.3-1_arm64.deb 2022-12-19 23:29 95K cvc5_1.0.3-1_ppc64el.deb 2022-12-19 23:45 103K cvc5_1.0.3.orig.tar.gz 2022-12-19 21:26 7.9M cvc5_1.0.5-3.debian.tar.xz 2023-06-23 15:03 6.9K cvc5_1.0.5-3.dsc 2023-06-23 15:03 2.4K cvc5_1.0.5-3_amd64.deb 2023-06-23 16:29 98K cvc5_1.0.5-3_arm64.deb 2023-06-23 17:12 86K cvc5_1.0.5-3_ppc64el.deb 2023-06-23 16:29 93K cvc5_1.0.5.orig.tar.gz 2023-06-20 12:12 8.0M libcvc5-1_1.0.3-1_amd64.deb 2022-12-19 23:55 5.6M libcvc5-1_1.0.3-1_arm64.deb 2022-12-19 23:29 4.7M libcvc5-1_1.0.3-1_ppc64el.deb 2022-12-19 23:45 5.3M libcvc5-1_1.0.5-3_amd64.deb 2023-06-23 16:29 5.6M libcvc5-1_1.0.5-3_arm64.deb 2023-06-23 17:12 4.8M libcvc5-1_1.0.5-3_ppc64el.deb 2023-06-23 16:29 5.4M libcvc5-dev_1.0.3-1_amd64.deb 2022-12-19 23:55 57K libcvc5-dev_1.0.3-1_arm64.deb 2022-12-19 23:29 57K libcvc5-dev_1.0.3-1_ppc64el.deb 2022-12-19 23:45 57K libcvc5-dev_1.0.5-3_amd64.deb 2023-06-23 16:29 59K libcvc5-dev_1.0.5-3_arm64.deb 2023-06-23 17:12 59K libcvc5-dev_1.0.5-3_ppc64el.deb 2023-06-23 16:29 59K libcvc5parser1_1.0.3-1_amd64.deb 2022-12-19 23:55 300K libcvc5parser1_1.0.3-1_arm64.deb 2022-12-19 23:29 267K libcvc5parser1_1.0.3-1_ppc64el.deb 2022-12-19 23:45 297K libcvc5parser1_1.0.5-3_amd64.deb 2023-06-23 16:29 359K libcvc5parser1_1.0.5-3_arm64.deb 2023-06-23 17:12 312K libcvc5parser1_1.0.5-3_ppc64el.deb 2023-06-23 16:29 354K python3-cvc5_1.0.5-3_amd64.deb 2023-06-23 16:29 222K python3-cvc5_1.0.5-3_arm64.deb 2023-06-23 17:12 195K python3-cvc5_1.0.5-3_ppc64el.deb 2023-06-23 16:29 208K