ednutting/jekyll-agda

•Updated over 6 years ago

Agda 2.6.0.1 (using Haskell Stack, GHC 8.6.5) on jekyll/builder (on Alpine Linux)

Image

462

Tags for ednutting/jekyll-agda

Sort by

TAG

latest

Last pushed over 6 years by ednutting

docker pull ednutting/jekyll-agda:latest

Digest	OS/ARCH	Compressed size
ccead24dcd1f	linux/amd64	1.2 GB

TAG

2.6.1

Last pushed over 6 years by ednutting

docker pull ednutting/jekyll-agda:2.6.1

Digest	OS/ARCH	Compressed size
ccead24dcd1f	linux/amd64	1.2 GB

TAG

2.6.0.1

Last pushed over 6 years by ednutting

docker pull ednutting/jekyll-agda:2.6.0.1

Digest	OS/ARCH	Compressed size
2b9f2fe628ce	linux/amd64	1.07 GB