Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai
NameLast modifiedSize
folder-parentParent Directory
fileagda-bin_2.3.2.2-1_amd64.deb2013-11-06 17:285476 KB
fileagda-bin_2.3.2.2-1_i386.deb2013-11-06 17:285094 KB
fileagda-bin_2.4.2.5-1build1_amd64.deb2016-01-12 22:594803 KB
fileagda-bin_2.4.2.5-1build1_i386.deb2016-01-12 22:454784 KB
fileagda-bin_2.5.3-3build1_amd64.deb2017-11-25 20:095728 KB
fileagda-bin_2.5.3-3build1_i386.deb2017-11-25 20:095735 KB
fileagda-bin_2.6.0.1-1build4_amd64.deb2020-02-08 13:196571 KB
fileagda-bin_2.6.1-1build2.1_amd64.deb2021-09-16 08:289541 KB
fileagda-bin_2.6.2.2-1.1build1_amd64.deb2022-12-12 10:598345 KB
fileagda-bin_2.6.3-1build1_amd64.deb2023-11-10 20:1910985 KB
fileagda-mode_2.3.2.2-1_all.deb2013-11-06 17:2848 KB
fileagda-mode_2.4.2.5-1build1_all.deb2016-01-12 22:5937 KB
fileagda-mode_2.5.3-3build1_all.deb2017-11-25 20:093 KB
fileagda-mode_2.6.0.1-1build4_all.deb2020-02-08 13:193 KB
fileagda_2.3.2.2-1.debian.tar.gz2013-11-06 17:287 KB
fileagda_2.3.2.2-1.dsc2013-11-06 17:283 KB
fileagda_2.3.2.2-1_all.deb2013-11-06 17:282 KB
fileagda_2.3.2.2.orig.tar.gz2013-11-06 17:282034 KB
fileagda_2.4.2.5-1build1.debian.tar.xz2016-01-12 22:307 KB
fileagda_2.4.2.5-1build1.dsc2016-01-12 22:303 KB
fileagda_2.4.2.5-1build1_all.deb2016-01-12 22:592 KB
fileagda_2.4.2.5.orig.tar.gz2016-01-04 23:251031 KB
fileagda_2.5.3-3build1.debian.tar.xz2017-11-25 19:159 KB
fileagda_2.5.3-3build1.dsc2017-11-25 19:154 KB
fileagda_2.5.3-3build1_all.deb2017-11-25 20:093 KB
fileagda_2.5.3.orig.tar.gz2017-11-01 13:051201 KB
fileagda_2.6.0.1-1build4.debian.tar.xz2020-02-08 11:3810 KB
fileagda_2.6.0.1-1build4.dsc2020-02-08 11:384 KB
fileagda_2.6.0.1-1build4_all.deb2020-02-08 13:194 KB
fileagda_2.6.0.1.orig.tar.gz2019-09-01 12:432372 KB
fileagda_2.6.1-1build2.1.debian.tar.xz2021-09-16 07:3910 KB
fileagda_2.6.1-1build2.1.dsc2021-09-16 07:394 KB
fileagda_2.6.1-1build2.1_all.deb2021-09-16 08:284 KB
fileagda_2.6.1.orig.tar.gz2020-07-29 23:192646 KB
fileagda_2.6.2.2-1.1build1.debian.tar.xz2022-12-12 10:2910 KB
fileagda_2.6.2.2-1.1build1.dsc2022-12-12 10:294 KB
fileagda_2.6.2.2-1.1build1_all.deb2022-12-12 10:593 KB
fileagda_2.6.2.2.orig.tar.gz2022-08-06 23:191690 KB
fileagda_2.6.3-1build1.debian.tar.xz2023-11-08 09:3611 KB
fileagda_2.6.3-1build1.dsc2023-11-08 09:364 KB
fileagda_2.6.3-1build1_all.deb2023-11-10 20:193 KB
fileagda_2.6.3.orig.tar.gz2023-10-26 15:431794 KB
fileelpa-agda2-mode_2.5.3-3build1_all.deb2017-11-25 20:0940 KB
fileelpa-agda2-mode_2.6.0.1-1build4_all.deb2020-02-08 13:1941 KB
fileelpa-agda2-mode_2.6.1-1build2.1_all.deb2021-09-16 08:2846 KB
fileelpa-agda2-mode_2.6.2.2-1.1build1_all.deb2022-12-12 10:5945 KB
fileelpa-agda2-mode_2.6.3-1build1_all.deb2023-11-10 20:1946 KB
filelibghc-agda-dev_2.3.2.2-1_amd64.deb2013-11-06 17:2813586 KB
filelibghc-agda-dev_2.3.2.2-1_i386.deb2013-11-06 17:2812906 KB
filelibghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-01-12 22:5910670 KB
filelibghc-agda-dev_2.4.2.5-1build1_i386.deb2016-01-12 22:4510538 KB
filelibghc-agda-dev_2.5.3-3build1_amd64.deb2017-11-25 20:0915874 KB
filelibghc-agda-dev_2.5.3-3build1_i386.deb2017-11-25 20:0915587 KB
filelibghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-02-08 13:1919681 KB
filelibghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-09-16 08:2840255 KB
filelibghc-agda-dev_2.6.2.2-1.1build1_amd64.deb2022-12-12 10:5926726 KB
filelibghc-agda-dev_2.6.3-1build1_amd64.deb2023-11-10 20:1925485 KB
filelibghc-agda-doc_2.3.2.2-1_all.deb2013-11-06 17:282186 KB
filelibghc-agda-doc_2.4.2.5-1build1_all.deb2016-01-12 22:592184 KB
filelibghc-agda-doc_2.5.3-3build1_all.deb2017-11-25 20:092752 KB
filelibghc-agda-doc_2.6.0.1-1build4_all.deb2020-02-08 13:194206 KB
filelibghc-agda-doc_2.6.1-1build2.1_all.deb2021-09-16 08:285403 KB
filelibghc-agda-doc_2.6.2.2-1.1build1_all.deb2022-12-12 10:595991 KB
filelibghc-agda-doc_2.6.3-1build1_all.deb2023-11-10 20:196288 KB