ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /raspbian/raspbian/pool/main/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-mode_2.5.4.1-3_all.deb 115K21-Oct-2018 01:57
agda_2.5.4.1-3.debian.tar.xz 992821-Oct-2018 00:41
agda_2.5.4.1-3.dsc 387021-Oct-2018 00:41
agda_2.5.4.1-3_all.deb 115K21-Oct-2018 01:57
agda_2.5.4.1.orig.tar.gz 2M30-Sep-2018 14:54
agda_2.6.1-1.debian.tar.xz 10K29-Jul-2020 19:40
agda_2.6.1-1.dsc 418629-Jul-2020 19:40
agda_2.6.1-1_all.deb 28K29-Jul-2020 20:40
agda_2.6.1.orig.tar.gz 3M29-Jul-2020 19:40
agda_2.6.2.2-1.1.debian.tar.xz 10K06-Dec-2022 20:40
agda_2.6.2.2-1.1.dsc 442606-Dec-2022 20:40
agda_2.6.2.2-1.1_all.deb 12K06-Dec-2022 21:41
agda_2.6.2.2.orig.tar.gz 2M06-Aug-2022 21:04
agda_2.6.3-1.debian.tar.xz 11K13-Oct-2023 19:34
agda_2.6.3-1.dsc 494413-Oct-2023 19:34
agda_2.6.3-1_all.deb 20K13-Oct-2023 20:30
agda_2.6.3.orig.tar.gz 2M13-Oct-2023 19:34
elpa-agda2-mode_2.5.4.1-3_all.deb 152K21-Oct-2018 01:57
elpa-agda2-mode_2.6.1-1_all.deb 65K29-Jul-2020 20:40
elpa-agda2-mode_2.6.2.2-1.1_all.deb 50K06-Dec-2022 21:41
elpa-agda2-mode_2.6.3-1_all.deb 58K13-Oct-2023 20:30
libghc-agda-doc_2.5.4.1-3_all.deb 4M21-Oct-2018 01:57
libghc-agda-doc_2.6.1-1_all.deb 6M29-Jul-2020 20:40
libghc-agda-doc_2.6.2.2-1.1_all.deb 6M06-Dec-2022 21:41
libghc-agda-doc_2.6.3-1_all.deb 7M13-Oct-2023 20:30