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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.8.0-2maysync1_all.deb 28902026-Oct-06 05:32
agda_2.8.0-2build1_all.deb 28922026-Mar-02 04:50
agda_2.4.2.5-1build1_all.deb 29662016-Jan-13 07:59
agda_2.3.2.2-1_all.deb 29962013-Nov-07 02:28
agda_2.5.3-3build1_all.deb 30522017-Nov-26 05:09
agda_2.3.2.2-1.dsc 32832013-Nov-07 02:28
agda-mode_2.5.3-3build1_all.deb 35842017-Nov-26 05:09
agda-mode_2.6.0.1-1build4_all.deb 36442020-Feb-08 22:19
agda_2.6.4.3-1_all.deb 37362024-Oct-26 06:15
agda_2.6.3-1build1_all.deb 37582023-Nov-11 05:19
agda_2.4.2.5-1build1.dsc 38262016-Jan-13 07:30
agda_2.6.0.1-1build4_all.deb 40562020-Feb-08 22:19
agda_2.6.1-1build2.1_all.deb 41342021-Sep-16 17:28
agda_2.6.1-1build2.1.dsc 42932021-Sep-16 16:39
agda_2.6.0.1-1build4.dsc 42932020-Feb-08 20:38
agda_2.5.3-3build1.dsc 45722017-Nov-26 04:15
agda_2.6.3-1build1.dsc 49392023-Nov-08 18:36
agda_2.6.4.3-1.dsc 51972024-Oct-26 04:11
agda_2.8.0-2build1.dsc 59342026-Mar-02 04:49
agda_2.8.0-2maysync1.dsc 60462026-Oct-06 05:32
agda_2.3.2.2-1.debian.tar.gz 74062013-Nov-07 02:28
agda_2.4.2.5-1build1.debian.tar.xz 78482016-Jan-13 07:30
agda_2.5.3-3build1.debian.tar.xz 98002017-Nov-26 04:15
agda_2.6.0.1-1build4.debian.tar.xz 102202020-Feb-08 20:38
agda_2.6.1-1build2.1.debian.tar.xz 102322021-Sep-16 16:39
agda_2.6.4.3-1.debian.tar.xz 104602024-Oct-26 04:11
agda_2.8.0-2build1.debian.tar.xz 106762026-Mar-02 04:49
agda_2.8.0-2maysync1.debian.tar.xz 107682026-Oct-06 05:32
agda_2.6.3-1build1.debian.tar.xz 116282023-Nov-08 18:36
agda-mode_2.4.2.5-1build1_all.deb 372722016-Jan-13 07:59
elpa-agda2-mode_2.5.3-3build1_all.deb 408522017-Nov-26 05:09
elpa-agda2-mode_2.6.0.1-1build4_all.deb 411802020-Feb-08 22:19
elpa-agda2-mode_2.6.1-1build2.1_all.deb 461742021-Sep-16 17:28
elpa-agda2-mode_2.6.3-1build1_all.deb 462502023-Nov-11 05:19
elpa-agda2-mode_2.6.4.3-1_all.deb 463342024-Oct-26 06:15
elpa-agda2-mode_2.8.0-2maysync1_all.deb 475282026-Oct-06 05:32
elpa-agda2-mode_2.8.0-2build1_all.deb 476922026-Mar-02 04:50
agda-mode_2.3.2.2-1_all.deb 480802013-Nov-07 02:28
agda_2.4.2.5.orig.tar.gz 10314272016-Jan-05 08:25
agda_2.5.3.orig.tar.gz 12013442017-Nov-01 22:05
agda_2.6.3.orig.tar.gz 17942692023-Oct-27 00:43
agda_2.6.4.3.orig.tar.gz 18694612024-Oct-26 04:11
agda_2.8.0.orig.tar.gz 19519972026-Feb-15 15:16
agda_2.3.2.2.orig.tar.gz 20349342013-Nov-07 02:28
libghc-agda-doc_2.4.2.5-1build1_all.deb 21844222016-Jan-13 07:59
libghc-agda-doc_2.3.2.2-1_all.deb 21863062013-Nov-07 02:28
agda_2.6.0.1.orig.tar.gz 23721062019-Sep-01 21:43
agda_2.6.1.orig.tar.gz 26462892020-Jul-30 08:19
libghc-agda-doc_2.5.3-3build1_all.deb 27521842017-Nov-26 05:09
libghc-agda-doc_2.6.0.1-1build4_all.deb 42069402020-Feb-08 22:19
agda-bin_2.4.2.5-1build1_i386.deb 47840822016-Jan-13 07:45
agda-bin_2.4.2.5-1build1_amd64.deb 48036162016-Jan-13 07:59
agda-bin_2.3.2.2-1_i386.deb 50947222013-Nov-07 02:28
libghc-agda-doc_2.6.1-1build2.1_all.deb 54033122021-Sep-16 17:28
agda-bin_2.3.2.2-1_amd64.deb 54763282013-Nov-07 02:28
agda-bin_2.5.3-3build1_amd64.deb 57280802017-Nov-26 05:09
agda-bin_2.5.3-3build1_i386.deb 57355762017-Nov-26 05:09
libghc-agda-doc_2.6.3-1build1_all.deb 62888762023-Nov-11 05:19
agda-bin_2.6.0.1-1build4_amd64.deb 65718522020-Feb-08 22:19
libghc-agda-doc_2.6.4.3-1_all.deb 66905842024-Oct-26 06:15
libghc-agda-doc_2.8.0-2maysync1_all.deb 68005042026-Oct-06 05:32
libghc-agda-doc_2.8.0-2build1_all.deb 68007822026-Mar-02 04:50
agda-bin_2.6.1-1build2.1_amd64.deb 95413842021-Sep-16 17:28
libghc-agda-dev_2.4.2.5-1build1_i386.deb 105382222016-Jan-13 07:45
agda-bin_2.6.4.3-1_amd64.deb 105406522024-Oct-26 06:15
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 106703462016-Jan-13 07:59
agda-bin_2.8.0-2maysync1_amd64v3.deb 109756182026-Oct-06 05:32
agda-bin_2.6.3-1build1_amd64.deb 109855502023-Nov-11 05:19
agda-bin_2.8.0-2build1_amd64v3.deb 109855542026-Mar-02 04:51
agda-bin_2.8.0-2build1_amd64.deb 109868142026-Mar-02 04:50
agda-bin_2.8.0-2maysync1_amd64.deb 109877102026-Oct-06 05:32
agda-bin_2.6.4.3-1_arm64.deb 111615422024-Oct-26 06:15
agda-bin_2.8.0-2maysync1_arm64.deb 116739422026-Oct-06 05:32
agda-bin_2.8.0-2build1_arm64.deb 116744842026-Mar-02 04:52
libghc-agda-dev_2.3.2.2-1_i386.deb 129065402013-Nov-07 02:28
libghc-agda-dev_2.3.2.2-1_amd64.deb 135866722013-Nov-07 02:28
libghc-agda-dev_2.5.3-3build1_i386.deb 155877042017-Nov-26 05:09
libghc-agda-dev_2.5.3-3build1_amd64.deb 158744282017-Nov-26 05:09
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 196818642020-Feb-08 22:19
libghc-agda-dev_2.6.4.3-1_amd64.deb 241655862024-Oct-26 06:15
libghc-agda-dev_2.6.3-1build1_amd64.deb 254851962023-Nov-11 05:19
libghc-agda-dev_2.6.4.3-1_arm64.deb 272750622024-Oct-26 06:15
libghc-agda-dev_2.8.0-2build1_amd64v3.deb 392357662026-Mar-02 04:51
libghc-agda-dev_2.8.0-2build1_amd64.deb 392358402026-Mar-02 04:50
libghc-agda-dev_2.8.0-2maysync1_amd64.deb 392363422026-Oct-06 05:32
libghc-agda-dev_2.8.0-2maysync1_amd64v3.deb 392367902026-Oct-06 05:32
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 402557742021-Sep-16 17:28
libghc-agda-dev_2.8.0-2build1_arm64.deb 435306742026-Mar-02 04:52
libghc-agda-dev_2.8.0-2maysync1_arm64.deb 435425482026-Oct-06 05:32