debian/pool/main/a/agda-stdlib • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / debian / pool / main / a / agda-stdlib

File Name

Size

Last Modified

..

—

—
agda-stdlib-doc_1.3-2_all.deb

2.35MB

August 1, 2020, 1:34 pm

agda-stdlib-doc_1.7.1-1_all.deb

2.90MB

August 6, 2022, 6:46 pm

agda-stdlib-doc_2.1-4_all.deb

3.60MB

November 25, 2024, 7:39 pm

agda-stdlib_1.3-2.debian.tar.xz

5.51KB

August 1, 2020, 12:54 pm

agda-stdlib_1.3-2.dsc

2.06KB

August 1, 2020, 12:54 pm

agda-stdlib_1.3-2_all.deb

69.84MB

August 1, 2020, 1:34 pm

agda-stdlib_1.3.orig.tar.gz

733.80KB

July 31, 2020, 11:50 am

agda-stdlib_1.7.1-1.debian.tar.xz

5.53KB

August 6, 2022, 5:10 pm

agda-stdlib_1.7.1-1.dsc

2.11KB

August 6, 2022, 5:10 pm

agda-stdlib_1.7.1-1_all.deb

95.41MB

August 6, 2022, 6:46 pm

agda-stdlib_1.7.1.orig.tar.gz

918.10KB

August 6, 2022, 5:10 pm

agda-stdlib_2.1-4.debian.tar.xz

5.92KB

November 25, 2024, 7:03 pm

agda-stdlib_2.1-4.dsc

2.17KB

November 25, 2024, 7:03 pm

agda-stdlib_2.1-4_all.deb

137.05MB

November 25, 2024, 7:39 pm

agda-stdlib_2.1.orig.tar.gz

1.16MB

October 18, 2024, 9:34 pm