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/ubuntu/pool/universe/a/agda-stdlib

Name	Size	Last Modified
agda-stdlib-doc_0.11-1_all.deb	1.21 MB	01/05/2016, 01:20:13
agda-stdlib-doc_0.14-1_all.deb	1.02 MB	11/26/2017, 18:04:45
agda-stdlib-doc_0.7-2_all.deb	1.67 MB	05/27/2013, 23:33:48
agda-stdlib-doc_1.1-1_all.deb	1.82 MB	09/06/2019, 15:48:27
agda-stdlib-doc_1.3-2_all.deb	2.33 MB	08/02/2020, 05:43:41
agda-stdlib-doc_1.7.3-1_all.deb	2.84 MB	11/10/2023, 23:50:08
agda-stdlib-doc_2.1-4_all.deb	3.49 MB	11/26/2024, 00:17:56
agda-stdlib_0.11-1.debian.tar.xz	4.49 KB	01/04/2016, 23:25:05
agda-stdlib_0.11-1.dsc	2.06 KB	01/04/2016, 23:25:05
agda-stdlib_0.11-1_all.deb	16.69 MB	01/05/2016, 01:20:12
agda-stdlib_0.11.orig.tar.gz	247.32 KB	01/04/2016, 23:25:05
agda-stdlib_0.14-1.debian.tar.xz	5.07 KB	11/26/2017, 17:08:38
agda-stdlib_0.14-1.dsc	2.05 KB	11/26/2017, 17:08:38
agda-stdlib_0.14-1_all.deb	17.32 MB	11/26/2017, 18:04:46
agda-stdlib_0.14.orig.tar.gz	278.69 KB	11/26/2017, 11:14:14
agda-stdlib_0.7-2.debian.tar.gz	4.35 KB	05/27/2013, 23:33:44
agda-stdlib_0.7-2.dsc	2.03 KB	05/27/2013, 23:33:44
agda-stdlib_0.7-2_all.deb	17.30 MB	05/27/2013, 23:33:50
agda-stdlib_0.7.orig.tar.gz	221.09 KB	04/10/2013, 18:03:22
agda-stdlib_1.1-1.debian.tar.xz	5.40 KB	09/06/2019, 15:48:22
agda-stdlib_1.1-1.dsc	2.07 KB	09/06/2019, 15:48:22
agda-stdlib_1.1-1_all.deb	45.19 MB	09/06/2019, 15:48:27
agda-stdlib_1.1.orig.tar.gz	556.74 KB	09/04/2019, 13:38:22
agda-stdlib_1.3-2.debian.tar.xz	5.51 KB	08/02/2020, 05:13:38
agda-stdlib_1.3-2.dsc	2.06 KB	08/02/2020, 05:13:38
agda-stdlib_1.3-2_all.deb	69.83 MB	08/02/2020, 05:43:42
agda-stdlib_1.3.orig.tar.gz	733.80 KB	08/01/2020, 23:33:38
agda-stdlib_1.7.3-1.debian.tar.xz	5.60 KB	11/04/2023, 18:15:53
agda-stdlib_1.7.3-1.dsc	2.11 KB	11/04/2023, 18:15:53
agda-stdlib_1.7.3-1_all.deb	114.96 MB	11/10/2023, 23:50:08
agda-stdlib_1.7.3.orig.tar.gz	920.01 KB	11/04/2023, 18:15:53
agda-stdlib_2.1-4.debian.tar.xz	5.92 KB	11/26/2024, 00:17:50
agda-stdlib_2.1-4.dsc	2.17 KB	11/26/2024, 00:17:50
agda-stdlib_2.1-4_all.deb	140.16 MB	11/26/2024, 00:17:58
agda-stdlib_2.1.orig.tar.gz	1.16 MB	10/31/2024, 17:16:16