Triple - Together we Inspire
/archive/pool/universe/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libghc-agda-doc_2.6.4.3-1_all.deb 66905842024-Oct-25 21:15
libghc-agda-dev_2.6.4.3-1_amd64.deb 241655862024-Oct-25 21:15
elpa-agda2-mode_2.6.4.3-1_all.deb 463342024-Oct-25 21:15
agda_2.6.4.3-1_all.deb 37362024-Oct-25 21:15
agda-bin_2.6.4.3-1_amd64.deb 105406522024-Oct-25 21:15
elpa-agda2-mode_2.6.3-2_all.deb 463042024-Sep-07 06:18
agda_2.6.3-2_all.deb 37242024-Sep-07 06:18
libghc-agda-dev_2.6.3-2_amd64.deb 251965722024-Sep-07 06:18
agda-bin_2.6.3-2_amd64.deb 109350042024-Sep-07 06:18
libghc-agda-doc_2.6.3-2_all.deb 62260402024-Sep-07 06:18
libghc-agda-doc_2.6.3-1build1_all.deb 62888762023-Nov-10 20:19
elpa-agda2-mode_2.6.3-1build1_all.deb 462502023-Nov-10 20:19
agda_2.6.3-1build1_all.deb 37582023-Nov-10 20:19
libghc-agda-dev_2.6.3-1build1_amd64.deb 254851962023-Nov-10 20:19
agda-bin_2.6.3-1build1_amd64.deb 109855502023-Nov-10 20:19
libghc-agda-doc_2.6.1-1build2.1_all.deb 54033122021-Sep-16 08:28
elpa-agda2-mode_2.6.1-1build2.1_all.deb 461742021-Sep-16 08:28
libghc-agda-dev_2.6.1-1build2.1_amd64.deb 402557742021-Sep-16 08:28
agda-bin_2.6.1-1build2.1_amd64.deb 95413842021-Sep-16 08:28
agda_2.6.1-1build2.1_all.deb 41342021-Sep-16 08:28
agda-mode_2.6.0.1-1build4_all.deb 36442020-Feb-08 13:19
agda-bin_2.6.0.1-1build4_amd64.deb 65718522020-Feb-08 13:19
libghc-agda-dev_2.6.0.1-1build4_amd64.deb 196818642020-Feb-08 13:19
elpa-agda2-mode_2.6.0.1-1build4_all.deb 411802020-Feb-08 13:19
agda_2.6.0.1-1build4_all.deb 40562020-Feb-08 13:19
libghc-agda-doc_2.6.0.1-1build4_all.deb 42069402020-Feb-08 13:19
libghc-agda-dev_2.5.3-3build1_i386.deb 155877042017-Nov-25 20:09
agda-bin_2.5.3-3build1_i386.deb 57355762017-Nov-25 20:09
agda-mode_2.5.3-3build1_all.deb 35842017-Nov-25 20:09
elpa-agda2-mode_2.5.3-3build1_all.deb 408522017-Nov-25 20:09
libghc-agda-dev_2.5.3-3build1_amd64.deb 158744282017-Nov-25 20:09
agda_2.5.3-3build1_all.deb 30522017-Nov-25 20:09
agda-bin_2.5.3-3build1_amd64.deb 57280802017-Nov-25 20:09
libghc-agda-doc_2.5.3-3build1_all.deb 27521842017-Nov-25 20:09
agda_2.4.2.5-1build1_all.deb 29662016-Jan-12 22:59
libghc-agda-doc_2.4.2.5-1build1_all.deb 21844222016-Jan-12 22:59
libghc-agda-dev_2.4.2.5-1build1_amd64.deb 106703462016-Jan-12 22:59
agda-bin_2.4.2.5-1build1_amd64.deb 48036162016-Jan-12 22:59
agda-mode_2.4.2.5-1build1_all.deb 372722016-Jan-12 22:59
agda-bin_2.4.2.5-1build1_i386.deb 47840822016-Jan-12 22:45
libghc-agda-dev_2.4.2.5-1build1_i386.deb 105382222016-Jan-12 22:45
agda-bin_2.3.2.2-1_i386.deb 50947222013-Nov-06 17:28
libghc-agda-dev_2.3.2.2-1_i386.deb 129065402013-Nov-06 17:28
agda_2.3.2.2-1_all.deb 29962013-Nov-06 17:28
agda-mode_2.3.2.2-1_all.deb 480802013-Nov-06 17:28
libghc-agda-doc_2.3.2.2-1_all.deb 21863062013-Nov-06 17:28
libghc-agda-dev_2.3.2.2-1_amd64.deb 135866722013-Nov-06 17:28
agda-bin_2.3.2.2-1_amd64.deb 54763282013-Nov-06 17:28