[NLUUG]

Welcome to ftp.nluug.nl

The large public mirror server for open source projects hosted by NLUUG and Surfnet

/ftp/pub/os/Linux/distr/deepin/pool/main/a/agda/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda_2.5.4.1-3_all.deb115.3 KiB2022-Apr-11 02:58
agda-bin_2.5.4.1-3+b1_i386.deb5.7 MiB2022-Apr-11 03:00
elpa-agda2-mode_2.5.4.1-3_all.deb151.8 KiB2022-Apr-11 03:04
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb16.4 MiB2022-Apr-11 03:15
agda_2.5.4.1.orig.tar.gz1.9 MiB2022-Apr-11 03:17
agda_2.5.4.1-3.dsc3.8 KiB2022-Apr-11 03:17
agda_2.5.4.1-3.debian.tar.xz9.7 KiB2022-Apr-11 03:17
libghc-agda-dev_2.5.4.1-3+b1_i386.deb16.0 MiB2022-Apr-11 03:18
agda-mode_2.5.4.1-3_all.deb114.9 KiB2022-Apr-11 03:27
libghc-agda-doc_2.5.4.1-3_all.deb3.6 MiB2022-Apr-11 03:33
agda-bin_2.5.4.1-3+b1_amd64.deb5.6 MiB2022-Apr-11 03:38

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!