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

File NameFile SizeDate
Parent directory/--
agda-stdlib-doc_0.11-1_all.deb 1M05-Jan-2016 01:20
agda-stdlib-doc_0.14-1_all.deb 1M26-Nov-2017 18:04
agda-stdlib-doc_0.7-2_all.deb 2M27-May-2013 23:33
agda-stdlib-doc_1.1-1_all.deb 2M06-Sep-2019 15:48
agda-stdlib-doc_1.3-2_all.deb 2M02-Aug-2020 05:43
agda-stdlib-doc_1.7.3-1_all.deb 3M10-Nov-2023 23:50
agda-stdlib-doc_2.1-4_all.deb 3M26-Nov-2024 00:17
agda-stdlib_0.11-1.debian.tar.xz 460004-Jan-2016 23:25
agda-stdlib_0.11-1.dsc 210504-Jan-2016 23:25
agda-stdlib_0.11-1_all.deb 17M05-Jan-2016 01:20
agda-stdlib_0.11.orig.tar.gz 247K04-Jan-2016 23:25
agda-stdlib_0.14-1.debian.tar.xz 518826-Nov-2017 17:08
agda-stdlib_0.14-1.dsc 210026-Nov-2017 17:08
agda-stdlib_0.14-1_all.deb 17M26-Nov-2017 18:04
agda-stdlib_0.14.orig.tar.gz 279K26-Nov-2017 11:14
agda-stdlib_0.7-2.debian.tar.gz 445527-May-2013 23:33
agda-stdlib_0.7-2.dsc 207727-May-2013 23:33
agda-stdlib_0.7-2_all.deb 17M27-May-2013 23:33
agda-stdlib_0.7.orig.tar.gz 221K10-Apr-2013 18:03
agda-stdlib_1.1-1.debian.tar.xz 552806-Sep-2019 15:48
agda-stdlib_1.1-1.dsc 211706-Sep-2019 15:48
agda-stdlib_1.1-1_all.deb 45M06-Sep-2019 15:48
agda-stdlib_1.1.orig.tar.gz 557K04-Sep-2019 13:38
agda-stdlib_1.3-2.debian.tar.xz 564002-Aug-2020 05:13
agda-stdlib_1.3-2.dsc 211302-Aug-2020 05:13
agda-stdlib_1.3-2_all.deb 70M02-Aug-2020 05:43
agda-stdlib_1.3.orig.tar.gz 734K01-Aug-2020 23:33
agda-stdlib_1.7.3-1.debian.tar.xz 573204-Nov-2023 18:15
agda-stdlib_1.7.3-1.dsc 215704-Nov-2023 18:15
agda-stdlib_1.7.3-1_all.deb 115M10-Nov-2023 23:50
agda-stdlib_1.7.3.orig.tar.gz 920K04-Nov-2023 18:15
agda-stdlib_2.1-4.debian.tar.xz 606026-Nov-2024 00:17
agda-stdlib_2.1-4.dsc 222426-Nov-2024 00:17
agda-stdlib_2.1-4_all.deb 140M26-Nov-2024 00:17
agda-stdlib_2.1.orig.tar.gz 1M31-Oct-2024 17:16