Index of /buildinfo-pool/c/coq-bignums

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-bignums_8.15.0-1+b1_amd64.buildinfo2022-05-14 12:41 7.7K 
[ ]coq-bignums_8.15.0-1_amd64-source.buildinfo2022-05-05 14:38 7.8K 
[ ]coq-bignums_8.15.0-1_arm64.buildinfo2022-05-12 18:25 7.3K 
[ ]coq-bignums_8.15.0-1_armhf.buildinfo2022-05-12 18:25 7.3K 
[ ]coq-bignums_8.15.0-1_i386.buildinfo2022-05-12 18:25 7.3K 
[ ]coq-bignums_8.15.0-1_ppc64el.buildinfo2022-05-12 18:25 7.4K 
[ ]coq-bignums_8.15.0-1_s390x.buildinfo2022-05-12 18:25 7.3K 
[ ]coq-bignums_8.15.0-2_amd64.buildinfo2022-05-22 18:13 7.4K 
[ ]coq-bignums_8.15.0-2_arm64.buildinfo2022-05-22 18:13 7.4K 
[ ]coq-bignums_8.15.0-2_armhf.buildinfo2022-05-22 18:13 7.3K 
[ ]coq-bignums_8.15.0-2_i386.buildinfo2022-05-22 18:08 7.3K 
[ ]coq-bignums_8.15.0-2_ppc64el.buildinfo2022-05-22 18:13 7.4K 
[ ]coq-bignums_8.15.0-2_s390x.buildinfo2022-05-22 18:13 7.3K 
[ ]coq-bignums_8.15.0-2_source.buildinfo2022-05-22 17:38 6.6K 
[ ]coq-bignums_8.15.0-3_amd64.buildinfo2022-06-01 13:57 7.4K 
[ ]coq-bignums_8.15.0-3_arm64.buildinfo2022-06-01 13:57 7.4K 
[ ]coq-bignums_8.15.0-3_armhf.buildinfo2022-06-01 13:57 7.3K 
[ ]coq-bignums_8.15.0-3_i386.buildinfo2022-06-01 13:52 7.3K 
[ ]coq-bignums_8.15.0-3_ppc64el.buildinfo2022-06-01 13:57 7.4K 
[ ]coq-bignums_8.15.0-3_s390x.buildinfo2022-06-01 13:57 7.3K 
[ ]coq-bignums_8.15.0-3_source.buildinfo2022-06-01 13:21 6.6K 
[ ]coq-bignums_8.15.0-5_amd64.buildinfo2022-06-12 12:40 7.4K 
[ ]coq-bignums_8.15.0-5_arm64.buildinfo2022-06-12 12:40 7.4K 
[ ]coq-bignums_8.15.0-5_armhf.buildinfo2022-06-12 12:55 7.2K 
[ ]coq-bignums_8.15.0-5_i386.buildinfo2022-06-12 12:35 7.3K 
[ ]coq-bignums_8.15.0-5_ppc64el.buildinfo2022-06-12 12:40 7.4K 
[ ]coq-bignums_8.15.0-5_s390x.buildinfo2022-06-12 14:11 7.3K 
[ ]coq-bignums_8.15.0-5_source.buildinfo2022-06-12 12:05 6.6K 
[ ]coq-bignums_8.15.0-6_amd64.buildinfo2022-06-14 06:15 7.4K 
[ ]coq-bignums_8.15.0-6_arm64.buildinfo2022-06-14 06:25 7.4K 
[ ]coq-bignums_8.15.0-6_armhf.buildinfo2022-06-14 06:25 7.3K 
[ ]coq-bignums_8.15.0-6_i386.buildinfo2022-06-14 06:25 7.3K 
[ ]coq-bignums_8.15.0-6_ppc64el.buildinfo2022-06-14 06:25 7.4K 
[ ]coq-bignums_8.15.0-6_s390x.buildinfo2022-06-14 06:20 7.3K 
[ ]coq-bignums_8.15.0-6_source.buildinfo2022-06-14 06:00 6.6K 
[ ]coq-bignums_8.15.0-7_amd64.buildinfo2022-06-15 09:41 7.4K 
[ ]coq-bignums_8.15.0-7_arm64.buildinfo2022-06-15 09:56 7.4K 
[ ]coq-bignums_8.15.0-7_armhf.buildinfo2022-06-15 09:56 7.3K 
[ ]coq-bignums_8.15.0-7_i386.buildinfo2022-06-15 09:56 7.3K 
[ ]coq-bignums_8.15.0-7_ppc64el.buildinfo2022-06-15 09:56 7.4K 
[ ]coq-bignums_8.15.0-7_s390x.buildinfo2022-06-15 09:41 7.3K 
[ ]coq-bignums_8.15.0-7_source.buildinfo2022-06-15 08:35 6.6K 
[ ]coq-bignums_8.16.0-1+b1_amd64.buildinfo2022-11-29 23:28 7.2K 
[ ]coq-bignums_8.16.0-1+b1_arm64.buildinfo2022-11-29 23:28 7.2K 
[ ]coq-bignums_8.16.0-1+b1_armhf.buildinfo2022-11-29 23:28 7.1K 
[ ]coq-bignums_8.16.0-1+b1_i386.buildinfo2022-11-29 23:23 7.2K 
[ ]coq-bignums_8.16.0-1+b1_ppc64el.buildinfo2022-11-30 00:29 7.2K 
[ ]coq-bignums_8.16.0-1+b1_s390x.buildinfo2022-11-30 03:52 7.1K 
[ ]coq-bignums_8.16.0-1_amd64.buildinfo2022-09-06 12:10 6.8K 
[ ]coq-bignums_8.16.0-1_arm64.buildinfo2022-09-06 12:10 6.8K 
[ ]coq-bignums_8.16.0-1_armhf.buildinfo2022-09-06 12:10 6.7K 
[ ]coq-bignums_8.16.0-1_i386.buildinfo2022-09-06 12:56 6.8K 
[ ]coq-bignums_8.16.0-1_ppc64el.buildinfo2022-09-06 14:12 6.8K 
[ ]coq-bignums_8.16.0-1_s390x.buildinfo2022-09-07 02:24 6.7K 
[ ]coq-bignums_8.16.0-1_source.buildinfo2022-09-06 09:04 6.8K 
[ ]coq-bignums_8.17.0-1+b1_amd64.buildinfo2023-01-24 01:15 7.2K 
[ ]coq-bignums_8.17.0-1+b1_arm64.buildinfo2023-01-24 01:25 7.2K 
[ ]coq-bignums_8.17.0-1+b1_armhf.buildinfo2023-01-24 01:15 7.1K 
[ ]coq-bignums_8.17.0-1+b1_i386.buildinfo2023-01-24 01:14 7.1K 
[ ]coq-bignums_8.17.0-1+b1_ppc64el.buildinfo2023-01-24 04:43 7.2K 
[ ]coq-bignums_8.17.0-1+b1_s390x.buildinfo2023-01-24 00:59 7.1K 
[ ]coq-bignums_8.17.0-1_amd64.buildinfo2022-12-27 13:43 7.0K 
[ ]coq-bignums_8.17.0-1_arm64.buildinfo2022-12-27 13:58 7.0K 
[ ]coq-bignums_8.17.0-1_armhf.buildinfo2022-12-27 13:43 6.9K 
[ ]coq-bignums_8.17.0-1_i386.buildinfo2022-12-27 13:43 7.0K 
[ ]coq-bignums_8.17.0-1_ppc64el.buildinfo2022-12-27 21:41 7.0K 
[ ]coq-bignums_8.17.0-1_s390x.buildinfo2022-12-28 15:27 6.9K 
[ ]coq-bignums_8.17.0-1_source.buildinfo2022-12-27 12:57 7.4K 
[ ]coq-bignums_8.17.0-2+b1_amd64.buildinfo2023-02-13 05:11 7.2K 
[ ]coq-bignums_8.17.0-2+b1_arm64.buildinfo2023-02-13 05:11 7.1K 
[ ]coq-bignums_8.17.0-2+b1_armhf.buildinfo2023-02-13 05:26 7.0K 
[ ]coq-bignums_8.17.0-2+b1_i386.buildinfo2023-02-13 05:06 7.1K 
[ ]coq-bignums_8.17.0-2+b1_ppc64el.buildinfo2023-02-13 05:11 7.2K 
[ ]coq-bignums_8.17.0-2+b1_s390x.buildinfo2023-02-13 05:06 7.0K 
[ ]coq-bignums_8.17.0-2_amd64.buildinfo2023-01-25 07:12 6.9K 
[ ]coq-bignums_8.17.0-2_arm64.buildinfo2023-01-25 07:12 6.9K 
[ ]coq-bignums_8.17.0-2_armhf.buildinfo2023-01-25 07:11 6.7K 
[ ]coq-bignums_8.17.0-2_i386.buildinfo2023-01-25 07:01 6.8K 
[ ]coq-bignums_8.17.0-2_ppc64el.buildinfo2023-01-25 07:42 6.9K 
[ ]coq-bignums_8.17.0-2_s390x.buildinfo2023-01-25 07:01 6.8K 
[ ]coq-bignums_8.17.0-2_source.buildinfo2023-01-25 06:45 7.2K 
[ ]coq-bignums_8.17.0-3+b1_amd64.buildinfo2023-07-23 04:57 7.3K 
[ ]coq-bignums_8.17.0-3+b1_arm64.buildinfo2023-06-16 14:55 7.3K 
[ ]coq-bignums_8.17.0-3+b1_armhf.buildinfo2023-07-23 04:57 7.2K 
[ ]coq-bignums_8.17.0-3+b1_i386.buildinfo2023-07-23 05:13 7.3K 
[ ]coq-bignums_8.17.0-3+b1_ppc64el.buildinfo2023-06-19 19:11 7.3K 
[ ]coq-bignums_8.17.0-3+b1_riscv64.buildinfo2023-09-23 19:13 7.1K 
[ ]coq-bignums_8.17.0-3+b1_s390x.buildinfo2023-07-23 04:57 7.2K 
[ ]coq-bignums_8.17.0-3+b2_amd64.buildinfo2023-09-22 12:42 7.3K 
[ ]coq-bignums_8.17.0-3+b2_arm64.buildinfo2023-07-23 04:57 7.3K 
[ ]coq-bignums_8.17.0-3+b2_armhf.buildinfo2023-09-22 12:42 7.1K 
[ ]coq-bignums_8.17.0-3+b2_i386.buildinfo2023-09-22 12:37 7.2K 
[ ]coq-bignums_8.17.0-3+b2_ppc64el.buildinfo2023-07-23 04:57 7.3K 
[ ]coq-bignums_8.17.0-3+b2_s390x.buildinfo2023-09-22 12:37 7.2K 
[ ]coq-bignums_8.17.0-3+b3_arm64.buildinfo2023-09-22 12:42 7.3K 
[ ]coq-bignums_8.17.0-3+b3_ppc64el.buildinfo2023-09-22 12:42 7.3K 
[ ]coq-bignums_8.17.0-3_amd64.buildinfo2023-06-12 22:58 6.8K 
[ ]coq-bignums_8.17.0-3_arm64.buildinfo2023-06-12 23:44 6.9K 
[ ]coq-bignums_8.17.0-3_armhf.buildinfo2023-06-13 03:28 6.7K 
[ ]coq-bignums_8.17.0-3_i386.buildinfo2023-06-13 00:10 6.8K 
[ ]coq-bignums_8.17.0-3_ppc64el.buildinfo2023-06-15 02:43 6.9K 
[ ]coq-bignums_8.17.0-3_riscv64.buildinfo2023-08-30 10:53 6.8K 
[ ]coq-bignums_8.17.0-3_s390x.buildinfo2023-06-13 04:29 6.8K 
[ ]coq-bignums_8.17.0-3_source.buildinfo2023-06-12 20:29 7.2K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_amd64.buildinfo2024-03-19 18:40 7.4K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_arm64.buildinfo2024-03-19 18:40 7.4K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_armhf.buildinfo2024-03-26 15:22 7.3K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_i386.buildinfo2024-03-19 18:40 7.3K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_ppc64el.buildinfo2024-03-19 18:40 7.4K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_riscv64.buildinfo2024-04-11 01:58 7.3K 
[ ]coq-bignums_9.0.0+coq8.18-1+b1_s390x.buildinfo2024-03-19 21:20 7.2K 
[ ]coq-bignums_9.0.0+coq8.18-1_amd64.buildinfo2023-12-22 10:51 7.1K 
[ ]coq-bignums_9.0.0+coq8.18-1_arm64.buildinfo2023-12-22 10:51 7.1K 
[ ]coq-bignums_9.0.0+coq8.18-1_armhf.buildinfo2023-12-22 10:51 7.0K 
[ ]coq-bignums_9.0.0+coq8.18-1_i386.buildinfo2023-12-22 10:57 7.0K 
[ ]coq-bignums_9.0.0+coq8.18-1_ppc64el.buildinfo2023-12-22 10:51 7.1K 
[ ]coq-bignums_9.0.0+coq8.18-1_riscv64.buildinfo2023-12-22 15:07 6.9K 
[ ]coq-bignums_9.0.0+coq8.18-1_s390x.buildinfo2023-12-22 10:51 7.0K 
[ ]coq-bignums_9.0.0+coq8.18-1_source.buildinfo2023-12-22 10:16 7.7K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_amd64.buildinfo2024-06-15 10:54 7.1K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_arm64.buildinfo2024-06-15 10:54 7.1K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_armhf.buildinfo2024-06-15 10:59 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_i386.buildinfo2024-06-15 10:54 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_ppc64el.buildinfo2024-06-15 10:54 7.2K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_riscv64.buildinfo2024-06-15 11:04 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1+b1_s390x.buildinfo2024-06-15 21:16 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1_amd64.buildinfo2024-04-27 22:03 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1_arm64.buildinfo2024-04-27 22:03 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1_armhf.buildinfo2024-04-27 22:03 6.9K 
[ ]coq-bignums_9.0.0+coq8.19-1_i386.buildinfo2024-04-27 17:34 6.9K 
[ ]coq-bignums_9.0.0+coq8.19-1_ppc64el.buildinfo2024-04-27 17:01 7.0K 
[ ]coq-bignums_9.0.0+coq8.19-1_riscv64.buildinfo2024-04-27 17:34 6.9K 
[ ]coq-bignums_9.0.0+coq8.19-1_s390x.buildinfo2024-04-27 21:11 6.9K 
[ ]coq-bignums_9.0.0+coq8.19-1_source.buildinfo2024-04-26 13:46 8.2K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_amd64.buildinfo2024-08-04 03:17 7.2K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_arm64.buildinfo2024-08-04 03:23 7.1K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_armhf.buildinfo2024-08-04 03:17 7.0K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_i386.buildinfo2024-08-04 03:17 7.1K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_ppc64el.buildinfo2024-08-04 03:17 7.2K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_riscv64.buildinfo2024-08-04 04:13 7.1K 
[ ]coq-bignums_9.0.0+coq8.20-1+b1_s390x.buildinfo2024-08-04 03:22 7.0K 
[ ]coq-bignums_9.0.0+coq8.20-1+b2_amd64.buildinfo2024-08-11 04:54 7.3K 
[ ]coq-bignums_9.0.0+coq8.20-1+b2_arm64.buildinfo2024-08-11 05:30 7.3K 
[ ]coq-bignums_9.0.0+coq8.20-1+b2_ppc64el.buildinfo2024-08-11 05:24 7.1K 
[ ]coq-bignums_9.0.0+coq8.20-1+b2_riscv64.buildinfo2024-08-11 07:27 7.3K 
[ ]coq-bignums_9.0.0+coq8.20-1+b2_s390x.buildinfo2024-08-11 07:43 7.2K 
[ ]coq-bignums_9.0.0+coq8.20-1+b3_amd64.buildinfo2024-08-21 03:48 7.4K 
[ ]coq-bignums_9.0.0+coq8.20-1+b3_arm64.buildinfo2024-08-21 03:54 7.3K 
[ ]coq-bignums_9.0.0+coq8.20-1+b3_ppc64el.buildinfo2024-08-21 03:48 7.1K 
[ ]coq-bignums_9.0.0+coq8.20-1+b3_riscv64.buildinfo2024-08-21 04:50 7.3K 
[ ]coq-bignums_9.0.0+coq8.20-1+b3_s390x.buildinfo2024-08-21 03:54 7.2K 
[ ]coq-bignums_9.0.0+coq8.20-1+b4_amd64.buildinfo2024-11-20 14:57 7.5K 
[ ]coq-bignums_9.0.0+coq8.20-1+b4_arm64.buildinfo2024-11-20 16:40 7.5K 
[ ]coq-bignums_9.0.0+coq8.20-1+b4_ppc64el.buildinfo2024-08-30 15:00 7.4K 
[ ]coq-bignums_9.0.0+coq8.20-1+b4_riscv64.buildinfo2024-11-20 15:48 7.5K 
[ ]coq-bignums_9.0.0+coq8.20-1+b4_s390x.buildinfo2024-11-21 03:51 7.4K 
[ ]coq-bignums_9.0.0+coq8.20-1+b5_amd64.buildinfo2024-11-20 16:35 7.5K 
[ ]coq-bignums_9.0.0+coq8.20-1+b5_ppc64el.buildinfo2024-11-20 16:29 7.5K 
[ ]coq-bignums_9.0.0+coq8.20-1_amd64.buildinfo2024-06-25 07:21 6.8K 
[ ]coq-bignums_9.0.0+coq8.20-1_arm64.buildinfo2024-06-25 07:21 6.8K 
[ ]coq-bignums_9.0.0+coq8.20-1_armhf.buildinfo2024-06-25 07:21 6.7K 
[ ]coq-bignums_9.0.0+coq8.20-1_i386.buildinfo2024-06-25 07:21 6.7K 
[ ]coq-bignums_9.0.0+coq8.20-1_ppc64el.buildinfo2024-06-25 07:21 6.8K 
[ ]coq-bignums_9.0.0+coq8.20-1_riscv64.buildinfo2024-06-26 17:17 6.7K 
[ ]coq-bignums_9.0.0+coq8.20-1_s390x.buildinfo2024-06-25 08:32 6.7K 
[ ]coq-bignums_9.0.0+coq8.20-1_source.buildinfo2024-06-25 06:50 7.7K 
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443