Welcome to GOTMYHOST Mirror.

GOTMYHOST offers a low latency worldwide network, enabling you to deploy your service infrastructure in close proximity to your customer base.

File Directory: ./ubuntu-archive/ubuntu/ubuntu/pool/universe/a/agda

Name Size Last Modified
agda-bin_2.3.2.2-1_amd64.deb5.22 MB11/06/2013, 17:28:35
agda-bin_2.3.2.2-1_i386.deb4.86 MB11/06/2013, 17:28:57
agda-bin_2.4.2.5-1build1_amd64.deb4.58 MB01/12/2016, 22:59:06
agda-bin_2.4.2.5-1build1_i386.deb4.56 MB01/12/2016, 22:45:42
agda-bin_2.5.3-3build1_amd64.deb5.46 MB11/25/2017, 20:09:44
agda-bin_2.5.3-3build1_i386.deb5.47 MB11/25/2017, 20:09:57
agda-bin_2.6.0.1-1build4_amd64.deb6.27 MB02/08/2020, 13:19:07
agda-bin_2.6.1-1build2.1_amd64.deb9.10 MB09/16/2021, 08:28:52
agda-bin_2.6.3-1build1_amd64.deb10.48 MB11/10/2023, 20:19:27
agda-bin_2.6.3-2_amd64.deb10.43 MB09/07/2024, 06:18:54
agda-bin_2.6.4.3-1_amd64.deb10.05 MB10/25/2024, 21:15:06
agda-mode_2.3.2.2-1_all.deb46.95 KB11/06/2013, 17:28:38
agda-mode_2.4.2.5-1build1_all.deb36.40 KB01/12/2016, 22:59:05
agda-mode_2.5.3-3build1_all.deb3.50 KB11/25/2017, 20:09:45
agda-mode_2.6.0.1-1build4_all.deb3.56 KB02/08/2020, 13:19:08
agda_2.3.2.2-1.debian.tar.gz7.23 KB11/06/2013, 17:28:29
agda_2.3.2.2-1.dsc3.21 KB11/06/2013, 17:28:29
agda_2.3.2.2-1_all.deb2.93 KB11/06/2013, 17:28:39
agda_2.3.2.2.orig.tar.gz1.94 MB11/06/2013, 17:28:29
agda_2.4.2.5-1build1.debian.tar.xz7.66 KB01/12/2016, 22:30:27
agda_2.4.2.5-1build1.dsc3.74 KB01/12/2016, 22:30:27
agda_2.4.2.5-1build1_all.deb2.90 KB01/12/2016, 22:59:07
agda_2.4.2.5.orig.tar.gz1,007.25 KB01/04/2016, 23:25:06
agda_2.5.3-3build1.debian.tar.xz9.57 KB11/25/2017, 19:15:28
agda_2.5.3-3build1.dsc4.46 KB11/25/2017, 19:15:28
agda_2.5.3-3build1_all.deb2.98 KB11/25/2017, 20:09:45
agda_2.5.3.orig.tar.gz1.15 MB11/01/2017, 13:05:07
agda_2.6.0.1-1build4.debian.tar.xz9.98 KB02/08/2020, 11:38:18
agda_2.6.0.1-1build4.dsc4.19 KB02/08/2020, 11:38:18
agda_2.6.0.1-1build4_all.deb3.96 KB02/08/2020, 13:19:07
agda_2.6.0.1.orig.tar.gz2.26 MB09/01/2019, 12:43:41
agda_2.6.1-1build2.1.debian.tar.xz9.99 KB09/16/2021, 07:39:13
agda_2.6.1-1build2.1.dsc4.19 KB09/16/2021, 07:39:13
agda_2.6.1-1build2.1_all.deb4.04 KB09/16/2021, 08:28:52
agda_2.6.1.orig.tar.gz2.52 MB07/29/2020, 23:19:10
agda_2.6.3-1build1.debian.tar.xz11.36 KB11/08/2023, 09:36:47
agda_2.6.3-1build1.dsc4.82 KB11/08/2023, 09:36:47
agda_2.6.3-1build1_all.deb3.67 KB11/10/2023, 20:19:27
agda_2.6.3-2.debian.tar.xz11.36 KB09/07/2024, 06:18:52
agda_2.6.3-2.dsc4.83 KB09/07/2024, 06:18:52
agda_2.6.3-2_all.deb3.64 KB09/07/2024, 06:18:54
agda_2.6.3.orig.tar.gz1.71 MB10/26/2023, 15:43:25
agda_2.6.4.3-1.debian.tar.xz10.21 KB10/25/2024, 19:11:59
agda_2.6.4.3-1.dsc5.08 KB10/25/2024, 19:11:59
agda_2.6.4.3-1_all.deb3.65 KB10/25/2024, 21:15:06
agda_2.6.4.3.orig.tar.gz1.78 MB10/25/2024, 19:11:59
elpa-agda2-mode_2.5.3-3build1_all.deb39.89 KB11/25/2017, 20:09:45
elpa-agda2-mode_2.6.0.1-1build4_all.deb40.21 KB02/08/2020, 13:19:07
elpa-agda2-mode_2.6.1-1build2.1_all.deb45.09 KB09/16/2021, 08:28:53
elpa-agda2-mode_2.6.3-1build1_all.deb45.17 KB11/10/2023, 20:19:27
elpa-agda2-mode_2.6.3-2_all.deb45.22 KB09/07/2024, 06:18:54
elpa-agda2-mode_2.6.4.3-1_all.deb45.25 KB10/25/2024, 21:15:06
libghc-agda-dev_2.3.2.2-1_amd64.deb12.96 MB11/06/2013, 17:28:35
libghc-agda-dev_2.3.2.2-1_i386.deb12.31 MB11/06/2013, 17:28:55
libghc-agda-dev_2.4.2.5-1build1_amd64.deb10.18 MB01/12/2016, 22:59:06
libghc-agda-dev_2.4.2.5-1build1_i386.deb10.05 MB01/12/2016, 22:45:42
libghc-agda-dev_2.5.3-3build1_amd64.deb15.14 MB11/25/2017, 20:09:45
libghc-agda-dev_2.5.3-3build1_i386.deb14.87 MB11/25/2017, 20:09:57
libghc-agda-dev_2.6.0.1-1build4_amd64.deb18.77 MB02/08/2020, 13:19:07
libghc-agda-dev_2.6.1-1build2.1_amd64.deb38.39 MB09/16/2021, 08:28:52
libghc-agda-dev_2.6.3-1build1_amd64.deb24.30 MB11/10/2023, 20:19:27
libghc-agda-dev_2.6.3-2_amd64.deb24.03 MB09/07/2024, 06:18:54
libghc-agda-dev_2.6.4.3-1_amd64.deb23.05 MB10/25/2024, 21:15:06
libghc-agda-doc_2.3.2.2-1_all.deb2.09 MB11/06/2013, 17:28:38
libghc-agda-doc_2.4.2.5-1build1_all.deb2.08 MB01/12/2016, 22:59:06
libghc-agda-doc_2.5.3-3build1_all.deb2.62 MB11/25/2017, 20:09:44
libghc-agda-doc_2.6.0.1-1build4_all.deb4.01 MB02/08/2020, 13:19:06
libghc-agda-doc_2.6.1-1build2.1_all.deb5.15 MB09/16/2021, 08:28:53
libghc-agda-doc_2.6.3-1build1_all.deb6.00 MB11/10/2023, 20:19:27
libghc-agda-doc_2.6.3-2_all.deb5.94 MB09/07/2024, 06:18:53
libghc-agda-doc_2.6.4.3-1_all.deb6.38 MB10/25/2024, 21:15:06

© 2024 GOTMYHOST. All rights reserved.

Want to host your own server in Bangladesh? Contact GOTMYHOST now!