Sign inSign up

jlimperg/agda-stdlib

By jlimperg

•Updated over 6 years ago

Agda with standard library

Image
1

2.2K

Tags for jlimperg/agda-stdlib

Sort by

TAG

2.6.1_1.3

Last pushed over 6 years by jlimperg

docker pull jlimperg/agda-stdlib:2.6.1_1.3
DigestOS/ARCHCompressed size

13326678715d

linux/amd64

415.41 MB

TAG

2.6.0.1_1.2

Last pushed almost 7 years by jlimperg

docker pull jlimperg/agda-stdlib:2.6.0.1_1.2
DigestOS/ARCHCompressed size

4f1cf6dfc33d

linux/amd64

368.21 MB

TAG

latest

Last pushed almost 7 years by jlimperg

docker pull jlimperg/agda-stdlib:latest
DigestOS/ARCHCompressed size

4f1cf6dfc33d

linux/amd64

368.21 MB

TAG

2.6.0.1_1.1

Last pushed about 7 years by jlimperg

docker pull jlimperg/agda-stdlib:2.6.0.1_1.1
DigestOS/ARCHCompressed size

2fc0a3338580

linux/amd64

352.25 MB

TAG

2.6.0_1.0.1

Last pushed over 7 years by jlimperg

docker pull jlimperg/agda-stdlib:2.6.0_1.0.1
DigestOS/ARCHCompressed size

1f1c77826ea0

linux/amd64

417.34 MB

TAG

2.6.0_1.0

Last pushed over 7 years by jlimperg

docker pull jlimperg/agda-stdlib:2.6.0_1.0
DigestOS/ARCHCompressed size

3ff7ed101e87

linux/amd64

371.62 MB

TAG

2.5.4.2_0.17

Last pushed over 7 years by jlimperg

docker pull jlimperg/agda-stdlib:2.5.4.2_0.17
DigestOS/ARCHCompressed size

d6283110789b

linux/amd64

347.88 MB

TAG

2.5.4.1_0.17

Last pushed almost 8 years by jlimperg

docker pull jlimperg/agda-stdlib:2.5.4.1_0.17
DigestOS/ARCHCompressed size

54dfe951e5b1

linux/amd64

361.1 MB

TAG

2.5.4.1_0.16.1

Last pushed about 8 years by jlimperg

docker pull jlimperg/agda-stdlib:2.5.4.1_0.16.1
DigestOS/ARCHCompressed size

f5684cf1c6fc

linux/amd64

360.94 MB

TAG

2.5.4.1_0.16

Last pushed about 8 years by jlimperg

docker pull jlimperg/agda-stdlib:2.5.4.1_0.16
DigestOS/ARCHCompressed size

831547a0afc0

linux/amd64

360.94 MB

TAG

2.5.4_0.16

Last pushed over 8 years by jlimperg

docker pull jlimperg/agda-stdlib:2.5.4_0.16
DigestOS/ARCHCompressed size

2d98dd0d6ad4

linux/amd64

612.95 MB