Logic and Semantics @ Aarhus University
iris-tutorial/docker-x86-64 latest Public Latest
Install from the command line
$ docker pull ghcr.io/logsem/iris-tutorial/docker-x86-64:latest
linux/amd64
$ docker pull ghcr.io/logsem/iris-tutorial/docker-x86-64:latest@sha256:531cf2461adc34d712693903ec9c31e4b56e38574a6ac0fbfa60e37509155802
unknown/unknown
$ docker pull ghcr.io/logsem/iris-tutorial/docker-x86-64:latest@sha256:83cbebbe2d19cd677a0ffb6e361330d3f3259baee480f7440e4faff0c2fd6182
Recent tagged image versions
- 0 Version downloads
Loading
Sorry, something went wrong.
Last published
5 days ago
Total downloads