Index of /buildinfo-pool/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda_2.5.1.1-3_hurd-i386.buildinfo
2017-01-25 11:08
8.4K
agda_2.5.1.1-4_all.buildinfo
2017-06-21 12:59
11K
agda_2.5.1.1-4_amd64.buildinfo
2017-06-21 14:11
9.4K
agda_2.5.1.1-4_arm64.buildinfo
2017-06-24 10:45
8.6K
agda_2.5.1.1-4_i386.buildinfo
2017-06-21 07:58
9.4K
agda_2.5.1.1-4_kfreebsd-amd64.buildinfo
2017-06-27 01:57
8.5K
agda_2.5.1.1-4_kfreebsd-i386.buildinfo
2017-06-26 17:03
8.5K
agda_2.5.1.1-4_mips64el.buildinfo
2017-07-06 05:45
9.2K
agda_2.5.1.1-4_powerpc.buildinfo
2017-06-28 21:58
8.4K
agda_2.5.1.1-4_ppc64el.buildinfo
2017-06-21 04:58
9.3K
agda_2.5.1.1-4_s390x.buildinfo
2017-06-21 10:14
9.3K
agda_2.5.2-2+b1_amd64.buildinfo
2017-07-14 14:28
9.7K
agda_2.5.2-2+b1_arm64.buildinfo
2017-07-14 18:36
8.8K
agda_2.5.2-2+b1_i386.buildinfo
2017-07-14 15:14
9.6K
agda_2.5.2-2+b1_kfreebsd-amd64.buildinfo
2017-07-14 10:59
8.9K
agda_2.5.2-2+b1_kfreebsd-i386.buildinfo
2017-07-14 11:55
8.9K
agda_2.5.2-2+b1_mips.buildinfo
2017-07-14 23:58
9.5K
agda_2.5.2-2+b1_mips64el.buildinfo
2017-07-15 11:40
9.5K
agda_2.5.2-2+b1_mipsel.buildinfo
2017-07-16 21:29
9.5K
agda_2.5.2-2+b1_powerpc.buildinfo
2017-07-14 10:59
8.7K
agda_2.5.2-2+b1_ppc64el.buildinfo
2017-07-14 10:59
9.6K
agda_2.5.2-2+b1_s390x.buildinfo
2017-07-14 11:30
9.5K
agda_2.5.2-2_all.buildinfo
2017-07-10 12:42
11K
agda_2.5.2-2_amd64.buildinfo
2017-07-10 12:42
9.4K
agda_2.5.2-2_arm64.buildinfo
2017-07-10 14:13
9.5K
agda_2.5.2-2_hurd-i386.buildinfo
2017-07-18 19:40
8.5K
agda_2.5.2-2_i386.buildinfo
2017-07-10 12:27
9.4K
agda_2.5.2-2_kfreebsd-amd64.buildinfo
2017-07-10 13:43
8.5K
agda_2.5.2-2_kfreebsd-i386.buildinfo
2017-07-10 16:14
8.5K
agda_2.5.2-2_mips.buildinfo
2017-07-10 16:14
9.2K
agda_2.5.2-2_mips64el.buildinfo
2017-07-11 08:44
9.3K
agda_2.5.2-2_mipsel.buildinfo
2017-07-11 09:00
9.2K
agda_2.5.2-2_powerpc.buildinfo
2017-07-10 12:58
8.4K
agda_2.5.2-2_ppc64el.buildinfo
2017-07-10 12:27
9.3K
agda_2.5.2-2_s390x.buildinfo
2017-07-10 12:42
9.3K
agda_2.5.3-1_amd64.buildinfo
2017-10-13 15:59
11K
agda_2.5.3-2_all-amd64-source.buildinfo
2017-10-14 01:22
13K
agda_2.5.3-3+b1_amd64.buildinfo
2017-11-05 03:55
11K
agda_2.5.3-3+b1_arm64.buildinfo
2017-11-05 06:11
11K
agda_2.5.3-3+b1_hurd-i386.buildinfo
2017-11-05 17:16
10K
agda_2.5.3-3+b1_i386.buildinfo
2017-11-05 03:55
11K
agda_2.5.3-3+b1_mips.buildinfo
2017-11-05 10:28
11K
agda_2.5.3-3+b1_mips64el.buildinfo
2017-11-06 09:12
11K
agda_2.5.3-3+b1_mipsel.buildinfo
2017-11-05 21:12
11K
agda_2.5.3-3+b1_powerpc.buildinfo
2017-11-05 03:55
10K
agda_2.5.3-3+b1_ppc64el.buildinfo
2017-11-05 03:55
11K
agda_2.5.3-3+b1_s390x.buildinfo
2017-11-05 04:10
11K
agda_2.5.3-3+b2_amd64.buildinfo
2017-11-25 04:59
11K
agda_2.5.3-3+b2_arm64.buildinfo
2017-11-25 07:57
11K
agda_2.5.3-3+b2_hurd-i386.buildinfo
2017-11-25 16:30
10K
agda_2.5.3-3+b2_i386.buildinfo
2017-11-25 05:40
11K
agda_2.5.3-3+b2_mips.buildinfo
2017-11-25 12:13
11K
agda_2.5.3-3+b2_mips64el.buildinfo
2017-11-25 20:56
11K
agda_2.5.3-3+b2_mipsel.buildinfo
2017-11-25 13:43
11K
agda_2.5.3-3+b2_powerpc.buildinfo
2017-11-25 05:40
10K
agda_2.5.3-3+b2_ppc64el.buildinfo
2017-11-25 05:00
11K
agda_2.5.3-3+b2_s390x.buildinfo
2017-11-25 07:41
11K
agda_2.5.3-3_all.buildinfo
2017-10-20 22:56
12K
agda_2.5.3-3_amd64.buildinfo
2017-10-20 22:41
11K
agda_2.5.3-3_arm64.buildinfo
2017-10-21 01:42
11K
agda_2.5.3-3_hurd-i386.buildinfo
2017-10-21 11:35
10K
agda_2.5.3-3_i386.buildinfo
2017-10-20 23:41
11K
agda_2.5.3-3_kfreebsd-i386.buildinfo
2017-12-05 14:00
10K
agda_2.5.3-3_mips.buildinfo
2017-10-21 04:13
11K
agda_2.5.3-3_mips64el.buildinfo
2017-10-21 06:14
11K
agda_2.5.3-3_mipsel.buildinfo
2017-10-21 15:26
11K
agda_2.5.3-3_powerpc.buildinfo
2017-10-21 00:42
9.8K
agda_2.5.3-3_ppc64el.buildinfo
2017-10-21 01:12
11K
agda_2.5.3-3_s390x.buildinfo
2017-10-20 23:56
11K
agda_2.5.3-3_source.buildinfo
2017-10-14 02:57
8.3K
agda_2.5.3-4_source.buildinfo
2018-04-10 01:34
7.9K
agda_2.5.3-5+b1_amd64.buildinfo
2018-07-11 13:55
11K
agda_2.5.3-5+b1_arm64.buildinfo
2018-07-11 14:10
11K
agda_2.5.3-5+b1_hurd-i386.buildinfo
2018-07-14 23:09
11K
agda_2.5.3-5+b1_i386.buildinfo
2018-07-11 13:14
11K
agda_2.5.3-5+b1_mips.buildinfo
2018-07-12 02:11
11K
agda_2.5.3-5+b1_mips64el.buildinfo
2018-07-17 03:10
11K
agda_2.5.3-5+b1_mipsel.buildinfo
2018-07-16 22:57
11K
agda_2.5.3-5+b1_ppc64el.buildinfo
2018-07-09 13:29
11K
agda_2.5.3-5+b1_s390x.buildinfo
2018-07-11 13:45
11K
agda_2.5.3-5+b2_ppc64el.buildinfo
2018-07-12 10:14
11K
agda_2.5.3-5_all.buildinfo
2018-04-29 13:52
12K
agda_2.5.3-5_amd64.buildinfo
2018-04-29 13:32
11K
agda_2.5.3-5_arm64.buildinfo
2018-04-29 15:13
11K
agda_2.5.3-5_hurd-i386.buildinfo
2018-04-29 13:57
10K
agda_2.5.3-5_i386.buildinfo
2018-04-29 13:57
11K
agda_2.5.3-5_mips.buildinfo
2018-04-29 19:55
10K
agda_2.5.3-5_mips64el.buildinfo
2018-04-30 13:28
11K
agda_2.5.3-5_mipsel.buildinfo
2018-04-30 11:42
10K
agda_2.5.3-5_ppc64el.buildinfo
2018-04-29 13:42
11K
agda_2.5.3-5_s390x.buildinfo
2018-04-29 13:57
11K
agda_2.5.3-5_source.buildinfo
2018-04-29 12:52
7.9K
agda_2.5.4.1-1_source.buildinfo
2018-09-30 10:54
5.7K
agda_2.5.4.1-2_source.buildinfo
2018-10-01 18:56
5.6K
agda_2.5.4.1-3+b1_amd64.buildinfo
2018-12-04 10:59
11K
agda_2.5.4.1-3+b1_arm64.buildinfo
2018-12-04 13:27
11K
agda_2.5.4.1-3+b1_hurd-i386.buildinfo
2018-12-04 21:23
10K
agda_2.5.4.1-3+b1_i386.buildinfo
2018-12-04 10:43
11K
agda_2.5.4.1-3+b1_mips.buildinfo
2018-12-06 19:59
11K
agda_2.5.4.1-3+b1_mips64el.buildinfo
2018-12-23 13:59
11K
agda_2.5.4.1-3+b1_mipsel.buildinfo
2018-12-24 12:25
11K
agda_2.5.4.1-3+b1_ppc64el.buildinfo
2018-12-04 10:43
11K
agda_2.5.4.1-3+b1_s390x.buildinfo
2018-12-04 10:54
11K
agda_2.5.4.1-3+b2_mips64el.buildinfo
2019-08-29 12:11
10K
agda_2.5.4.1-3+b2_mipsel.buildinfo
2019-08-28 11:59
10K
agda_2.5.4.1-3_all-amd64-source.buildinfo
2018-10-20 20:41
12K
agda_2.5.4.1-3_all.buildinfo
2018-10-20 21:57
11K
agda_2.5.4.1-3_amd64.buildinfo
2018-10-20 21:32
9.7K
agda_2.5.4.1-3_arm64.buildinfo
2018-10-20 23:43
9.9K
agda_2.5.4.1-3_armhf.buildinfo
2018-10-21 18:27
9.8K
agda_2.5.4.1-3_hurd-i386.buildinfo
2018-10-31 08:51
9.1K
agda_2.5.4.1-3_i386.buildinfo
2018-10-20 22:12
9.7K
agda_2.5.4.1-3_kfreebsd-amd64.buildinfo
2018-12-21 23:53
9.7K
agda_2.5.4.1-3_kfreebsd-i386.buildinfo
2018-12-25 00:08
9.7K
agda_2.5.4.1-3_mips.buildinfo
2018-10-21 06:41
9.5K
agda_2.5.4.1-3_mips64el.buildinfo
2018-10-23 20:27
9.6K
agda_2.5.4.1-3_mipsel.buildinfo
2018-10-22 00:27
9.6K
agda_2.5.4.1-3_ppc64el.buildinfo
2018-10-20 22:12
9.7K
agda_2.5.4.1-3_s390x.buildinfo
2018-10-20 22:02
9.6K
agda_2.6.0.1-1+b1_amd64.buildinfo
2019-09-13 14:58
11K
agda_2.6.0.1-1+b1_arm64.buildinfo
2019-09-13 17:10
12K
agda_2.6.0.1-1+b1_i386.buildinfo
2019-09-13 17:26
11K
agda_2.6.0.1-1+b1_mips64el.buildinfo
2020-01-28 19:25
12K
agda_2.6.0.1-1+b1_mipsel.buildinfo
2020-01-27 11:11
12K
agda_2.6.0.1-1+b1_ppc64el.buildinfo
2019-09-13 14:12
11K
agda_2.6.0.1-1+b1_s390x.buildinfo
2019-09-13 15:27
11K
agda_2.6.0.1-1+b2_amd64.buildinfo
2020-01-25 17:06
12K
agda_2.6.0.1-1+b2_arm64.buildinfo
2020-01-25 20:13
12K
agda_2.6.0.1-1+b2_i386.buildinfo
2020-01-25 17:31
12K
agda_2.6.0.1-1+b2_ppc64el.buildinfo
2020-01-25 17:57
12K
agda_2.6.0.1-1+b2_s390x.buildinfo
2020-01-25 17:57
12K
agda_2.6.0.1-1_all.buildinfo
2019-08-31 16:34
12K
agda_2.6.0.1-1_amd64.buildinfo
2019-08-31 16:44
11K
agda_2.6.0.1-1_arm64.buildinfo
2019-08-31 19:00
11K
agda_2.6.0.1-1_i386.buildinfo
2019-08-31 16:34
11K
agda_2.6.0.1-1_mips64el.buildinfo
2019-09-17 18:14
11K
agda_2.6.0.1-1_mipsel.buildinfo
2019-09-30 15:44
11K
agda_2.6.0.1-1_ppc64el.buildinfo
2019-08-31 16:59
11K
agda_2.6.0.1-1_s390x.buildinfo
2019-08-31 16:59
11K
agda_2.6.0.1-1_source.buildinfo
2019-08-31 14:18
14K
agda_2.6.1-1+b1_amd64.buildinfo
2020-08-14 13:10
12K
agda_2.6.1-1+b1_arm64.buildinfo
2020-08-14 23:28
12K
agda_2.6.1-1+b1_i386.buildinfo
2020-08-14 17:33
12K
agda_2.6.1-1+b1_ppc64el.buildinfo
2020-08-14 21:42
12K
agda_2.6.1-1+b1_s390x.buildinfo
2020-08-01 08:57
11K
agda_2.6.1-1+b2_amd64.buildinfo
2020-08-19 19:59
11K
agda_2.6.1-1+b2_arm64.buildinfo
2020-08-19 21:57
12K
agda_2.6.1-1+b2_i386.buildinfo
2020-08-19 22:58
11K
agda_2.6.1-1+b2_ppc64el.buildinfo
2020-08-19 23:59
11K
agda_2.6.1-1+b2_s390x.buildinfo
2020-08-14 23:59
12K
agda_2.6.1-1+b3_amd64.buildinfo
2021-10-03 10:12
12K
agda_2.6.1-1+b3_arm64.buildinfo
2021-10-03 14:29
12K
agda_2.6.1-1+b3_i386.buildinfo
2021-10-03 10:28
12K
agda_2.6.1-1+b3_ppc64el.buildinfo
2021-10-03 11:28
12K
agda_2.6.1-1+b3_s390x.buildinfo
2020-08-20 00:40
11K
agda_2.6.1-1+b4_s390x.buildinfo
2021-10-03 11:53
12K
agda_2.6.1-1_all.buildinfo
2020-07-29 16:40
12K
agda_2.6.1-1_amd64.buildinfo
2020-07-29 16:40
11K
agda_2.6.1-1_arm64.buildinfo
2020-07-29 21:28
11K
agda_2.6.1-1_i386.buildinfo
2020-07-29 16:40
11K
agda_2.6.1-1_ppc64el.buildinfo
2020-07-29 17:26
11K
agda_2.6.1-1_s390x.buildinfo
2020-07-29 17:41
11K
agda_2.6.1-1_source.buildinfo
2020-07-29 15:40
5.4K
agda_2.6.2.2-1+b1_amd64.buildinfo
2022-09-26 08:28
15K
agda_2.6.2.2-1+b1_mips64el.buildinfo
2022-10-01 09:29
15K
agda_2.6.2.2-1+b1_ppc64el.buildinfo
2022-09-26 21:57
15K
agda_2.6.2.2-1+b1_s390x.buildinfo
2022-09-27 19:24
15K
agda_2.6.2.2-1+b2_amd64.buildinfo
2022-10-23 09:27
14K
agda_2.6.2.2-1+b2_mips64el.buildinfo
2022-11-01 09:15
14K
agda_2.6.2.2-1+b2_ppc64el.buildinfo
2022-10-28 00:13
14K
agda_2.6.2.2-1+b2_s390x.buildinfo
2022-10-28 09:54
14K
agda_2.6.2.2-1+b3_amd64.buildinfo
2022-10-24 22:43
14K
agda_2.6.2.2-1+b4_amd64.buildinfo
2022-10-27 10:27
14K
agda_2.6.2.2-1.1_all-amd64.buildinfo
2022-12-06 16:40
15K
agda_2.6.2.2-1.1_all.buildinfo
2022-12-06 17:41
15K
agda_2.6.2.2-1.1_amd64.buildinfo
2022-12-06 17:57
14K
agda_2.6.2.2-1.1_mips64el.buildinfo
2022-12-06 22:12
14K
agda_2.6.2.2-1.1_ppc64el.buildinfo
2022-12-06 18:28
14K
agda_2.6.2.2-1.1_riscv64.buildinfo
2023-08-31 09:37
15K
agda_2.6.2.2-1.1_s390x.buildinfo
2022-12-06 18:38
14K
agda_2.6.2.2-1_all-amd64-source.buildinfo
2022-08-06 17:04
16K
agda_2.6.2.2-1_all.buildinfo
2022-08-06 18:05
15K
agda_2.6.2.2-1_amd64.buildinfo
2022-08-06 18:11
14K
agda_2.6.2.2-1_mips64el.buildinfo
2022-08-06 23:12
14K
agda_2.6.2.2-1_ppc64el.buildinfo
2022-08-06 19:26
14K
agda_2.6.2.2-1_s390x.buildinfo
2022-08-06 19:01
14K
agda_2.6.3-1+b1_amd64.buildinfo
2023-10-21 22:42
16K
agda_2.6.3-1+b1_arm64.buildinfo
2023-10-22 21:29
16K
agda_2.6.3-1+b1_i386.buildinfo
2024-04-13 19:29
16K
agda_2.6.3-1+b1_mips64el.buildinfo
2024-04-14 08:45
16K
agda_2.6.3-1+b1_ppc64el.buildinfo
2023-10-23 10:57
16K
agda_2.6.3-1+b1_riscv64.buildinfo
2023-12-28 20:04
16K
agda_2.6.3-1+b1_s390x.buildinfo
2024-04-13 18:22
16K
agda_2.6.3-1+b2_amd64.buildinfo
2023-10-30 16:22
16K
agda_2.6.3-1+b2_arm64.buildinfo
2024-04-13 20:10
16K
agda_2.6.3-1+b2_ppc64el.buildinfo
2023-10-30 16:57
16K
agda_2.6.3-1+b2_riscv64.buildinfo
2024-04-17 08:03
16K
agda_2.6.3-1+b3_amd64.buildinfo
2024-04-13 17:30
16K
agda_2.6.3-1+b3_ppc64el.buildinfo
2024-04-13 17:51
16K
agda_2.6.3-1_all.buildinfo
2023-10-13 16:30
16K
agda_2.6.3-1_amd64.buildinfo
2023-10-13 16:40
15K
agda_2.6.3-1_arm64.buildinfo
2023-10-13 17:10
15K
agda_2.6.3-1_i386.buildinfo
2023-10-30 17:12
15K
agda_2.6.3-1_mips64el.buildinfo
2023-11-09 17:43
15K
agda_2.6.3-1_ppc64el.buildinfo
2023-10-13 16:55
15K
agda_2.6.3-1_riscv64.buildinfo
2023-10-31 17:22
16K
agda_2.6.3-1_s390x.buildinfo
2023-10-30 15:47
15K
agda_2.6.3-1_source.buildinfo
2023-10-13 15:34
5.9K
agda_2.6.3-2_all-amd64-source.buildinfo
2024-08-29 13:02
17K
agda_2.6.3-2_all.buildinfo
2024-08-29 13:38
16K
agda_2.6.3-2_amd64.buildinfo
2024-08-29 13:33
15K
agda_2.6.3-2_arm64.buildinfo
2024-08-29 14:18
15K
agda_2.6.3-2_i386.buildinfo
2024-08-29 14:44
15K
agda_2.6.3-2_mips64el.buildinfo
2024-08-29 16:30
15K
agda_2.6.3-2_ppc64el.buildinfo
2024-08-29 14:03
15K
agda_2.6.3-2_riscv64.buildinfo
2024-08-30 04:40
15K
agda_2.6.3-2_s390x.buildinfo
2024-08-29 14:08
15K
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443