Icon  Name                               Last modified      Size  Description
[PARENTDIR] 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