Skip to content

amd64/pkg/cvc

Install from the command line
Learn more about packages
$ docker pull ghcr.io/hdl/amd64/pkg/cvc:cvc5.1.0.8.r4.gea5b14f53

Recent tagged image versions

  • latest cvc5.1.0.8.r4.gea5b14f53
    Published 8 months ago · Digest
    sha256:3564117bfd8baffa18d1c6948dc7f08e97810c5048f63d27fd6a8d9df2abc462
    204 Version downloads
  • cvc5.1.0.5.r243.g72d3f6802
    Published 9 months ago · Digest
    sha256:aa6fe576a9026e64e3fd9e86cae31e38e0c9b25faa24e26451586e6108e679ca
    123 Version downloads
  • cvc5.1.0.5.r214.g97a64fc16
    Published 10 months ago · Digest
    sha256:85fe9df60f71ab072dd0016186795f831040f3ca88dc56dbc8243870496d6eb6
    144 Version downloads
  • cvc5.1.0.5.r212.g5d7a4ee95
    Published 10 months ago · Digest
    sha256:0bae07f4dfa71c1541087d145dfc966fa1cf7309b1b1871014bba97b6d27beed
    132 Version downloads
  • cvc5.1.0.5.r209.g06f3c6ce0
    Published 10 months ago · Digest
    sha256:f36baba7815b6357bd54547ee6164f0ec11506a79bed6f0148d054f7ece40233
    130 Version downloads
View all tagged versions

Details

Last published

8 months ago

Issues

27

Total downloads

11.5K

Collaborators 5