Skip to content

@se-buw Software Engineering @ Bauhaus-Universität Weimar

fm-playground-nuxmv-api 2.4.0 Public Latest

Install from the command line
$ docker pull ghcr.io/se-buw/fm-playground-nuxmv-api:2.4.0

Recent tagged image versions

  • latest 2.4.0
    Published about 2 months ago · Digest
    sha256:63cce70268baeaeeb948c2d0e355445720ae2c3854b8e7e254fdeb91c55ad574
    0 Version downloads
  • 2.3.0
    Published 2 months ago · Digest
    sha256:57e04447950a73228148f7ce4e719870bedb818d5ff3c039a627054f6b909f4d
    0 Version downloads
  • 2.2.2
    Published 2 months ago · Digest
    sha256:7ef9d9bbd4142035ebb0740c5db2f11587f8fc1a562378f7903cefa352fb8f30
    1 Version downloads
  • 2.2.1
    Published 2 months ago · Digest
    sha256:019da51059a1e57e6bffaef985166db279f023fcc0a2db7e218bc44cf893e225
    0 Version downloads
  • 2.2.0
    Published 3 months ago · Digest
    sha256:c72eec3d44d98abf567a9ccfc868d4927239a0028aabb5ea760b4b5ecbb0a5c1
    0 Version downloads
View all tagged versions

Loading

Last published

2 months ago

Total downloads

4