erikmd/coq-new-mono-switch

•Updated over 4 years ago

Image

Tags for erikmd/coq-new-mono-switch

Sort by

TAG

coq-8.15.2

Last pushed over 4 years by erikmd

docker pull erikmd/coq-new-mono-switch:coq-8.15.2

Digest	OS/ARCH	Compressed size
ea32accfcc73	linux/amd64	979.14 MB