Skip to content

@katamaran-project katamaran-project

coq

Install from the command line
Learn more about packages
$ docker pull ghcr.io/katamaran-project/coq:8.19.2_iris-4.2.0_equations-1.3

Recent tagged image versions

  • 8.19.2_iris-4.2.0_equations-1.3
    Published about 2 months ago · Digest
    sha256:5e5848cddc14a342ac3e2e60ba75969b35a56207d160bf3ca7dd18833bcf7bc9
    9 Version downloads
  • 8.19.2_iris-4.2.0
    Published about 2 months ago · Digest
    sha256:39a8e0bd02f62dbaa021e47a05b1925bfbef1ec082ad25d558272ce482b6d9d2
    1 Version downloads
  • 8.19.2
    Published about 2 months ago · Digest
    sha256:c211cca4ce8b0e16306b482feb1642998e91280338e4dfa002f18350f7b00e88
    1 Version downloads
  • 8.18.0_iris-4.2.0_equations-1.3
    Published about 2 months ago · Digest
    sha256:9aee455fe7c0c943f79ccacd9e2dbd4dd7ec3d829d9adabccb3a330fcd2ddee0
    9 Version downloads
  • 8.18.0_iris-4.2.0
    Published about 2 months ago · Digest
    sha256:a3191c51df9f8f138b7e501894e50a4d8c54dc24f038846262a85b5ceb5e7a56
    1 Version downloads
View all tagged versions

Loading

Last published

2 months ago

Total downloads

11.8K