Directory listing of /ubuntu/pool/universe/a/agda/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
elpa-agda2-mode_2.6.1-1build2.1_all.deb45.1 KiB2021-Sep-16 10:28
libghc-agda-doc_2.6.1-1build2.1_all.deb5.2 MiB2021-Sep-16 10:28
agda_2.6.1-1build2.1_all.deb4.0 KiB2021-Sep-16 10:28
libghc-agda-dev_2.6.1-1build2.1_amd64.deb38.4 MiB2021-Sep-16 10:28
agda-bin_2.6.1-1build2.1_amd64.deb9.1 MiB2021-Sep-16 10:28
agda-mode_2.6.0.1-1build4_all.deb3.6 KiB2020-Feb-08 15:19
libghc-agda-dev_2.6.0.1-1build4_amd64.deb18.8 MiB2020-Feb-08 15:19
agda-bin_2.6.0.1-1build4_amd64.deb6.3 MiB2020-Feb-08 15:19
agda_2.6.0.1-1build4_all.deb4.0 KiB2020-Feb-08 15:19
elpa-agda2-mode_2.6.0.1-1build4_all.deb40.2 KiB2020-Feb-08 15:19
libghc-agda-doc_2.6.0.1-1build4_all.deb4.0 MiB2020-Feb-08 15:19
elpa-agda2-mode_2.5.3-3build1_all.deb39.9 KiB2017-Nov-25 22:09
libghc-agda-dev_2.5.3-3build1_amd64.deb15.1 MiB2017-Nov-25 22:09
agda_2.5.3-3build1_all.deb3.0 KiB2017-Nov-25 22:09
agda-mode_2.5.3-3build1_all.deb3.5 KiB2017-Nov-25 22:09
agda-bin_2.5.3-3build1_amd64.deb5.5 MiB2017-Nov-25 22:09
libghc-agda-doc_2.5.3-3build1_all.deb2.6 MiB2017-Nov-25 22:09
agda_2.4.2.5-1build1_all.deb2.9 KiB2016-Jan-13 00:59
agda-bin_2.4.2.5-1build1_amd64.deb4.6 MiB2016-Jan-13 00:59
libghc-agda-dev_2.4.2.5-1build1_amd64.deb10.2 MiB2016-Jan-13 00:59
libghc-agda-doc_2.4.2.5-1build1_all.deb2.1 MiB2016-Jan-13 00:59
agda-mode_2.4.2.5-1build1_all.deb36.4 KiB2016-Jan-13 00:59