fabianhauser/dafny-build

•Updated over 6 years ago

Image

207

Tags for fabianhauser/dafny-build

Sort by

TAG

latest

Last pushed over 6 years by fabianhauser

docker pull fabianhauser/dafny-build:latest

Digest	OS/ARCH	Compressed size
3a1d21f880da	linux/amd64	898.77 MB