Index of /linux/ubuntu/pool/universe/a/agda-stdlib/

NameLast ModifiedSizeType
Parent Directory/ -  Directory
agda-stdlib-doc_0.11-1_all.deb2016-Jan-05 02:20:131.2Mapplication/octet-stream
agda-stdlib-doc_0.12-2build1_all.deb2016-Aug-09 18:15:311.2Mapplication/octet-stream
agda-stdlib-doc_0.12-2build2_all.deb2016-Nov-15 18:08:201.2Mapplication/octet-stream
agda-stdlib-doc_0.14-1_all.deb2017-Nov-26 19:04:451.0Mapplication/octet-stream
agda-stdlib-doc_0.6-2_all.deb2012-Mar-18 23:03:431.6Mapplication/octet-stream
agda-stdlib-doc_0.7-2_all.deb2013-May-28 01:33:481.6Mapplication/octet-stream
agda-stdlib-doc_0.8-2_all.deb2014-Aug-12 19:08:421.1Mapplication/octet-stream
agda-stdlib-doc_0.9-1_all.deb2015-Jun-05 18:09:001.1Mapplication/octet-stream
agda-stdlib-doc_1.1-1_all.deb2019-Sep-06 17:48:271.8Mapplication/octet-stream
agda-stdlib-doc_1.3-2_all.deb2020-Aug-02 07:43:412.3Mapplication/octet-stream
agda-stdlib_0.11-1.debian.tar.xz2016-Jan-05 00:25:054.5Kapplication/octet-stream
agda-stdlib_0.11-1.dsc2016-Jan-05 00:25:052.0Kapplication/octet-stream
agda-stdlib_0.11-1_all.deb2016-Jan-05 02:20:1216.7Mapplication/octet-stream
agda-stdlib_0.11.orig.tar.gz2016-Jan-05 00:25:05247.3Kapplication/x-gzip
agda-stdlib_0.12-2build1.debian.tar.xz2016-Aug-09 17:30:114.9Kapplication/octet-stream
agda-stdlib_0.12-2build1.dsc2016-Aug-09 17:30:092.1Kapplication/octet-stream
agda-stdlib_0.12-2build1_all.deb2016-Aug-09 18:15:3216.2Mapplication/octet-stream
agda-stdlib_0.12-2build2.debian.tar.xz2016-Nov-15 18:08:204.9Kapplication/octet-stream
agda-stdlib_0.12-2build2.dsc2016-Nov-15 18:08:202.1Kapplication/octet-stream
agda-stdlib_0.12-2build2_all.deb2016-Nov-15 18:08:2114.8Mapplication/octet-stream
agda-stdlib_0.12.orig.tar.gz2016-Jun-21 01:40:55248.0Kapplication/x-gzip
agda-stdlib_0.14-1.debian.tar.xz2017-Nov-26 18:08:385.0Kapplication/octet-stream
agda-stdlib_0.14-1.dsc2017-Nov-26 18:08:382.0Kapplication/octet-stream
agda-stdlib_0.14-1_all.deb2017-Nov-26 19:04:4617.3Mapplication/octet-stream
agda-stdlib_0.14.orig.tar.gz2017-Nov-26 12:14:14278.7Kapplication/x-gzip
agda-stdlib_0.6-2.debian.tar.gz2012-Mar-18 22:33:454.1Kapplication/x-gzip
agda-stdlib_0.6-2.dsc2012-Mar-18 22:33:451.4Kapplication/octet-stream
agda-stdlib_0.6-2_all.deb2012-Mar-18 23:03:4516.1Mapplication/octet-stream
agda-stdlib_0.6.orig.tar.gz2012-Jan-04 02:04:51211.2Kapplication/x-gzip
agda-stdlib_0.7-2.debian.tar.gz2013-May-28 01:33:444.3Kapplication/x-gzip
agda-stdlib_0.7-2.dsc2013-May-28 01:33:442.0Kapplication/octet-stream
agda-stdlib_0.7-2_all.deb2013-May-28 01:33:5017.3Mapplication/octet-stream
agda-stdlib_0.7.orig.tar.gz2013-Apr-10 20:03:22221.0Kapplication/x-gzip
agda-stdlib_0.8-2.debian.tar.xz2014-Aug-12 18:38:344.4Kapplication/octet-stream
agda-stdlib_0.8-2.dsc2014-Aug-12 18:38:342.0Kapplication/octet-stream
agda-stdlib_0.8-2_all.deb2014-Aug-12 19:08:4222.4Mapplication/octet-stream
agda-stdlib_0.8.orig.tar.gz2014-Aug-05 19:34:18240.3Kapplication/x-gzip
agda-stdlib_0.9-1.debian.tar.xz2015-May-20 19:08:304.4Kapplication/octet-stream
agda-stdlib_0.9-1.dsc2015-May-20 19:08:302.0Kapplication/octet-stream
agda-stdlib_0.9-1_all.deb2015-Jun-05 18:09:0010.5Mapplication/octet-stream
agda-stdlib_0.9.orig.tar.gz2015-May-20 19:08:30243.0Kapplication/x-gzip
agda-stdlib_1.1-1.debian.tar.xz2019-Sep-06 17:48:225.4Kapplication/octet-stream
agda-stdlib_1.1-1.dsc2019-Sep-06 17:48:222.0Kapplication/octet-stream
agda-stdlib_1.1-1_all.deb2019-Sep-06 17:48:2745.1Mapplication/octet-stream
agda-stdlib_1.1.orig.tar.gz2019-Sep-04 15:38:22556.7Kapplication/x-gzip
agda-stdlib_1.3-2.debian.tar.xz2020-Aug-02 07:13:385.5Kapplication/octet-stream
agda-stdlib_1.3-2.dsc2020-Aug-02 07:13:382.0Kapplication/octet-stream
agda-stdlib_1.3-2_all.deb2020-Aug-02 07:43:4269.8Mapplication/octet-stream
agda-stdlib_1.3.orig.tar.gz2020-Aug-02 01:33:38733.8Kapplication/x-gzip
ISPpro Internet KG isppro.de | euserv.de | kos-online.de | keepfree.de