Reactive Systems Group
ml2/nusmv-grpc-server latest Public Latest
Install from the command line
$ docker pull ghcr.io/reactive-systems/ml2/nusmv-grpc-server:latest
linux/amd64
$ docker pull ghcr.io/reactive-systems/ml2/nusmv-grpc-server:latest@sha256:f99e90986a5b45f6a8523fb1717dcd9a6d7670e69893dbd27033fda727995814
linux/arm64
$ docker pull ghcr.io/reactive-systems/ml2/nusmv-grpc-server:latest@sha256:74406db0545d7f91b802a5ee69face36f4797fd7977a343550a275e86c49b200
unknown/unknown
$ docker pull ghcr.io/reactive-systems/ml2/nusmv-grpc-server:latest@sha256:59ef402b623609e9b9b4c7623cd8a1de13eeeaa741e0314856412701e855b2a0
Recent tagged image versions
- 67 Version downloads
Loading
Sorry, something went wrong.
Last published
2 years ago
Total downloads