0x01be/coq

•Updated over 4 years ago

coq.inria.fr

Image

3.5K

Tags for 0x01be/coq

Sort by

TAG

xpra

Last pushed over 4 years by 0x01be

docker pull 0x01be/coq:xpra

Digest	OS/ARCH	Compressed size
7c39f32576b4	linux/amd64	453.54 MB

TAG

build

Last pushed almost 6 years by 0x01be

docker pull 0x01be/coq:build

Digest	OS/ARCH	Compressed size
c95532c92ad1	linux/amd64	703.91 MB