Index of /ubuntu/pool/universe/a/agda/
../ agda-bin_2.3.2.2-1_amd64.deb 06-Nov-2013 19:28 5M agda-bin_2.3.2.2-1_i386.deb 06-Nov-2013 19:28 5M agda-bin_2.4.2.5-1build1_amd64.deb 13-Jan-2016 00:59 5M agda-bin_2.4.2.5-1build1_i386.deb 13-Jan-2016 00:45 5M agda-bin_2.5.3-3build1_amd64.deb 25-Nov-2017 22:09 5M agda-bin_2.5.3-3build1_i386.deb 25-Nov-2017 22:09 5M agda-bin_2.6.0.1-1build4_amd64.deb 08-Feb-2020 15:19 6M agda-bin_2.6.1-1build2.1_amd64.deb 16-Sep-2021 10:28 9M agda-bin_2.6.3-1build1_amd64.deb 10-Nov-2023 22:19 10M agda-bin_2.6.4.3-1_amd64.deb 25-Oct-2024 23:15 10M agda-bin_2.6.4.3-1_arm64.deb 25-Oct-2024 23:15 11M agda-bin_2.8.0-2build1_amd64.deb 01-Mar-2026 21:50 10M agda-bin_2.8.0-2build1_amd64v3.deb 01-Mar-2026 21:51 10M agda-bin_2.8.0-2build1_arm64.deb 01-Mar-2026 21:52 11M agda-mode_2.3.2.2-1_all.deb 06-Nov-2013 19:28 47K agda-mode_2.4.2.5-1build1_all.deb 13-Jan-2016 00:59 36K agda-mode_2.5.3-3build1_all.deb 25-Nov-2017 22:09 3584 agda-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 3644 agda_2.3.2.2-1.debian.tar.gz 06-Nov-2013 19:28 7406 agda_2.3.2.2-1.dsc 06-Nov-2013 19:28 3283 agda_2.3.2.2-1_all.deb 06-Nov-2013 19:28 2996 agda_2.3.2.2.orig.tar.gz 06-Nov-2013 19:28 2M agda_2.4.2.5-1build1.debian.tar.xz 13-Jan-2016 00:30 7848 agda_2.4.2.5-1build1.dsc 13-Jan-2016 00:30 3826 agda_2.4.2.5-1build1_all.deb 13-Jan-2016 00:59 2966 agda_2.4.2.5.orig.tar.gz 05-Jan-2016 01:25 1007K agda_2.5.3-3build1.debian.tar.xz 25-Nov-2017 21:15 9800 agda_2.5.3-3build1.dsc 25-Nov-2017 21:15 4572 agda_2.5.3-3build1_all.deb 25-Nov-2017 22:09 3052 agda_2.5.3.orig.tar.gz 01-Nov-2017 15:05 1M agda_2.6.0.1-1build4.debian.tar.xz 08-Feb-2020 13:38 10K agda_2.6.0.1-1build4.dsc 08-Feb-2020 13:38 4293 agda_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 4056 agda_2.6.0.1.orig.tar.gz 01-Sep-2019 14:43 2M agda_2.6.1-1build2.1.debian.tar.xz 16-Sep-2021 09:39 10K agda_2.6.1-1build2.1.dsc 16-Sep-2021 09:39 4293 agda_2.6.1-1build2.1_all.deb 16-Sep-2021 10:28 4134 agda_2.6.1.orig.tar.gz 30-Jul-2020 01:19 3M agda_2.6.3-1build1.debian.tar.xz 08-Nov-2023 11:36 11K agda_2.6.3-1build1.dsc 08-Nov-2023 11:36 4939 agda_2.6.3-1build1_all.deb 10-Nov-2023 22:19 3758 agda_2.6.3.orig.tar.gz 26-Oct-2023 17:43 2M agda_2.6.4.3-1.debian.tar.xz 25-Oct-2024 21:11 10K agda_2.6.4.3-1.dsc 25-Oct-2024 21:11 5197 agda_2.6.4.3-1_all.deb 25-Oct-2024 23:15 3736 agda_2.6.4.3.orig.tar.gz 25-Oct-2024 21:11 2M agda_2.8.0-2build1.debian.tar.xz 01-Mar-2026 21:49 10K agda_2.8.0-2build1.dsc 01-Mar-2026 21:49 5934 agda_2.8.0-2build1_all.deb 01-Mar-2026 21:50 2892 agda_2.8.0.orig.tar.gz 15-Feb-2026 08:16 2M elpa-agda2-mode_2.5.3-3build1_all.deb 25-Nov-2017 22:09 40K elpa-agda2-mode_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 40K elpa-agda2-mode_2.6.1-1build2.1_all.deb 16-Sep-2021 10:28 45K elpa-agda2-mode_2.6.3-1build1_all.deb 10-Nov-2023 22:19 45K elpa-agda2-mode_2.6.4.3-1_all.deb 25-Oct-2024 23:15 45K elpa-agda2-mode_2.8.0-2build1_all.deb 01-Mar-2026 21:50 47K libghc-agda-dev_2.3.2.2-1_amd64.deb 06-Nov-2013 19:28 13M libghc-agda-dev_2.3.2.2-1_i386.deb 06-Nov-2013 19:28 12M libghc-agda-dev_2.4.2.5-1build1_amd64.deb 13-Jan-2016 00:59 10M libghc-agda-dev_2.4.2.5-1build1_i386.deb 13-Jan-2016 00:45 10M libghc-agda-dev_2.5.3-3build1_amd64.deb 25-Nov-2017 22:09 15M libghc-agda-dev_2.5.3-3build1_i386.deb 25-Nov-2017 22:09 15M libghc-agda-dev_2.6.0.1-1build4_amd64.deb 08-Feb-2020 15:19 19M libghc-agda-dev_2.6.1-1build2.1_amd64.deb 16-Sep-2021 10:28 38M libghc-agda-dev_2.6.3-1build1_amd64.deb 10-Nov-2023 22:19 24M libghc-agda-dev_2.6.4.3-1_amd64.deb 25-Oct-2024 23:15 23M libghc-agda-dev_2.6.4.3-1_arm64.deb 25-Oct-2024 23:15 26M libghc-agda-dev_2.8.0-2build1_amd64.deb 01-Mar-2026 21:50 37M libghc-agda-dev_2.8.0-2build1_amd64v3.deb 01-Mar-2026 21:51 37M libghc-agda-dev_2.8.0-2build1_arm64.deb 01-Mar-2026 21:52 42M libghc-agda-doc_2.3.2.2-1_all.deb 06-Nov-2013 19:28 2M libghc-agda-doc_2.4.2.5-1build1_all.deb 13-Jan-2016 00:59 2M libghc-agda-doc_2.5.3-3build1_all.deb 25-Nov-2017 22:09 3M libghc-agda-doc_2.6.0.1-1build4_all.deb 08-Feb-2020 15:19 4M libghc-agda-doc_2.6.1-1build2.1_all.deb 16-Sep-2021 10:28 5M libghc-agda-doc_2.6.3-1build1_all.deb 10-Nov-2023 22:19 6M libghc-agda-doc_2.6.4.3-1_all.deb 25-Oct-2024 23:15 6M libghc-agda-doc_2.8.0-2build1_all.deb 01-Mar-2026 21:50 6M
This mirror is provided by University of Trieste - rete@units.it
NO WARRANTY
THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK
AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE
MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE
MIRROR BE LIABLE TO YOU FOR DAMAGES,
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT
LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED
BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY
OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN
SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.