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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.3.0.1.orig.tar.gz 598K2012-Mar-18 12:03
agda_2.3.0.1-1build2.debian.tar.gz 66312012-Apr-21 16:33
agda_2.3.0.1-1build2.dsc 30532012-Apr-21 16:33
libghc-agda-doc_2.3.0.1-1build2_all.deb 2M2012-Apr-21 17:03
agda-mode_2.3.0.1-1build2_all.deb 40K2012-Apr-21 17:03
agda_2.3.0.1-1build2_all.deb 29842012-Apr-21 17:03
libghc-agda-dev_2.3.0.1-1build2_amd64.deb 12M2012-Apr-21 17:03
libghc-agda-dev_2.3.0.1-1build2_i386.deb 12M2012-Apr-21 17:03
agda_2.3.2.2-1.debian.tar.gz 74062013-Nov-06 17:28
agda_2.3.2.2-1.dsc 32832013-Nov-06 17:28
agda_2.3.2.2.orig.tar.gz 2M2013-Nov-06 17:28
agda-bin_2.3.2.2-1_amd64.deb 5M2013-Nov-06 17:28
libghc-agda-dev_2.3.2.2-1_amd64.deb 13M2013-Nov-06 17:28
agda-mode_2.3.2.2-1_all.deb 47K2013-Nov-06 17:28
libghc-agda-doc_2.3.2.2-1_all.deb 2M2013-Nov-06 17:28
agda_2.3.2.2-1_all.deb 29962013-Nov-06 17:28
libghc-agda-dev_2.3.2.2-1_i386.deb 12M2013-Nov-06 17:28
agda-bin_2.3.2.2-1_i386.deb 5M2013-Nov-06 17:28
agda_2.4.2.5.orig.tar.gz 1007K2016-Jan-04 23:25
agda_2.4.2.5-1build1.dsc 38262016-Jan-12 22:30
agda_2.4.2.5-1build1.debian.tar.xz 78482016-Jan-12 22:30
agda-bin_2.4.2.5-1build1_i386.deb 5M2016-Jan-12 22:45
libghc-agda-dev_2.4.2.5-1build1_i386.deb 10M2016-Jan-12 22:45
agda-mode_2.4.2.5-1build1_all.deb 36K2016-Jan-12 22:59
agda-bin_2.4.2.5-1build1_amd64.deb 5M2016-Jan-12 22:59
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 10M2016-Jan-12 22:59
libghc-agda-doc_2.4.2.5-1build1_all.deb 2M2016-Jan-12 22:59
agda_2.4.2.5-1build1_all.deb 29662016-Jan-12 22:59
agda_2.5.2.orig.tar.gz 1M2017-Jul-07 05:08
agda_2.5.2-2build1.dsc 40782017-Jul-15 08:58
agda_2.5.2-2build1.debian.tar.xz 90762017-Jul-15 08:58
agda_2.5.2-2build1_all.deb 29622017-Jul-15 12:08
libghc-agda-doc_2.5.2-2build1_all.deb 3M2017-Jul-15 12:08
agda-bin_2.5.2-2build1_amd64.deb 5M2017-Jul-15 12:08
agda-mode_2.5.2-2build1_all.deb 41102017-Jul-15 12:08
elpa-agda2-mode_2.5.2-2build1_all.deb 40K2017-Jul-15 12:08
libghc-agda-dev_2.5.2-2build1_amd64.deb 13M2017-Jul-15 12:08
agda-bin_2.5.2-2build1_i386.deb 5M2017-Jul-15 12:08
libghc-agda-dev_2.5.2-2build1_i386.deb 13M2017-Jul-15 12:08
agda_2.5.3.orig.tar.gz 1M2017-Nov-01 13:05
agda_2.5.3-3build1.debian.tar.xz 98002017-Nov-25 19:15
agda_2.5.3-3build1.dsc 45722017-Nov-25 19:15
agda-bin_2.5.3-3build1_amd64.deb 5M2017-Nov-25 20:09
libghc-agda-doc_2.5.3-3build1_all.deb 3M2017-Nov-25 20:09
agda-mode_2.5.3-3build1_all.deb 35842017-Nov-25 20:09
agda_2.5.3-3build1_all.deb 30522017-Nov-25 20:09
elpa-agda2-mode_2.5.3-3build1_all.deb 40K2017-Nov-25 20:09
libghc-agda-dev_2.5.3-3build1_amd64.deb 15M2017-Nov-25 20:09
agda-bin_2.5.3-3build1_i386.deb 5M2017-Nov-25 20:09
libghc-agda-dev_2.5.3-3build1_i386.deb 15M2017-Nov-25 20:09