theostos/coq-stdpp

•Updated 6 months ago

Image

Tags for theostos/coq-stdpp

Sort by

TAG

9.0-1.12.0

Last pushed 6 months by theostos

docker pull theostos/coq-stdpp:9.0-1.12.0

Digest	OS/ARCH	Compressed size
098e4f5a9b96	linux/amd64	5.99 GB