Openlandscape

Name	Last modified	Size
Parent Directory
agda-bin_2.3.2.2-1_amd64.deb	2013-11-07 01:28	5476 KB
agda-bin_2.3.2.2-1_i386.deb	2013-11-07 01:28	5094 KB
agda-bin_2.4.2.5-1build1_amd64.deb	2016-01-13 05:59	4803 KB
agda-bin_2.4.2.5-1build1_i386.deb	2016-01-13 05:45	4784 KB
agda-bin_2.5.3-3build1_amd64.deb	2017-11-26 03:09	5728 KB
agda-bin_2.5.3-3build1_i386.deb	2017-11-26 03:09	5735 KB
agda-bin_2.6.0.1-1build4_amd64.deb	2020-02-08 20:19	6571 KB
agda-bin_2.6.1-1build2.1_amd64.deb	2021-09-16 15:28	9541 KB
agda-bin_2.6.2.2-1.1build1_amd64.deb	2022-12-12 17:59	8345 KB
agda-bin_2.6.3-1build1_amd64.deb	2023-11-11 03:19	10985 KB
agda-bin_2.6.3-2_amd64.deb	2024-09-07 13:18	10935 KB
agda-mode_2.3.2.2-1_all.deb	2013-11-07 01:28	48 KB
agda-mode_2.4.2.5-1build1_all.deb	2016-01-13 05:59	37 KB
agda-mode_2.5.3-3build1_all.deb	2017-11-26 03:09	3 KB
agda-mode_2.6.0.1-1build4_all.deb	2020-02-08 20:19	3 KB
agda_2.3.2.2-1.debian.tar.gz	2013-11-07 01:28	7 KB
agda_2.3.2.2-1.dsc	2013-11-07 01:28	3 KB
agda_2.3.2.2-1_all.deb	2013-11-07 01:28	2 KB
agda_2.3.2.2.orig.tar.gz	2013-11-07 01:28	2034 KB
agda_2.4.2.5-1build1.debian.tar.xz	2016-01-13 05:30	7 KB
agda_2.4.2.5-1build1.dsc	2016-01-13 05:30	3 KB
agda_2.4.2.5-1build1_all.deb	2016-01-13 05:59	2 KB
agda_2.4.2.5.orig.tar.gz	2016-01-05 06:25	1031 KB
agda_2.5.3-3build1.debian.tar.xz	2017-11-26 02:15	9 KB
agda_2.5.3-3build1.dsc	2017-11-26 02:15	4 KB
agda_2.5.3-3build1_all.deb	2017-11-26 03:09	3 KB
agda_2.5.3.orig.tar.gz	2017-11-01 20:05	1201 KB
agda_2.6.0.1-1build4.debian.tar.xz	2020-02-08 18:38	10 KB
agda_2.6.0.1-1build4.dsc	2020-02-08 18:38	4 KB
agda_2.6.0.1-1build4_all.deb	2020-02-08 20:19	4 KB
agda_2.6.0.1.orig.tar.gz	2019-09-01 19:43	2372 KB
agda_2.6.1-1build2.1.debian.tar.xz	2021-09-16 14:39	10 KB
agda_2.6.1-1build2.1.dsc	2021-09-16 14:39	4 KB
agda_2.6.1-1build2.1_all.deb	2021-09-16 15:28	4 KB
agda_2.6.1.orig.tar.gz	2020-07-30 06:19	2646 KB
agda_2.6.2.2-1.1build1.debian.tar.xz	2022-12-12 17:29	10 KB
agda_2.6.2.2-1.1build1.dsc	2022-12-12 17:29	4 KB
agda_2.6.2.2-1.1build1_all.deb	2022-12-12 17:59	3 KB
agda_2.6.2.2.orig.tar.gz	2022-08-07 06:19	1690 KB
agda_2.6.3-1build1.debian.tar.xz	2023-11-08 16:36	11 KB
agda_2.6.3-1build1.dsc	2023-11-08 16:36	4 KB
agda_2.6.3-1build1_all.deb	2023-11-11 03:19	3 KB
agda_2.6.3-2.debian.tar.xz	2024-09-07 13:18	11 KB
agda_2.6.3-2.dsc	2024-09-07 13:18	4 KB
agda_2.6.3-2_all.deb	2024-09-07 13:18	3 KB
agda_2.6.3.orig.tar.gz	2023-10-26 22:43	1794 KB
elpa-agda2-mode_2.5.3-3build1_all.deb	2017-11-26 03:09	40 KB
elpa-agda2-mode_2.6.0.1-1build4_all.deb	2020-02-08 20:19	41 KB
elpa-agda2-mode_2.6.1-1build2.1_all.deb	2021-09-16 15:28	46 KB
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb	2022-12-12 17:59	45 KB
elpa-agda2-mode_2.6.3-1build1_all.deb	2023-11-11 03:19	46 KB
elpa-agda2-mode_2.6.3-2_all.deb	2024-09-07 13:18	46 KB
libghc-agda-dev_2.3.2.2-1_amd64.deb	2013-11-07 01:28	13586 KB
libghc-agda-dev_2.3.2.2-1_i386.deb	2013-11-07 01:28	12906 KB
libghc-agda-dev_2.4.2.5-1build1_amd64.deb	2016-01-13 05:59	10670 KB
libghc-agda-dev_2.4.2.5-1build1_i386.deb	2016-01-13 05:45	10538 KB
libghc-agda-dev_2.5.3-3build1_amd64.deb	2017-11-26 03:09	15874 KB
libghc-agda-dev_2.5.3-3build1_i386.deb	2017-11-26 03:09	15587 KB
libghc-agda-dev_2.6.0.1-1build4_amd64.deb	2020-02-08 20:19	19681 KB
libghc-agda-dev_2.6.1-1build2.1_amd64.deb	2021-09-16 15:28	40255 KB
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb	2022-12-12 17:59	26726 KB
libghc-agda-dev_2.6.3-1build1_amd64.deb	2023-11-11 03:19	25485 KB
libghc-agda-dev_2.6.3-2_amd64.deb	2024-09-07 13:18	25196 KB
libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-07 01:28	2186 KB
libghc-agda-doc_2.4.2.5-1build1_all.deb	2016-01-13 05:59	2184 KB
libghc-agda-doc_2.5.3-3build1_all.deb	2017-11-26 03:09	2752 KB
libghc-agda-doc_2.6.0.1-1build4_all.deb	2020-02-08 20:19	4206 KB
libghc-agda-doc_2.6.1-1build2.1_all.deb	2021-09-16 15:28	5403 KB
libghc-agda-doc_2.6.2.2-1.1build1_all.deb	2022-12-12 17:59	5991 KB
libghc-agda-doc_2.6.3-1build1_all.deb	2023-11-11 03:19	6288 KB
libghc-agda-doc_2.6.3-2_all.deb	2024-09-07 13:18	6226 KB