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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libghc-agda-dev_2.6.0.1-1build2_amd64.deb 196896442019-Sep-03 06:23
libghc-agda-dev_2.6.0.1-1build2_i386.deb 193901002019-Sep-03 06:23
libghc-agda-dev_2.5.4.1-3_amd64.deb 170448042018-Dec-14 10:58
libghc-agda-dev_2.5.4.1-3_i386.deb 166879722018-Dec-14 10:38
libghc-agda-dev_2.5.3-5build3_amd64.deb 161334442018-Jul-05 08:58
libghc-agda-dev_2.5.3-3build1_amd64.deb 158744282017-Nov-25 20:09
libghc-agda-dev_2.5.3-5build3_i386.deb 157075002018-Jul-05 08:48
libghc-agda-dev_2.5.3-3build1_i386.deb 155877042017-Nov-25 20:09
libghc-agda-dev_2.3.2.2-1_amd64.deb 135866722013-Nov-06 17:28
libghc-agda-dev_2.3.0.1-1build2_amd64.deb 130341962012-Apr-21 17:03
libghc-agda-dev_2.3.2.2-1_i386.deb 129065402013-Nov-06 17:28
libghc-agda-dev_2.3.0.1-1build2_i386.deb 123906882012-Apr-21 17:03
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 106703462016-Jan-12 22:59
libghc-agda-dev_2.4.2.5-1build1_i386.deb 105382222016-Jan-12 22:45
agda-bin_2.6.0.1-1build2_i386.deb 66430522019-Sep-03 06:23
agda-bin_2.6.0.1-1build2_amd64.deb 65763122019-Sep-03 06:23
agda-bin_2.5.3-5build3_i386.deb 58552762018-Jul-05 08:48
agda-bin_2.5.4.1-3_i386.deb 58343322018-Dec-14 10:38
agda-bin_2.5.4.1-3_amd64.deb 57536882018-Dec-14 10:58
agda-bin_2.5.3-5build3_amd64.deb 57521762018-Jul-05 08:58
agda-bin_2.5.3-3build1_i386.deb 57355762017-Nov-25 20:09
agda-bin_2.5.3-3build1_amd64.deb 57280802017-Nov-25 20:09
agda-bin_2.3.2.2-1_amd64.deb 54763282013-Nov-06 17:28
agda-bin_2.3.2.2-1_i386.deb 50947222013-Nov-06 17:28
agda-bin_2.4.2.5-1build1_amd64.deb 48036162016-Jan-12 22:59
agda-bin_2.4.2.5-1build1_i386.deb 47840822016-Jan-12 22:45
libghc-agda-doc_2.6.0.1-1build2_all.deb 42071882019-Sep-03 06:23
libghc-agda-doc_2.5.4.1-3_all.deb 36671242018-Dec-14 10:58
libghc-agda-doc_2.5.3-3build1_all.deb 27521842017-Nov-25 20:09
libghc-agda-doc_2.5.3-5build3_all.deb 26472882018-Jul-05 08:58
agda_2.6.0.1.orig.tar.gz 23721062019-Sep-01 12:43
libghc-agda-doc_2.3.2.2-1_all.deb 21863062013-Nov-06 17:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 21844222016-Jan-12 22:59
agda_2.3.2.2.orig.tar.gz 20349342013-Nov-06 17:28
agda_2.5.4.1.orig.tar.gz 19892012018-Dec-14 10:18
libghc-agda-doc_2.3.0.1-1build2_all.deb 16870422012-Apr-21 17:03
agda_2.5.3.orig.tar.gz 12013442017-Nov-01 13:05
agda_2.4.2.5.orig.tar.gz 10314272016-Jan-04 23:25
agda_2.3.0.1.orig.tar.gz 6123422012-Mar-18 12:03
agda-mode_2.3.2.2-1_all.deb 480802013-Nov-06 17:28
elpa-agda2-mode_2.6.0.1-1build2_all.deb 418242019-Sep-03 06:23
elpa-agda2-mode_2.5.4.1-3_all.deb 414282018-Dec-14 10:58
elpa-agda2-mode_2.5.3-5build3_all.deb 408802018-Jul-05 08:58
elpa-agda2-mode_2.5.3-3build1_all.deb 408522017-Nov-25 20:09
agda-mode_2.3.0.1-1build2_all.deb 408302012-Apr-21 17:03
agda-mode_2.4.2.5-1build1_all.deb 372722016-Jan-12 22:59
agda_2.6.0.1-1build2.debian.tar.xz 101402019-Sep-03 05:53
agda_2.5.3-5build3.debian.tar.xz 101282018-Jul-05 07:48
agda_2.5.4.1-3.debian.tar.xz 99282018-Dec-14 10:18
agda_2.5.3-3build1.debian.tar.xz 98002017-Nov-25 19:15
agda_2.4.2.5-1build1.debian.tar.xz 78482016-Jan-12 22:30
agda_2.3.2.2-1.debian.tar.gz 74062013-Nov-06 17:28
agda_2.3.0.1-1build2.debian.tar.gz 66312012-Apr-21 16:33
agda_2.5.3-3build1.dsc 45722017-Nov-25 19:15
agda_2.5.3-5build3.dsc 45132018-Jul-05 07:48
agda_2.6.0.1-1build2.dsc 43052019-Sep-03 05:53
agda_2.5.4.1-3_all.deb 41162018-Dec-14 10:58
agda_2.6.0.1-1build2_all.deb 40802019-Sep-03 06:23
agda_2.5.4.1-3.dsc 38702018-Dec-14 10:18
agda_2.4.2.5-1build1.dsc 38262016-Jan-12 22:30
agda-mode_2.5.4.1-3_all.deb 37002018-Dec-14 10:58
agda-mode_2.6.0.1-1build2_all.deb 36642019-Sep-03 06:23
agda-mode_2.5.3-3build1_all.deb 35842017-Nov-25 20:09
agda-mode_2.5.3-5build3_all.deb 35722018-Jul-05 08:58
agda_2.3.2.2-1.dsc 32832013-Nov-06 17:28
agda_2.3.0.1-1build2.dsc 30532012-Apr-21 16:33
agda_2.5.3-5build3_all.deb 30522018-Jul-05 08:58
agda_2.5.3-3build1_all.deb 30522017-Nov-25 20:09
agda_2.3.2.2-1_all.deb 29962013-Nov-06 17:28
agda_2.3.0.1-1build2_all.deb 29842012-Apr-21 17:03
agda_2.4.2.5-1build1_all.deb 29662016-Jan-12 22:59