Index of /buildinfo-pool/c/coq-iris
Name
Last modified
Size
Description
Parent Directory
-
coq-iris_3.6.0-1+b1_amd64.buildinfo
2022-07-22 09:55
13K
coq-iris_3.6.0-1_amd64-source.buildinfo
2022-07-14 17:07
13K
coq-iris_3.6.0-1_arm64.buildinfo
2022-07-18 16:42
13K
coq-iris_3.6.0-1_armhf.buildinfo
2022-07-18 18:10
13K
coq-iris_3.6.0-1_i386.buildinfo
2022-07-18 19:17
13K
coq-iris_3.6.0-1_ppc64el.buildinfo
2022-07-19 09:43
13K
coq-iris_3.6.0-1_s390x.buildinfo
2022-07-22 19:54
13K
coq-iris_4.0.0-1_amd64.buildinfo
2022-08-19 10:58
13K
coq-iris_4.0.0-1_arm64.buildinfo
2022-08-19 11:28
13K
coq-iris_4.0.0-1_armhf.buildinfo
2022-08-19 11:13
13K
coq-iris_4.0.0-1_i386.buildinfo
2022-08-19 10:28
13K
coq-iris_4.0.0-1_ppc64el.buildinfo
2022-08-19 11:28
13K
coq-iris_4.0.0-1_s390x.buildinfo
2022-08-19 10:28
13K
coq-iris_4.0.0-1_source.buildinfo
2022-08-19 09:47
13K
coq-iris_4.0.0-2+b1_amd64.buildinfo
2022-11-30 00:55
13K
coq-iris_4.0.0-2+b1_arm64.buildinfo
2022-11-30 02:26
13K
coq-iris_4.0.0-2+b1_armhf.buildinfo
2022-11-30 01:25
13K
coq-iris_4.0.0-2+b1_i386.buildinfo
2022-11-30 00:45
13K
coq-iris_4.0.0-2+b1_ppc64el.buildinfo
2022-11-30 03:42
13K
coq-iris_4.0.0-2+b1_s390x.buildinfo
2022-11-30 04:37
13K
coq-iris_4.0.0-2+b2_amd64.buildinfo
2023-01-24 02:11
13K
coq-iris_4.0.0-2+b2_arm64.buildinfo
2023-01-24 03:42
13K
coq-iris_4.0.0-2+b2_armhf.buildinfo
2023-01-24 04:28
13K
coq-iris_4.0.0-2+b2_i386.buildinfo
2023-01-24 02:26
13K
coq-iris_4.0.0-2+b2_ppc64el.buildinfo
2023-01-24 17:56
13K
coq-iris_4.0.0-2+b2_s390x.buildinfo
2023-01-24 02:11
13K
coq-iris_4.0.0-2_amd64.buildinfo
2022-09-11 13:14
13K
coq-iris_4.0.0-2_arm64.buildinfo
2022-09-11 13:40
13K
coq-iris_4.0.0-2_armhf.buildinfo
2022-09-11 13:40
13K
coq-iris_4.0.0-2_i386.buildinfo
2022-09-11 13:04
13K
coq-iris_4.0.0-2_ppc64el.buildinfo
2022-09-11 13:30
13K
coq-iris_4.0.0-2_s390x.buildinfo
2022-09-11 13:04
13K
coq-iris_4.0.0-2_source.buildinfo
2022-09-11 12:29
13K
coq-iris_4.0.0-3+b1_amd64.buildinfo
2023-02-13 07:44
13K
coq-iris_4.0.0-3+b1_arm64.buildinfo
2023-02-13 08:29
13K
coq-iris_4.0.0-3+b1_armhf.buildinfo
2023-02-13 07:59
13K
coq-iris_4.0.0-3+b1_i386.buildinfo
2023-02-13 07:28
13K
coq-iris_4.0.0-3+b1_ppc64el.buildinfo
2023-02-14 11:10
13K
coq-iris_4.0.0-3+b1_s390x.buildinfo
2023-02-13 07:28
13K
coq-iris_4.0.0-3_amd64.buildinfo
2023-01-26 15:11
13K
coq-iris_4.0.0-3_arm64.buildinfo
2023-01-26 17:12
13K
coq-iris_4.0.0-3_armhf.buildinfo
2023-01-26 14:25
13K
coq-iris_4.0.0-3_i386.buildinfo
2023-01-26 14:20
13K
coq-iris_4.0.0-3_ppc64el.buildinfo
2023-01-27 04:42
13K
coq-iris_4.0.0-3_s390x.buildinfo
2023-01-26 17:27
13K
coq-iris_4.0.0-3_source.buildinfo
2023-01-26 12:44
14K
coq-iris_4.0.0-4+b1_amd64.buildinfo
2023-07-23 06:15
13K
coq-iris_4.0.0-4+b1_arm64.buildinfo
2023-07-23 06:55
13K
coq-iris_4.0.0-4+b1_armhf.buildinfo
2023-07-23 06:40
13K
coq-iris_4.0.0-4+b1_i386.buildinfo
2023-07-23 07:26
13K
coq-iris_4.0.0-4+b1_ppc64el.buildinfo
2023-06-20 09:27
13K
coq-iris_4.0.0-4+b1_riscv64.buildinfo
2023-09-24 08:22
13K
coq-iris_4.0.0-4+b1_s390x.buildinfo
2023-07-23 22:59
13K
coq-iris_4.0.0-4+b2_amd64.buildinfo
2023-09-22 13:43
13K
coq-iris_4.0.0-4+b2_arm64.buildinfo
2023-09-22 14:14
13K
coq-iris_4.0.0-4+b2_armhf.buildinfo
2023-09-22 14:14
13K
coq-iris_4.0.0-4+b2_i386.buildinfo
2023-09-22 13:38
13K
coq-iris_4.0.0-4+b2_ppc64el.buildinfo
2023-07-23 06:25
13K
coq-iris_4.0.0-4+b2_s390x.buildinfo
2023-09-22 13:28
13K
coq-iris_4.0.0-4+b3_ppc64el.buildinfo
2023-09-22 14:14
13K
coq-iris_4.0.0-4_amd64.buildinfo
2023-06-13 08:44
13K
coq-iris_4.0.0-4_arm64.buildinfo
2023-06-16 17:42
13K
coq-iris_4.0.0-4_armhf.buildinfo
2023-06-13 08:44
13K
coq-iris_4.0.0-4_i386.buildinfo
2023-06-13 07:58
13K
coq-iris_4.0.0-4_ppc64el.buildinfo
2023-06-15 06:56
13K
coq-iris_4.0.0-4_riscv64.buildinfo
2023-09-06 11:04
13K
coq-iris_4.0.0-4_s390x.buildinfo
2023-06-13 12:27
13K
coq-iris_4.0.0-4_source.buildinfo
2023-06-13 05:20
14K
coq-iris_4.1.0-1+b1_amd64.buildinfo
2024-03-19 23:18
13K
coq-iris_4.1.0-1+b1_arm64.buildinfo
2024-03-19 23:49
13K
coq-iris_4.1.0-1+b1_armhf.buildinfo
2024-03-31 22:17
13K
coq-iris_4.1.0-1+b1_i386.buildinfo
2024-03-19 23:18
13K
coq-iris_4.1.0-1+b1_ppc64el.buildinfo
2024-03-19 23:29
13K
coq-iris_4.1.0-1+b1_riscv64.buildinfo
2024-04-11 15:25
13K
coq-iris_4.1.0-1+b1_s390x.buildinfo
2024-03-20 05:32
13K
coq-iris_4.1.0-1_amd64.buildinfo
2023-12-23 12:13
13K
coq-iris_4.1.0-1_arm64.buildinfo
2023-12-23 12:08
13K
coq-iris_4.1.0-1_armhf.buildinfo
2023-12-23 12:38
13K
coq-iris_4.1.0-1_i386.buildinfo
2023-12-23 12:08
13K
coq-iris_4.1.0-1_ppc64el.buildinfo
2023-12-23 12:13
13K
coq-iris_4.1.0-1_riscv64.buildinfo
2023-12-23 18:03
13K
coq-iris_4.1.0-1_s390x.buildinfo
2023-12-23 12:08
13K
coq-iris_4.1.0-1_source.buildinfo
2023-12-22 11:07
14K
coq-iris_4.2.0-1_amd64.buildinfo
2024-04-28 15:32
13K
coq-iris_4.2.0-1_arm64.buildinfo
2024-04-28 16:03
13K
coq-iris_4.2.0-1_armhf.buildinfo
2024-04-28 15:26
13K
coq-iris_4.2.0-1_i386.buildinfo
2024-04-28 15:26
13K
coq-iris_4.2.0-1_ppc64el.buildinfo
2024-04-28 15:32
13K
coq-iris_4.2.0-1_s390x.buildinfo
2024-04-28 15:37
13K
coq-iris_4.2.0-1_source.buildinfo
2024-04-26 14:06
14K
coq-iris_4.2.0-2+b1_amd64.buildinfo
2024-06-15 11:51
13K
coq-iris_4.2.0-2+b1_arm64.buildinfo
2024-06-15 11:56
13K
coq-iris_4.2.0-2+b1_armhf.buildinfo
2024-06-15 11:56
13K
coq-iris_4.2.0-2+b1_i386.buildinfo
2024-06-15 12:01
13K
coq-iris_4.2.0-2+b1_ppc64el.buildinfo
2024-06-15 11:56
13K
coq-iris_4.2.0-2+b1_riscv64.buildinfo
2024-06-15 15:58
13K
coq-iris_4.2.0-2+b1_s390x.buildinfo
2024-06-15 22:37
13K
coq-iris_4.2.0-2_amd64.buildinfo
2024-06-10 16:55
13K
coq-iris_4.2.0-2_arm64.buildinfo
2024-06-10 16:50
13K
coq-iris_4.2.0-2_armhf.buildinfo
2024-06-10 17:26
13K
coq-iris_4.2.0-2_i386.buildinfo
2024-06-10 16:50
13K
coq-iris_4.2.0-2_ppc64el.buildinfo
2024-06-10 17:05
13K
coq-iris_4.2.0-2_riscv64.buildinfo
2024-06-10 21:42
13K
coq-iris_4.2.0-2_s390x.buildinfo
2024-06-10 17:46
13K
coq-iris_4.2.0-2_source.buildinfo
2024-06-10 16:10
14K
coq-iris_4.2.0-3+b1_amd64.buildinfo
2024-08-12 04:25
13K
coq-iris_4.2.0-3+b1_arm64.buildinfo
2024-08-12 04:51
13K
coq-iris_4.2.0-3+b1_ppc64el.buildinfo
2024-08-12 04:25
13K
coq-iris_4.2.0-3+b1_riscv64.buildinfo
2024-08-12 08:53
13K
coq-iris_4.2.0-3+b1_s390x.buildinfo
2024-08-12 04:30
13K
coq-iris_4.2.0-3+b2_amd64.buildinfo
2024-08-21 04:35
13K
coq-iris_4.2.0-3+b2_arm64.buildinfo
2024-08-21 04:35
13K
coq-iris_4.2.0-3+b2_ppc64el.buildinfo
2024-08-21 04:35
13K
coq-iris_4.2.0-3+b2_riscv64.buildinfo
2024-08-21 12:15
13K
coq-iris_4.2.0-3+b2_s390x.buildinfo
2024-08-21 05:36
13K
coq-iris_4.2.0-3+b3_ppc64el.buildinfo
2024-08-31 04:00
13K
coq-iris_4.2.0-3_amd64.buildinfo
2024-08-04 06:16
13K
coq-iris_4.2.0-3_arm64.buildinfo
2024-08-04 06:11
13K
coq-iris_4.2.0-3_armhf.buildinfo
2024-08-04 06:37
13K
coq-iris_4.2.0-3_i386.buildinfo
2024-08-04 06:32
13K
coq-iris_4.2.0-3_ppc64el.buildinfo
2024-08-04 06:16
13K
coq-iris_4.2.0-3_riscv64.buildinfo
2024-08-04 12:59
13K
coq-iris_4.2.0-3_s390x.buildinfo
2024-08-04 12:24
13K
coq-iris_4.3.0-1+b1_arm64.buildinfo
2024-11-21 00:03
14K
coq-iris_4.3.0-1+b1_ppc64el.buildinfo
2024-11-21 00:08
14K
coq-iris_4.3.0-1+b1_s390x.buildinfo
2024-11-21 11:53
13K
coq-iris_4.3.0-1_amd64.buildinfo
2024-11-20 15:58
13K
coq-iris_4.3.0-1_arm64.buildinfo
2024-11-20 11:37
13K
coq-iris_4.3.0-1_ppc64el.buildinfo
2024-11-20 11:11
13K
coq-iris_4.3.0-1_riscv64.buildinfo
2024-11-20 20:56
13K
coq-iris_4.3.0-1_s390x.buildinfo
2024-11-20 14:52
13K
coq-iris_4.3.0-1_source.buildinfo
2024-11-20 10:07
14K
Apache/2.4.62 (Debian) Server at buildinfos.debian.net Port 443