Sign inSign up

vipo/idris2

By vipo

•Updated 8 months ago

Image
0

558

vipo/idris2 repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:4e8a34374…

Size

428.3 MB

Last updated

8 months ago

docker pull vipo/idris2:0.8.0-1