Index of /buildinfo-pool/a/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]agda_2.6.3-1_source.buildinfo2023-10-13 15:34 5.9K 
[   ]agda_2.6.3-1_s390x.buildinfo2023-10-30 15:47 15K 
[   ]agda_2.6.3-1_riscv64.buildinfo2023-10-31 17:22 16K 
[   ]agda_2.6.3-1_ppc64el.buildinfo2023-10-13 16:55 15K 
[   ]agda_2.6.3-1_mips64el.buildinfo2023-11-09 17:43 15K 
[   ]agda_2.6.3-1_i386.buildinfo2023-10-30 17:12 15K 
[   ]agda_2.6.3-1_arm64.buildinfo2023-10-13 17:10 15K 
[   ]agda_2.6.3-1_amd64.buildinfo2023-10-13 16:40 15K 
[   ]agda_2.6.3-1_all.buildinfo2023-10-13 16:30 16K 
[   ]agda_2.6.3-1+b2_ppc64el.buildinfo2023-10-30 16:57 16K 
[   ]agda_2.6.3-1+b2_amd64.buildinfo2023-10-30 16:22 16K 
[   ]agda_2.6.3-1+b1_riscv64.buildinfo2023-12-28 20:04 16K 
[   ]agda_2.6.3-1+b1_ppc64el.buildinfo2023-10-23 10:57 16K 
[   ]agda_2.6.3-1+b1_arm64.buildinfo2023-10-22 21:29 16K 
[   ]agda_2.6.3-1+b1_amd64.buildinfo2023-10-21 22:42 16K 
[   ]agda_2.6.2.2-1_s390x.buildinfo2022-08-06 19:01 14K 
[   ]agda_2.6.2.2-1_ppc64el.buildinfo2022-08-06 19:26 14K 
[   ]agda_2.6.2.2-1_mips64el.buildinfo2022-08-06 23:12 14K 
[   ]agda_2.6.2.2-1_amd64.buildinfo2022-08-06 18:11 14K 
[   ]agda_2.6.2.2-1_all.buildinfo2022-08-06 18:05 15K 
[   ]agda_2.6.2.2-1_all-amd64-source.buildinfo2022-08-06 17:04 16K 
[   ]agda_2.6.2.2-1.1_s390x.buildinfo2022-12-06 18:38 14K 
[   ]agda_2.6.2.2-1.1_riscv64.buildinfo2023-08-31 09:37 15K 
[   ]agda_2.6.2.2-1.1_ppc64el.buildinfo2022-12-06 18:28 14K 
[   ]agda_2.6.2.2-1.1_mips64el.buildinfo2022-12-06 22:12 14K 
[   ]agda_2.6.2.2-1.1_amd64.buildinfo2022-12-06 17:57 14K 
[   ]agda_2.6.2.2-1.1_all.buildinfo2022-12-06 17:41 15K 
[   ]agda_2.6.2.2-1.1_all-amd64.buildinfo2022-12-06 16:40 15K 
[   ]agda_2.6.2.2-1+b4_amd64.buildinfo2022-10-27 10:27 14K 
[   ]agda_2.6.2.2-1+b3_amd64.buildinfo2022-10-24 22:43 14K 
[   ]agda_2.6.2.2-1+b2_s390x.buildinfo2022-10-28 09:54 14K 
[   ]agda_2.6.2.2-1+b2_ppc64el.buildinfo2022-10-28 00:13 14K 
[   ]agda_2.6.2.2-1+b2_mips64el.buildinfo2022-11-01 09:15 14K 
[   ]agda_2.6.2.2-1+b2_amd64.buildinfo2022-10-23 09:27 14K 
[   ]agda_2.6.2.2-1+b1_s390x.buildinfo2022-09-27 19:24 15K 
[   ]agda_2.6.2.2-1+b1_ppc64el.buildinfo2022-09-26 21:57 15K 
[   ]agda_2.6.2.2-1+b1_mips64el.buildinfo2022-10-01 09:29 15K 
[   ]agda_2.6.2.2-1+b1_amd64.buildinfo2022-09-26 08:28 15K 
[   ]agda_2.6.1-1_source.buildinfo2020-07-29 15:40 5.4K 
[   ]agda_2.6.1-1_s390x.buildinfo2020-07-29 17:41 11K 
[   ]agda_2.6.1-1_ppc64el.buildinfo2020-07-29 17:26 11K 
[   ]agda_2.6.1-1_i386.buildinfo2020-07-29 16:40 11K 
[   ]agda_2.6.1-1_arm64.buildinfo2020-07-29 21:28 11K 
[   ]agda_2.6.1-1_amd64.buildinfo2020-07-29 16:40 11K 
[   ]agda_2.6.1-1_all.buildinfo2020-07-29 16:40 12K 
[   ]agda_2.6.1-1+b4_s390x.buildinfo2021-10-03 11:53 12K 
[   ]agda_2.6.1-1+b3_s390x.buildinfo2020-08-20 00:40 11K 
[   ]agda_2.6.1-1+b3_ppc64el.buildinfo2021-10-03 11:28 12K 
[   ]agda_2.6.1-1+b3_i386.buildinfo2021-10-03 10:28 12K 
[   ]agda_2.6.1-1+b3_arm64.buildinfo2021-10-03 14:29 12K 
[   ]agda_2.6.1-1+b3_amd64.buildinfo2021-10-03 10:12 12K 
[   ]agda_2.6.1-1+b2_s390x.buildinfo2020-08-14 23:59 12K 
[   ]agda_2.6.1-1+b2_ppc64el.buildinfo2020-08-19 23:59 11K 
[   ]agda_2.6.1-1+b2_i386.buildinfo2020-08-19 22:58 11K 
[   ]agda_2.6.1-1+b2_arm64.buildinfo2020-08-19 21:57 12K 
[   ]agda_2.6.1-1+b2_amd64.buildinfo2020-08-19 19:59 11K 
[   ]agda_2.6.1-1+b1_s390x.buildinfo2020-08-01 08:57 11K 
[   ]agda_2.6.1-1+b1_ppc64el.buildinfo2020-08-14 21:42 12K 
[   ]agda_2.6.1-1+b1_i386.buildinfo2020-08-14 17:33 12K 
[   ]agda_2.6.1-1+b1_arm64.buildinfo2020-08-14 23:28 12K 
[   ]agda_2.6.1-1+b1_amd64.buildinfo2020-08-14 13:10 12K 
[   ]agda_2.6.0.1-1_source.buildinfo2019-08-31 14:18 14K 
[   ]agda_2.6.0.1-1_s390x.buildinfo2019-08-31 16:59 11K 
[   ]agda_2.6.0.1-1_ppc64el.buildinfo2019-08-31 16:59 11K 
[   ]agda_2.6.0.1-1_mipsel.buildinfo2019-09-30 15:44 11K 
[   ]agda_2.6.0.1-1_mips64el.buildinfo2019-09-17 18:14 11K 
[   ]agda_2.6.0.1-1_i386.buildinfo2019-08-31 16:34 11K 
[   ]agda_2.6.0.1-1_arm64.buildinfo2019-08-31 19:00 11K 
[   ]agda_2.6.0.1-1_amd64.buildinfo2019-08-31 16:44 11K 
[   ]agda_2.6.0.1-1_all.buildinfo2019-08-31 16:34 12K 
[   ]agda_2.6.0.1-1+b2_s390x.buildinfo2020-01-25 17:57 12K 
[   ]agda_2.6.0.1-1+b2_ppc64el.buildinfo2020-01-25 17:57 12K 
[   ]agda_2.6.0.1-1+b2_i386.buildinfo2020-01-25 17:31 12K 
[   ]agda_2.6.0.1-1+b2_arm64.buildinfo2020-01-25 20:13 12K 
[   ]agda_2.6.0.1-1+b2_amd64.buildinfo2020-01-25 17:06 12K 
[   ]agda_2.6.0.1-1+b1_s390x.buildinfo2019-09-13 15:27 11K 
[   ]agda_2.6.0.1-1+b1_ppc64el.buildinfo2019-09-13 14:12 11K 
[   ]agda_2.6.0.1-1+b1_mipsel.buildinfo2020-01-27 11:11 12K 
[   ]agda_2.6.0.1-1+b1_mips64el.buildinfo2020-01-28 19:25 12K 
[   ]agda_2.6.0.1-1+b1_i386.buildinfo2019-09-13 17:26 11K 
[   ]agda_2.6.0.1-1+b1_arm64.buildinfo2019-09-13 17:10 12K 
[   ]agda_2.6.0.1-1+b1_amd64.buildinfo2019-09-13 14:58 11K 
[   ]agda_2.5.4.1-3_s390x.buildinfo2018-10-20 22:02 9.6K 
[   ]agda_2.5.4.1-3_ppc64el.buildinfo2018-10-20 22:12 9.7K 
[   ]agda_2.5.4.1-3_mipsel.buildinfo2018-10-22 00:27 9.6K 
[   ]agda_2.5.4.1-3_mips64el.buildinfo2018-10-23 20:27 9.6K 
[   ]agda_2.5.4.1-3_mips.buildinfo2018-10-21 06:41 9.5K 
[   ]agda_2.5.4.1-3_kfreebsd-i386.buildinfo2018-12-25 00:08 9.7K 
[   ]agda_2.5.4.1-3_kfreebsd-amd64.buildinfo2018-12-21 23:53 9.7K 
[   ]agda_2.5.4.1-3_i386.buildinfo2018-10-20 22:12 9.7K 
[   ]agda_2.5.4.1-3_hurd-i386.buildinfo2018-10-31 08:51 9.1K 
[   ]agda_2.5.4.1-3_armhf.buildinfo2018-10-21 18:27 9.8K 
[   ]agda_2.5.4.1-3_arm64.buildinfo2018-10-20 23:43 9.9K 
[   ]agda_2.5.4.1-3_amd64.buildinfo2018-10-20 21:32 9.7K 
[   ]agda_2.5.4.1-3_all.buildinfo2018-10-20 21:57 11K 
[   ]agda_2.5.4.1-3_all-amd64-source.buildinfo2018-10-20 20:41 12K 
[   ]agda_2.5.4.1-3+b2_mipsel.buildinfo2019-08-28 11:59 10K 
[   ]agda_2.5.4.1-3+b2_mips64el.buildinfo2019-08-29 12:11 10K 
[   ]agda_2.5.4.1-3+b1_s390x.buildinfo2018-12-04 10:54 11K 
[   ]agda_2.5.4.1-3+b1_ppc64el.buildinfo2018-12-04 10:43 11K 
[   ]agda_2.5.4.1-3+b1_mipsel.buildinfo2018-12-24 12:25 11K 
[   ]agda_2.5.4.1-3+b1_mips64el.buildinfo2018-12-23 13:59 11K 
[   ]agda_2.5.4.1-3+b1_mips.buildinfo2018-12-06 19:59 11K 
[   ]agda_2.5.4.1-3+b1_i386.buildinfo2018-12-04 10:43 11K 
[   ]agda_2.5.4.1-3+b1_hurd-i386.buildinfo2018-12-04 21:23 10K 
[   ]agda_2.5.4.1-3+b1_arm64.buildinfo2018-12-04 13:27 11K 
[   ]agda_2.5.4.1-3+b1_amd64.buildinfo2018-12-04 10:59 11K 
[   ]agda_2.5.4.1-2_source.buildinfo2018-10-01 18:56 5.6K 
[   ]agda_2.5.4.1-1_source.buildinfo2018-09-30 10:54 5.7K 
[   ]agda_2.5.3-5_source.buildinfo2018-04-29 12:52 7.9K 
[   ]agda_2.5.3-5_s390x.buildinfo2018-04-29 13:57 11K 
[   ]agda_2.5.3-5_ppc64el.buildinfo2018-04-29 13:42 11K 
[   ]agda_2.5.3-5_mipsel.buildinfo2018-04-30 11:42 10K 
[   ]agda_2.5.3-5_mips64el.buildinfo2018-04-30 13:28 11K 
[   ]agda_2.5.3-5_mips.buildinfo2018-04-29 19:55 10K 
[   ]agda_2.5.3-5_i386.buildinfo2018-04-29 13:57 11K 
[   ]agda_2.5.3-5_hurd-i386.buildinfo2018-04-29 13:57 10K 
[   ]agda_2.5.3-5_arm64.buildinfo2018-04-29 15:13 11K 
[   ]agda_2.5.3-5_amd64.buildinfo2018-04-29 13:32 11K 
[   ]agda_2.5.3-5_all.buildinfo2018-04-29 13:52 12K 
[   ]agda_2.5.3-5+b2_ppc64el.buildinfo2018-07-12 10:14 11K 
[   ]agda_2.5.3-5+b1_s390x.buildinfo2018-07-11 13:45 11K 
[   ]agda_2.5.3-5+b1_ppc64el.buildinfo2018-07-09 13:29 11K 
[   ]agda_2.5.3-5+b1_mipsel.buildinfo2018-07-16 22:57 11K 
[   ]agda_2.5.3-5+b1_mips64el.buildinfo2018-07-17 03:10 11K 
[   ]agda_2.5.3-5+b1_mips.buildinfo2018-07-12 02:11 11K 
[   ]agda_2.5.3-5+b1_i386.buildinfo2018-07-11 13:14 11K 
[   ]agda_2.5.3-5+b1_hurd-i386.buildinfo2018-07-14 23:09 11K 
[   ]agda_2.5.3-5+b1_arm64.buildinfo2018-07-11 14:10 11K 
[   ]agda_2.5.3-5+b1_amd64.buildinfo2018-07-11 13:55 11K 
[   ]agda_2.5.3-4_source.buildinfo2018-04-10 01:34 7.9K 
[   ]agda_2.5.3-3_source.buildinfo2017-10-14 02:57 8.3K 
[   ]agda_2.5.3-3_s390x.buildinfo2017-10-20 23:56 11K 
[   ]agda_2.5.3-3_ppc64el.buildinfo2017-10-21 01:12 11K 
[   ]agda_2.5.3-3_powerpc.buildinfo2017-10-21 00:42 9.8K 
[   ]agda_2.5.3-3_mipsel.buildinfo2017-10-21 15:26 11K 
[   ]agda_2.5.3-3_mips64el.buildinfo2017-10-21 06:14 11K 
[   ]agda_2.5.3-3_mips.buildinfo2017-10-21 04:13 11K 
[   ]agda_2.5.3-3_kfreebsd-i386.buildinfo2017-12-05 14:00 10K 
[   ]agda_2.5.3-3_i386.buildinfo2017-10-20 23:41 11K 
[   ]agda_2.5.3-3_hurd-i386.buildinfo2017-10-21 11:35 10K 
[   ]agda_2.5.3-3_arm64.buildinfo2017-10-21 01:42 11K 
[   ]agda_2.5.3-3_amd64.buildinfo2017-10-20 22:41 11K 
[   ]agda_2.5.3-3_all.buildinfo2017-10-20 22:56 12K 
[   ]agda_2.5.3-3+b2_s390x.buildinfo2017-11-25 07:41 11K 
[   ]agda_2.5.3-3+b2_ppc64el.buildinfo2017-11-25 05:00 11K 
[   ]agda_2.5.3-3+b2_powerpc.buildinfo2017-11-25 05:40 10K 
[   ]agda_2.5.3-3+b2_mipsel.buildinfo2017-11-25 13:43 11K 
[   ]agda_2.5.3-3+b2_mips64el.buildinfo2017-11-25 20:56 11K 
[   ]agda_2.5.3-3+b2_mips.buildinfo2017-11-25 12:13 11K 
[   ]agda_2.5.3-3+b2_i386.buildinfo2017-11-25 05:40 11K 
[   ]agda_2.5.3-3+b2_hurd-i386.buildinfo2017-11-25 16:30 10K 
[   ]agda_2.5.3-3+b2_arm64.buildinfo2017-11-25 07:57 11K 
[   ]agda_2.5.3-3+b2_amd64.buildinfo2017-11-25 04:59 11K 
[   ]agda_2.5.3-3+b1_s390x.buildinfo2017-11-05 04:10 11K 
[   ]agda_2.5.3-3+b1_ppc64el.buildinfo2017-11-05 03:55 11K 
[   ]agda_2.5.3-3+b1_powerpc.buildinfo2017-11-05 03:55 10K 
[   ]agda_2.5.3-3+b1_mipsel.buildinfo2017-11-05 21:12 11K 
[   ]agda_2.5.3-3+b1_mips64el.buildinfo2017-11-06 09:12 11K 
[   ]agda_2.5.3-3+b1_mips.buildinfo2017-11-05 10:28 11K 
[   ]agda_2.5.3-3+b1_i386.buildinfo2017-11-05 03:55 11K 
[   ]agda_2.5.3-3+b1_hurd-i386.buildinfo2017-11-05 17:16 10K 
[   ]agda_2.5.3-3+b1_arm64.buildinfo2017-11-05 06:11 11K 
[   ]agda_2.5.3-3+b1_amd64.buildinfo2017-11-05 03:55 11K 
[   ]agda_2.5.3-2_all-amd64-source.buildinfo2017-10-14 01:22 13K 
[   ]agda_2.5.3-1_amd64.buildinfo2017-10-13 15:59 11K 
[   ]agda_2.5.2-2_s390x.buildinfo2017-07-10 12:42 9.3K 
[   ]agda_2.5.2-2_ppc64el.buildinfo2017-07-10 12:27 9.3K 
[   ]agda_2.5.2-2_powerpc.buildinfo2017-07-10 12:58 8.4K 
[   ]agda_2.5.2-2_mipsel.buildinfo2017-07-11 09:00 9.2K 
[   ]agda_2.5.2-2_mips64el.buildinfo2017-07-11 08:44 9.3K 
[   ]agda_2.5.2-2_mips.buildinfo2017-07-10 16:14 9.2K 
[   ]agda_2.5.2-2_kfreebsd-i386.buildinfo2017-07-10 16:14 8.5K 
[   ]agda_2.5.2-2_kfreebsd-amd64.buildinfo2017-07-10 13:43 8.5K 
[   ]agda_2.5.2-2_i386.buildinfo2017-07-10 12:27 9.4K 
[   ]agda_2.5.2-2_hurd-i386.buildinfo2017-07-18 19:40 8.5K 
[   ]agda_2.5.2-2_arm64.buildinfo2017-07-10 14:13 9.5K 
[   ]agda_2.5.2-2_amd64.buildinfo2017-07-10 12:42 9.4K 
[   ]agda_2.5.2-2_all.buildinfo2017-07-10 12:42 11K 
[   ]agda_2.5.2-2+b1_s390x.buildinfo2017-07-14 11:30 9.5K 
[   ]agda_2.5.2-2+b1_ppc64el.buildinfo2017-07-14 10:59 9.6K 
[   ]agda_2.5.2-2+b1_powerpc.buildinfo2017-07-14 10:59 8.7K 
[   ]agda_2.5.2-2+b1_mipsel.buildinfo2017-07-16 21:29 9.5K 
[   ]agda_2.5.2-2+b1_mips64el.buildinfo2017-07-15 11:40 9.5K 
[   ]agda_2.5.2-2+b1_mips.buildinfo2017-07-14 23:58 9.5K 
[   ]agda_2.5.2-2+b1_kfreebsd-i386.buildinfo2017-07-14 11:55 8.9K 
[   ]agda_2.5.2-2+b1_kfreebsd-amd64.buildinfo2017-07-14 10:59 8.9K 
[   ]agda_2.5.2-2+b1_i386.buildinfo2017-07-14 15:14 9.6K 
[   ]agda_2.5.2-2+b1_arm64.buildinfo2017-07-14 18:36 8.8K 
[   ]agda_2.5.2-2+b1_amd64.buildinfo2017-07-14 14:28 9.7K 
[   ]agda_2.5.1.1-4_s390x.buildinfo2017-06-21 10:14 9.3K 
[   ]agda_2.5.1.1-4_ppc64el.buildinfo2017-06-21 04:58 9.3K 
[   ]agda_2.5.1.1-4_powerpc.buildinfo2017-06-28 21:58 8.4K 
[   ]agda_2.5.1.1-4_mips64el.buildinfo2017-07-06 05:45 9.2K 
[   ]agda_2.5.1.1-4_kfreebsd-i386.buildinfo2017-06-26 17:03 8.5K 
[   ]agda_2.5.1.1-4_kfreebsd-amd64.buildinfo2017-06-27 01:57 8.5K 
[   ]agda_2.5.1.1-4_i386.buildinfo2017-06-21 07:58 9.4K 
[   ]agda_2.5.1.1-4_arm64.buildinfo2017-06-24 10:45 8.6K 
[   ]agda_2.5.1.1-4_amd64.buildinfo2017-06-21 14:11 9.4K 
[   ]agda_2.5.1.1-4_all.buildinfo2017-06-21 12:59 11K 
[   ]agda_2.5.1.1-3_hurd-i386.buildinfo2017-01-25 11:08 8.4K 

Apache/2.4.57 (Debian) Server at buildinfos.debian.net Port 443