Index of /pureos/repo/pureos/pool/main/a/agda

You're awesome. Have a mirror on us.

We love Linux, privacy, fast and affordable internet access, and working to fulfill our mission of internet freedom for all.

Name	Last modified	Size

Parent Directory		-
agda-bin_2.5.4.1-3+b1_amd64.deb	2018-12-26 08:17	5.6M
agda-bin_2.5.4.1-3+b1_arm64.deb	2018-12-26 08:18	6.5M
agda-bin_2.6.1-1+b2_amd64.deb	2021-02-09 00:44	8.5M
agda-bin_2.6.1-1+b2_arm64.deb	2021-02-09 00:44	9.9M
agda-mode_2.5.4.1-3_all.deb	2018-11-28 20:03	115K
agda_2.5.4.1-3.debian.tar.xz	2018-11-28 19:59	9.7K
agda_2.5.4.1-3.dsc	2018-11-28 19:59	3.8K
agda_2.5.4.1-3_all.deb	2018-11-28 20:03	115K
agda_2.5.4.1.orig.tar.gz	2018-11-28 19:59	1.9M
agda_2.6.1-1.debian.tar.xz	2021-02-09 00:43	9.8K
agda_2.6.1-1.dsc	2021-02-09 00:43	4.1K
agda_2.6.1-1_all.deb	2021-02-09 00:44	28K
agda_2.6.1.orig.tar.gz	2021-02-09 00:43	2.5M
elpa-agda2-mode_2.5.4.1-3_all.deb	2018-11-28 20:03	152K
elpa-agda2-mode_2.6.1-1_all.deb	2021-02-09 00:44	65K
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb	2018-12-26 08:17	16M
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb	2018-12-26 08:18	19M
libghc-agda-dev_2.6.1-1+b2_amd64.deb	2021-02-09 00:44	36M
libghc-agda-dev_2.6.1-1+b2_arm64.deb	2021-02-09 00:44	43M
libghc-agda-doc_2.5.4.1-3_all.deb	2018-11-28 20:03	3.6M
libghc-agda-doc_2.6.1-1_all.deb	2021-02-09 00:44	5.5M