paasim/idris

•Updated about 7 years ago

Idris

Image

254

Tags for paasim/idris

Sort by

TAG

latest

Last pushed about 7 years by paasim

docker pull paasim/idris:latest

Digest	OS/ARCH	Compressed size
8feaaf406bac	linux/amd64	527.17 MB