Sign inSign up

sourcedennis/agda-mini

By sourcedennis

•Updated 3 months ago

Small Docker images containing Agda

Image
Languages & frameworks
Developer tools
0

588

Tags for sourcedennis/agda-mini

Sort by

TAG

2.8.0

Last pushed 3 months by sourcedennis

docker pull sourcedennis/agda-mini:2.8.0
DigestOS/ARCHCompressed size

b030ced66c3a

linux/amd64

27.14 MB

919d9012ad1f

linux/arm64

33.04 MB

TAG

2.6.4-1.7.3

Last pushed about 1 year by sourcedennis

docker pull sourcedennis/agda-mini:2.6.4-1.7.3
DigestOS/ARCHCompressed size

adcf81e9de55

linux/amd64

26.34 MB

TAG

2.6.4.3

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.4.3
DigestOS/ARCHCompressed size

29b961ee85ac

linux/amd64

45.59 MB

TAG

2.5.3

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.5.3
DigestOS/ARCHCompressed size

011463b7d56a

linux/amd64

38.11 MB

TAG

2.6.1

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.1
DigestOS/ARCHCompressed size

43dd26f6c988

linux/amd64

50.9 MB

TAG

2.6.2.1

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.2.1
DigestOS/ARCHCompressed size

19e9627dadae

linux/amd64

52.69 MB

TAG

2.6.2.2

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.2.2
DigestOS/ARCHCompressed size

0a223019082e

linux/amd64

52.76 MB

TAG

2.6.2.1-1.7.1

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.2.1-1.7.1
DigestOS/ARCHCompressed size

142fe0015653

linux/amd64

53.59 MB

TAG

2.6.2.2-1.7.1

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.2.2-1.7.1
DigestOS/ARCHCompressed size

f0eb587b38ba

linux/amd64

53.67 MB

TAG

2.6.4.3-2.0

Last pushed about 2 years by sourcedennis

docker pull sourcedennis/agda-mini:2.6.4.3-2.0
DigestOS/ARCHCompressed size

17b5228dfae9

linux/amd64

46.7 MB