Index of /buildinfo-pool/c/coq-simple-io
Name
Last modified
Size
Description
Parent Directory
-
coq-simple-io_1.7.0-1+b1_amd64.buildinfo
2022-07-10 10:44
7.3K
coq-simple-io_1.7.0-1_amd64-source.buildinfo
2022-07-08 07:03
7.3K
coq-simple-io_1.7.0-1_arm64.buildinfo
2022-07-08 23:27
6.9K
coq-simple-io_1.7.0-1_armhf.buildinfo
2022-07-08 23:27
6.8K
coq-simple-io_1.7.0-1_i386.buildinfo
2022-07-08 23:27
6.9K
coq-simple-io_1.7.0-1_ppc64el.buildinfo
2022-07-08 23:57
6.9K
coq-simple-io_1.7.0-1_s390x.buildinfo
2022-07-09 01:29
6.8K
coq-simple-io_1.7.0-2_amd64.buildinfo
2022-08-14 08:39
6.9K
coq-simple-io_1.7.0-2_arm64.buildinfo
2022-08-14 08:44
6.9K
coq-simple-io_1.7.0-2_armhf.buildinfo
2022-08-14 08:44
6.8K
coq-simple-io_1.7.0-2_i386.buildinfo
2022-08-14 08:44
6.8K
coq-simple-io_1.7.0-2_ppc64el.buildinfo
2022-08-14 08:59
6.9K
coq-simple-io_1.7.0-2_s390x.buildinfo
2022-08-14 08:59
6.8K
coq-simple-io_1.7.0-2_source.buildinfo
2022-08-14 07:54
6.9K
coq-simple-io_1.7.0-3_amd64.buildinfo
2022-09-07 07:41
6.9K
coq-simple-io_1.7.0-3_arm64.buildinfo
2022-09-07 07:41
6.9K
coq-simple-io_1.7.0-3_armhf.buildinfo
2022-09-07 07:41
6.8K
coq-simple-io_1.7.0-3_i386.buildinfo
2022-09-07 07:41
6.9K
coq-simple-io_1.7.0-3_ppc64el.buildinfo
2022-09-07 08:11
6.9K
coq-simple-io_1.7.0-3_s390x.buildinfo
2022-09-07 07:41
6.8K
coq-simple-io_1.7.0-3_source.buildinfo
2022-09-06 09:09
6.9K
coq-simple-io_1.8.0-1+b1_amd64.buildinfo
2022-11-30 00:45
7.3K
coq-simple-io_1.8.0-1+b1_arm64.buildinfo
2022-11-30 01:25
7.3K
coq-simple-io_1.8.0-1+b1_armhf.buildinfo
2022-11-30 01:10
7.2K
coq-simple-io_1.8.0-1+b1_i386.buildinfo
2022-11-30 00:50
7.3K
coq-simple-io_1.8.0-1+b1_ppc64el.buildinfo
2022-11-30 02:56
7.3K
coq-simple-io_1.8.0-1+b1_s390x.buildinfo
2022-11-30 04:53
7.2K
coq-simple-io_1.8.0-1+b2_amd64.buildinfo
2023-01-24 01:56
7.3K
coq-simple-io_1.8.0-1+b2_arm64.buildinfo
2023-01-24 02:26
7.3K
coq-simple-io_1.8.0-1+b2_armhf.buildinfo
2023-01-24 02:57
7.2K
coq-simple-io_1.8.0-1+b2_i386.buildinfo
2023-01-24 02:26
7.2K
coq-simple-io_1.8.0-1+b2_ppc64el.buildinfo
2023-01-24 17:56
7.3K
coq-simple-io_1.8.0-1+b2_s390x.buildinfo
2023-01-24 02:26
7.2K
coq-simple-io_1.8.0-1_amd64.buildinfo
2022-09-25 17:44
7.0K
coq-simple-io_1.8.0-1_arm64.buildinfo
2022-09-25 17:44
7.0K
coq-simple-io_1.8.0-1_armhf.buildinfo
2022-09-25 17:44
6.9K
coq-simple-io_1.8.0-1_i386.buildinfo
2022-09-25 17:34
7.0K
coq-simple-io_1.8.0-1_ppc64el.buildinfo
2022-09-25 17:44
7.0K
coq-simple-io_1.8.0-1_s390x.buildinfo
2022-09-25 17:39
6.9K
coq-simple-io_1.8.0-1_source.buildinfo
2022-09-25 16:20
7.0K
coq-simple-io_1.8.0-2+b1_amd64.buildinfo
2023-02-13 07:28
7.2K
coq-simple-io_1.8.0-2+b1_arm64.buildinfo
2023-02-13 07:28
7.2K
coq-simple-io_1.8.0-2+b1_armhf.buildinfo
2023-02-13 07:28
7.1K
coq-simple-io_1.8.0-2+b1_i386.buildinfo
2023-02-13 07:44
7.2K
coq-simple-io_1.8.0-2+b1_ppc64el.buildinfo
2023-02-14 11:27
7.2K
coq-simple-io_1.8.0-2+b1_s390x.buildinfo
2023-02-13 07:34
7.1K
coq-simple-io_1.8.0-2_amd64.buildinfo
2023-01-26 15:26
7.0K
coq-simple-io_1.8.0-2_arm64.buildinfo
2023-01-26 15:11
6.9K
coq-simple-io_1.8.0-2_armhf.buildinfo
2023-01-26 14:25
6.8K
coq-simple-io_1.8.0-2_i386.buildinfo
2023-01-26 14:25
6.9K
coq-simple-io_1.8.0-2_ppc64el.buildinfo
2023-01-27 04:57
6.9K
coq-simple-io_1.8.0-2_s390x.buildinfo
2023-01-26 17:43
6.8K
coq-simple-io_1.8.0-2_source.buildinfo
2023-01-26 12:44
7.3K
coq-simple-io_1.8.0-3+b1_amd64.buildinfo
2023-07-23 06:15
7.4K
coq-simple-io_1.8.0-3+b1_arm64.buildinfo
2023-07-23 05:28
7.4K
coq-simple-io_1.8.0-3+b1_armhf.buildinfo
2023-07-23 05:43
7.2K
coq-simple-io_1.8.0-3+b1_i386.buildinfo
2023-07-23 06:55
7.3K
coq-simple-io_1.8.0-3+b1_ppc64el.buildinfo
2023-07-23 05:28
7.4K
coq-simple-io_1.8.0-3+b1_riscv64.buildinfo
2023-09-23 21:52
7.2K
coq-simple-io_1.8.0-3+b1_s390x.buildinfo
2023-07-23 06:40
7.3K
coq-simple-io_1.8.0-3+b2_amd64.buildinfo
2023-09-22 13:28
7.4K
coq-simple-io_1.8.0-3+b2_arm64.buildinfo
2023-09-22 13:13
7.3K
coq-simple-io_1.8.0-3+b2_armhf.buildinfo
2023-09-22 13:13
7.2K
coq-simple-io_1.8.0-3+b2_i386.buildinfo
2023-09-22 13:13
7.3K
coq-simple-io_1.8.0-3+b2_ppc64el.buildinfo
2023-09-22 13:28
7.4K
coq-simple-io_1.8.0-3+b2_s390x.buildinfo
2023-09-22 13:43
7.2K
coq-simple-io_1.8.0-3_amd64.buildinfo
2023-06-13 08:59
6.9K
coq-simple-io_1.8.0-3_arm64.buildinfo
2023-06-16 17:12
7.0K
coq-simple-io_1.8.0-3_armhf.buildinfo
2023-06-13 07:58
6.8K
coq-simple-io_1.8.0-3_i386.buildinfo
2023-06-13 08:13
6.9K
coq-simple-io_1.8.0-3_ppc64el.buildinfo
2023-06-19 23:59
7.0K
coq-simple-io_1.8.0-3_riscv64.buildinfo
2023-08-30 15:05
6.9K
coq-simple-io_1.8.0-3_s390x.buildinfo
2023-06-13 11:26
6.8K
coq-simple-io_1.8.0-3_source.buildinfo
2023-06-13 05:20
7.2K
coq-simple-io_1.8.0-4+b1_amd64.buildinfo
2024-03-19 19:16
7.4K
coq-simple-io_1.8.0-4+b1_arm64.buildinfo
2024-03-19 19:16
7.4K
coq-simple-io_1.8.0-4+b1_armhf.buildinfo
2024-03-26 15:53
7.3K
coq-simple-io_1.8.0-4+b1_i386.buildinfo
2024-03-19 19:11
7.3K
coq-simple-io_1.8.0-4+b1_ppc64el.buildinfo
2024-03-19 19:11
7.4K
coq-simple-io_1.8.0-4+b1_riscv64.buildinfo
2024-04-11 04:04
7.3K
coq-simple-io_1.8.0-4+b1_s390x.buildinfo
2024-03-20 05:06
7.3K
coq-simple-io_1.8.0-4+b2_amd64.buildinfo
2024-04-27 07:47
7.4K
coq-simple-io_1.8.0-4+b2_arm64.buildinfo
2024-04-27 07:47
7.4K
coq-simple-io_1.8.0-4+b2_armhf.buildinfo
2024-04-27 07:52
7.2K
coq-simple-io_1.8.0-4+b2_i386.buildinfo
2024-04-27 07:47
7.3K
coq-simple-io_1.8.0-4+b2_ppc64el.buildinfo
2024-04-27 07:47
7.4K
coq-simple-io_1.8.0-4+b2_riscv64.buildinfo
2024-04-27 08:12
7.3K
coq-simple-io_1.8.0-4+b2_s390x.buildinfo
2024-04-27 07:47
7.2K
coq-simple-io_1.8.0-4_amd64.buildinfo
2023-12-23 11:52
7.1K
coq-simple-io_1.8.0-4_arm64.buildinfo
2023-12-23 11:47
7.1K
coq-simple-io_1.8.0-4_armhf.buildinfo
2023-12-23 11:52
7.0K
coq-simple-io_1.8.0-4_i386.buildinfo
2023-12-23 11:52
7.1K
coq-simple-io_1.8.0-4_ppc64el.buildinfo
2023-12-23 11:52
7.1K
coq-simple-io_1.8.0-4_riscv64.buildinfo
2023-12-23 13:08
6.9K
coq-simple-io_1.8.0-4_s390x.buildinfo
2023-12-23 11:52
7.0K
coq-simple-io_1.8.0-4_source.buildinfo
2023-12-22 11:07
7.7K
coq-simple-io_1.9.0-1+b1_amd64.buildinfo
2024-06-15 11:25
7.2K
coq-simple-io_1.9.0-1+b1_arm64.buildinfo
2024-06-15 11:41
7.2K
coq-simple-io_1.9.0-1+b1_armhf.buildinfo
2024-06-15 11:41
7.1K
coq-simple-io_1.9.0-1+b1_i386.buildinfo
2024-06-15 11:20
7.1K
coq-simple-io_1.9.0-1+b1_ppc64el.buildinfo
2024-06-15 11:20
7.2K
coq-simple-io_1.9.0-1+b1_riscv64.buildinfo
2024-06-15 11:56
7.1K
coq-simple-io_1.9.0-1+b1_s390x.buildinfo
2024-06-15 21:21
7.1K
coq-simple-io_1.9.0-1_amd64.buildinfo
2024-04-28 15:11
7.1K
coq-simple-io_1.9.0-1_arm64.buildinfo
2024-04-28 15:11
7.1K
coq-simple-io_1.9.0-1_armhf.buildinfo
2024-04-28 15:16
6.9K
coq-simple-io_1.9.0-1_i386.buildinfo
2024-04-28 15:11
7.0K
coq-simple-io_1.9.0-1_ppc64el.buildinfo
2024-04-28 15:11
7.1K
coq-simple-io_1.9.0-1_riscv64.buildinfo
2024-04-28 15:37
7.0K
coq-simple-io_1.9.0-1_s390x.buildinfo
2024-04-28 15:21
7.0K
coq-simple-io_1.9.0-1_source.buildinfo
2024-04-26 14:06
8.0K
coq-simple-io_1.9.0-2+b1_amd64.buildinfo
2024-08-12 04:05
7.4K
coq-simple-io_1.9.0-2+b1_arm64.buildinfo
2024-08-12 04:05
7.4K
coq-simple-io_1.9.0-2+b1_ppc64el.buildinfo
2024-08-12 04:05
7.2K
coq-simple-io_1.9.0-2+b1_riscv64.buildinfo
2024-08-12 04:30
7.4K
coq-simple-io_1.9.0-2+b1_s390x.buildinfo
2024-08-12 06:03
7.2K
coq-simple-io_1.9.0-2+b2_amd64.buildinfo
2024-08-21 04:24
7.4K
coq-simple-io_1.9.0-2+b2_arm64.buildinfo
2024-08-21 04:24
7.4K
coq-simple-io_1.9.0-2+b2_ppc64el.buildinfo
2024-08-21 04:24
7.2K
coq-simple-io_1.9.0-2+b2_riscv64.buildinfo
2024-08-21 07:54
7.4K
coq-simple-io_1.9.0-2+b2_s390x.buildinfo
2024-08-21 04:30
7.3K
coq-simple-io_1.9.0-2+b3_ppc64el.buildinfo
2024-08-31 03:45
7.4K
coq-simple-io_1.9.0-2_amd64.buildinfo
2024-08-04 06:06
6.8K
coq-simple-io_1.9.0-2_arm64.buildinfo
2024-08-04 05:55
6.8K
coq-simple-io_1.9.0-2_armhf.buildinfo
2024-08-04 05:55
6.7K
coq-simple-io_1.9.0-2_i386.buildinfo
2024-08-04 06:22
6.8K
coq-simple-io_1.9.0-2_ppc64el.buildinfo
2024-08-04 05:56
6.8K
coq-simple-io_1.9.0-2_riscv64.buildinfo
2024-08-04 06:37
6.8K
coq-simple-io_1.9.0-2_s390x.buildinfo
2024-08-04 13:56
6.7K
coq-simple-io_1.10.0-1+b1_arm64.buildinfo
2024-11-20 17:12
7.6K
coq-simple-io_1.10.0-1+b1_ppc64el.buildinfo
2024-11-20 17:07
7.6K
coq-simple-io_1.10.0-1+b1_s390x.buildinfo
2024-11-21 11:22
7.4K
coq-simple-io_1.10.0-1_amd64.buildinfo
2024-11-20 15:37
7.2K
coq-simple-io_1.10.0-1_arm64.buildinfo
2024-11-20 10:53
7.2K
coq-simple-io_1.10.0-1_ppc64el.buildinfo
2024-11-20 10:58
7.2K
coq-simple-io_1.10.0-1_riscv64.buildinfo
2024-11-20 15:58
7.2K
coq-simple-io_1.10.0-1_s390x.buildinfo
2024-11-20 14:52
7.1K
coq-simple-io_1.10.0-1_source.buildinfo
2024-11-20 10:07
7.1K
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443