/Operating Systems/Linux/Debian/mirror/main/a/agda-stdlib/ Up
Name      Date      Size
agda-stdlib-doc_0.12-2_all.deb      2016-06-23      1 MB
agda-stdlib-doc_0.3-3_all.deb      2010-03-03      1 MB
agda-stdlib-doc_0.6-2_all.deb      2012-03-14      2 MB
agda-stdlib-doc_0.8-2_all.deb      2014-08-12      1 MB
agda-stdlib_0.12-2.debian.tar.xz      2016-06-23      5 KB
agda-stdlib_0.12-2.dsc      2016-06-23      2 KB
agda-stdlib_0.12-2_all.deb      2016-06-23      16 MB
agda-stdlib_0.12.orig.tar.gz      2016-06-20      248 KB
agda-stdlib_0.3-3.diff.gz      2010-03-03      4 KB
agda-stdlib_0.3-3.dsc      2010-03-03      1 KB
agda-stdlib_0.3-3_amd64.deb      2010-03-03      12 MB
agda-stdlib_0.3-3_i386.deb      2010-03-03      12 MB
agda-stdlib_0.3-3_kfreebsd-i386.deb      2010-03-03      11 MB
agda-stdlib_0.3-3_powerpc.deb      2010-03-04      12 MB
agda-stdlib_0.3-3_sparc.deb      2010-03-13      12 MB
agda-stdlib_0.3.orig.tar.gz      2010-02-05      147 KB
agda-stdlib_0.6-2.debian.tar.gz      2012-03-14      4 KB
agda-stdlib_0.6-2.dsc      2012-03-14      1 KB
agda-stdlib_0.6-2_all.deb      2012-03-14      16 MB
agda-stdlib_0.6.orig.tar.gz      2011-12-30      211 KB
agda-stdlib_0.8-2.debian.tar.xz      2014-08-12      4 KB
agda-stdlib_0.8-2.dsc      2014-08-12      2 KB
agda-stdlib_0.8-2_all.deb      2014-08-12      22 MB
agda-stdlib_0.8.orig.tar.gz      2014-08-05      240 KB
index.html      2024-02-25      6 KB
index.html?C=M;O=A      2024-02-24      6 KB
index.html?C=N;O=D      2024-02-24      6 KB
index.html?C=S;O=A      2024-02-24      6 KB

made by Digital Vintage with nginx-s3-gateway and some magic
digitalvintage.ru
t.me/digitalvintage_ru
instagram.com/digitalvintage.ru

All the software, information and any other data provided here
is intended only for education and research usage. Contact software vendor
and obtain a license if you plan commercial or any prolonged use.