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

NameLast ModifiedSizeType
../ -  Directory
agda-stdlib-doc_0.11-1_all.deb2016-Jan-04 20:20:131.2Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.14-1_all.deb2017-Nov-26 13:04:451.0Mapplication/vnd.debian.binary-package
agda-stdlib-doc_0.7-2_all.deb2013-May-27 19:33:481.6Mapplication/vnd.debian.binary-package
agda-stdlib-doc_1.1-1_all.deb2019-Sep-06 11:48:271.8Mapplication/vnd.debian.binary-package
agda-stdlib-doc_1.3-2_all.deb2020-Aug-02 01:43:412.3Mapplication/vnd.debian.binary-package
agda-stdlib-doc_1.7.1-1_all.deb2022-Aug-26 15:09:392.8Mapplication/vnd.debian.binary-package
agda-stdlib-doc_1.7.3-1_all.deb2023-Nov-10 18:50:082.8Mapplication/vnd.debian.binary-package
agda-stdlib_0.11-1.debian.tar.xz2016-Jan-04 18:25:054.5Kapplication/x-xz
agda-stdlib_0.11-1.dsc2016-Jan-04 18:25:052.0Kapplication/octet-stream
agda-stdlib_0.11-1_all.deb2016-Jan-04 20:20:1216.7Mapplication/vnd.debian.binary-package
agda-stdlib_0.11.orig.tar.gz2016-Jan-04 18:25:05247.3Kapplication/x-gtar-compressed
agda-stdlib_0.14-1.debian.tar.xz2017-Nov-26 12:08:385.0Kapplication/x-xz
agda-stdlib_0.14-1.dsc2017-Nov-26 12:08:382.0Kapplication/octet-stream
agda-stdlib_0.14-1_all.deb2017-Nov-26 13:04:4617.3Mapplication/vnd.debian.binary-package
agda-stdlib_0.14.orig.tar.gz2017-Nov-26 06:14:14278.7Kapplication/x-gtar-compressed
agda-stdlib_0.7-2.debian.tar.gz2013-May-27 19:33:444.3Kapplication/x-gtar-compressed
agda-stdlib_0.7-2.dsc2013-May-27 19:33:442.0Kapplication/octet-stream
agda-stdlib_0.7-2_all.deb2013-May-27 19:33:5017.3Mapplication/vnd.debian.binary-package
agda-stdlib_0.7.orig.tar.gz2013-Apr-10 14:03:22221.0Kapplication/x-gtar-compressed
agda-stdlib_1.1-1.debian.tar.xz2019-Sep-06 11:48:225.4Kapplication/x-xz
agda-stdlib_1.1-1.dsc2019-Sep-06 11:48:222.0Kapplication/octet-stream
agda-stdlib_1.1-1_all.deb2019-Sep-06 11:48:2745.1Mapplication/vnd.debian.binary-package
agda-stdlib_1.1.orig.tar.gz2019-Sep-04 09:38:22556.7Kapplication/x-gtar-compressed
agda-stdlib_1.3-2.debian.tar.xz2020-Aug-02 01:13:385.5Kapplication/x-xz
agda-stdlib_1.3-2.dsc2020-Aug-02 01:13:382.0Kapplication/octet-stream
agda-stdlib_1.3-2_all.deb2020-Aug-02 01:43:4269.8Mapplication/vnd.debian.binary-package
agda-stdlib_1.3.orig.tar.gz2020-Aug-01 19:33:38733.8Kapplication/x-gtar-compressed
agda-stdlib_1.7.1-1.debian.tar.xz2022-Aug-06 19:19:175.5Kapplication/x-xz
agda-stdlib_1.7.1-1.dsc2022-Aug-06 19:19:172.1Kapplication/octet-stream
agda-stdlib_1.7.1-1_all.deb2022-Aug-26 15:09:3997.9Mapplication/vnd.debian.binary-package
agda-stdlib_1.7.1.orig.tar.gz2022-Aug-06 19:19:17918.0Kapplication/x-gtar-compressed
agda-stdlib_1.7.3-1.debian.tar.xz2023-Nov-04 14:15:535.6Kapplication/x-xz
agda-stdlib_1.7.3-1.dsc2023-Nov-04 14:15:532.1Kapplication/octet-stream
agda-stdlib_1.7.3-1_all.deb2023-Nov-10 18:50:08114.9Mapplication/vnd.debian.binary-package
agda-stdlib_1.7.3.orig.tar.gz2023-Nov-04 14:15:53920.0Kapplication/x-gtar-compressed
lighttpd/1.4.53