theostos/coq-quickchick

•Updated 6 months ago

Image

Tags for theostos/coq-quickchick

Sort by

TAG

9.0-2.1.1

Last pushed 6 months by theostos

docker pull theostos/coq-quickchick:9.0-2.1.1

Digest	OS/ARCH	Compressed size
faccdc31bd10	linux/amd64	6.19 GB