erikmd/coq-last-dual-switch

•Updated over 4 years ago

Image

Tags for erikmd/coq-last-dual-switch

Sort by

TAG

coq-8.15.1

Last pushed over 4 years by erikmd

docker pull erikmd/coq-last-dual-switch:coq-8.15.1

Digest	OS/ARCH	Compressed size
db599c915b1b	linux/amd64	1.39 GB