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

latest

Published 11 months ago · Digest
sha256:21511cd924d8bcf2a281bbd1c4695ca20ee11991192a67ef8214f5eb96d182e1

58 Version downloads

View all tagged versions

Loading

Last published

11 months ago

Total downloads

66