Tracker – Changelog – Bugs – packages.d.o – Source
Build logs for coq-deriving
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 0.2.0-3+b5 (sid) |  amd64 |
Maybe-Successful | 2024-10-13 11:42:53 | x86-conova-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-10-13 12:20:45 | arm-ubc-02 | 3m | 7.38 MB | |
| ppc64el |
Maybe-Successful | 2024-10-13 12:42:44 | ppc64el-osuosl-01 | 1m | 14.64 MB | |
| riscv64 |
Maybe-Successful | 2024-10-14 01:25:18 | rv-manda-04 | 12m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-10-13 11:59:05 | zandonai | 1m | 7.38 MB | |
| 0.2.0-3+b4 (sid) | amd64 |
Maybe-Successful | 2024-09-17 11:32:37 | x86-conova-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-09-17 11:33:16 | arm-conova-04 | 1m | 7.38 MB | |
| ppc64el |
Maybe-Successful | 2024-09-17 11:32:22 | ppc64el-conova-01 | 1m | 14.64 MB | |
| riscv64 |
Maybe-Successful | 2024-09-18 05:04:42 | rv-manda-01 | 11m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-09-17 11:34:55 | zandonai | 2m | 7.38 MB | |
| 0.2.0-3+b3 (sid) | amd64 |
Maybe-Successful | 2024-08-31 05:12:50 | x86-ubc-01 | 59s | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-08-31 05:13:03 | arm-conova-01 | 1m | 7.38 MB | |
| ppc64el |
Maybe-Successful | 2024-08-31 03:30:35 | ppc64el-conova-02 | 1m | 14.64 MB | |
| riscv64 |
Maybe-Successful | 2024-08-31 19:32:05 | rv-osuosl-01 | 12m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-08-31 06:07:25 | zandonai | 1m | 7.38 MB | |
| 0.2.0-3+b2 (sid) | amd64 |
Maybe-Successful | 2024-08-21 07:53:10 | x86-csail-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-08-21 09:33:37 | arm-conova-04 | 1m | 7.38 MB | |
| ppc64el |
Maybe-Successful | 2024-08-30 11:04:17 | ppc64el-conova-02 | 1m | 14.64 MB | |
| riscv64 |
Maybe-Successful | 2024-08-22 02:09:10 | rv-manda-04 | 11m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-08-21 08:43:31 | zandonai | 2m | 7.38 MB | |
| 0.2.0-3+b1 (sid) | amd64 |
Maybe-Successful | 2024-08-08 21:24:19 | x86-grnet-03 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-08-08 22:04:13 | arm-conova-04 | 1m | 7.38 MB | |
| riscv64 |
Maybe-Successful | 2024-08-09 14:37:47 | rv-manda-04 | 11m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-08-12 06:57:57 | zani | 1m | 7.38 MB | |
| 0.2.0-3 (sid) | amd64 |
Maybe-Successful | 2024-08-04 19:28:40 | x86-csail-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-08-04 19:31:02 | arm-ubc-02 | 2m | 7.38 MB | |
| armhf |
Maybe-Successful | 2024-08-04 21:43:06 | arm-conova-04 | 1m | 7.38 MB | |
| i386 |
Maybe-Successful | 2024-08-04 19:49:25 | x86-conova-02 | 1m | 7.37 MB | |
| loong64 |
Maybe-Successful | 2024-08-04 20:33:46 | loongson | 4m | 7.52 MB | |
| ppc64 |
Maybe-Successful | 2024-08-04 20:41:21 | debian-project-be-2 | 3m | 7.52 MB | |
| ppc64el |
Maybe-Successful | 2024-08-04 20:56:58 | ppc64el-osuosl-02 | 1m | 14.52 MB | |
| riscv64 |
Maybe-Successful | 2024-08-05 07:31:02 | rv-osuosl-04 | 10m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-08-05 00:35:23 | zandonai | 1m | 7.38 MB | |
| 0.2.0-2+b2 (sid) | amd64 |
Maybe-Successful | 2024-06-15 13:02:27 | x86-csail-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-06-15 15:12:51 | arm-conova-03 | 1m | 7.38 MB | |
| i386 |
Maybe-Successful | 2024-06-15 13:01:53 | x86-grnet-01 | 1m | 7.38 MB | |
| ppc64el |
Maybe-Successful | 2024-06-15 13:07:28 | ppc64el-conova-01 | 1m | 14.58 MB | |
| riscv64 |
Maybe-Successful | 2024-06-16 00:53:22 | rv-manda-02 | 10m | 7.38 MB | |
| 0.2.0-2+b1 (sid) | amd64 |
Maybe-Successful | 2024-06-04 23:32:09 | x86-csail-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-06-05 10:13:23 | arm-conova-04 | 1m | 7.38 MB | |
| armhf |
Maybe-Successful | 2024-06-15 13:14:23 | arm-conova-01 | 1m | 7.38 MB | |
| i386 |
Maybe-Successful | 2024-06-04 23:32:24 | x86-grnet-01 | 1m | 7.38 MB | |
| loong64 |
Maybe-Successful | 2024-06-16 22:36:10 | loongson | 18m | 7.53 MB | |
| ppc64el |
Maybe-Successful | 2024-06-07 11:33:57 | ppc64el-osuosl-02 | 1m | 14.58 MB | |
| riscv64 |
Maybe-Successful | 2024-06-05 14:53:44 | rv-osuosl-01 | 12m | 7.38 MB | |
| s390x |
Maybe-Successful | 2024-06-16 00:39:17 | zani | 1m | 7.38 MB | |
| 0.2.0-2 (sid) | amd64 |
Maybe-Successful | 2024-04-30 15:02:20 | x86-csail-01 | 1m | 7.37 MB |
| arm64 |
Maybe-Successful | 2024-04-30 15:03:59 | arm-ubc-01 | 3m | 7.37 MB | |
| armhf |
Maybe-Successful | 2024-06-07 10:35:49 | arm-ubc-05 | 3m | 7.37 MB | |
| i386 |
Maybe-Successful | 2024-04-30 15:02:34 | x86-grnet-01 | 1m | 7.37 MB | |
| loong64 |
Maybe-Successful | 2024-04-30 15:09:59 | loongson | 3m | 7.52 MB | |
| ppc64 |
Maybe-Successful | 2024-06-19 03:40:15 | buildd | 2m | 7.52 MB | |
| ppc64el |
Maybe-Successful | 2024-04-30 15:03:28 | ppc64el-osuosl-02 | 1m | 14.45 MB | |
| riscv64 |
Maybe-Successful | 2024-04-30 17:11:55 | rv-osuosl-04 | 11m | 7.37 MB | |
| s390x |
Maybe-Successful | 2024-06-07 09:37:25 | zandonai | 2m | 7.37 MB | |
| 0.2.0-1+b3 (sid) | amd64 |
Maybe-Successful | 2024-04-29 16:18:31 | x86-csail-01 | 1m | 7.38 MB |
| arm64 |
Maybe-Successful | 2024-04-29 16:18:14 | arm-conova-02 | 1m | 7.38 MB | |
| i386 |
Maybe-Successful | 2024-04-29 16:19:06 | x86-grnet-01 | 1m | 7.38 MB | |
| ppc64el |
Maybe-Successful | 2024-04-29 16:33:18 | ppc64el-osuosl-02 | 1m | 14.58 MB | |
| 0.2.0-1+b2 (sid) | amd64 |
Maybe-Successful | 2024-03-20 04:47:14 | x86-csail-01 | 1m | 7.23 MB |
| arm64 |
Maybe-Successful | 2024-03-20 05:24:54 | arm-conova-04 | 1m | 7.23 MB | |
| armhf |
Maybe-Successful | 2024-03-31 23:22:56 | arm-conova-01 | 1m | 7.21 MB | |
| i386 |
Maybe-Successful | 2024-03-20 03:19:18 | x86-ubc-02 | 1m | 7.21 MB | |
| ppc64el |
Maybe-Successful | 2024-03-20 04:46:55 | ppc64el-osuosl-02 | 1m | 14.37 MB | |
| riscv64 |
Maybe-Successful | 2024-04-12 05:27:06 | rv-osuosl-01 | 12m | 7.23 MB | |
| s390x |
Maybe-Successful | 2024-03-20 12:57:37 | zandonai | 1m | 7.23 MB | |
| 0.2.0-1+b1 (sid) | amd64 |
Maybe-Successful | 2024-02-16 14:57:53 | x86-grnet-01 | 1m | 7.23 MB |
| arm64 |
Maybe-Successful | 2024-02-16 17:33:12 | arm-ubc-03 | 3m | 7.23 MB | |
| armhf |
Maybe-Successful | 2024-02-16 14:04:11 | arm-ubc-04 | 3m | 7.21 MB | |
| i386 |
Maybe-Successful | 2024-02-16 14:58:11 | x86-ubc-02 | 1m | 7.21 MB | |
| loong64 |
Maybe-Successful | 2024-04-29 17:49:36 | loongson | 2m | 7.53 MB | |
| ppc64el |
Maybe-Successful | 2024-02-16 15:13:59 | ppc64el-osuosl-01 | 1m | 14.37 MB | |
| riscv64 |
Maybe-Successful | 2024-02-18 01:19:05 | rv-osuosl-03 | 11m | 7.23 MB | |
| s390x |
Maybe-Successful | 2024-02-16 14:57:42 | zandonai | 1m | 7.23 MB | |
| 0.2.0-1 (sid) | amd64 |
Maybe-Successful | 2023-12-25 11:43:38 | x86-csail-01 | 1m | 7.21 MB |
| arm64 |
Maybe-Successful | 2023-12-25 11:45:32 | arm-ubc-01 | 3m | 7.21 MB | |
| armhf |
Maybe-Successful | 2023-12-31 23:45:22 | arm-ubc-05 | 3m | 7.2 MB | |
| i386 |
Maybe-Successful | 2023-12-25 11:43:22 | x86-grnet-01 | 1m | 7.2 MB | |
| loong64 |
Maybe-Successful | 2024-04-16 20:49:40 | loongson | 2m | 7.36 MB | |
| ppc64el |
Maybe-Successful | 2023-12-25 11:43:20 | ppc64el-conova-02 | 1m | 14.24 MB | |
| riscv64 |
Maybe-Successful | 2024-01-04 04:43:26 | rv-osuosl-05 | 11m | 7.21 MB | |
| s390x |
Maybe-Successful | 2023-12-31 23:33:04 | zani | 1m | 7.21 MB | |
| 0.1.1-1+b3 (sid) | hurd-i386 |
Maybe-Successful | 2023-10-01 10:19:04 | ironforge | 6m | 9.24 MB |
| 0.1.1-1+b2 (sid) | amd64 |
Maybe-Successful | 2023-09-22 08:59:57 | x86-csail-01 | 2m | 8.96 MB |
| arm64 |
Maybe-Successful | 2023-09-22 11:04:52 | arm-arm-04 | 4m | 8.96 MB | |
| armhf |
Maybe-Successful | 2023-09-22 09:53:06 | arm-ubc-06 | 4m | 8.96 MB | |
| hurd-i386 |
Maybe-Successful | 2023-08-13 18:15:24 | mahler | 9m | 9.24 MB | |
| Maybe-Given-back | 2023-08-13 17:03:26 | ironforge | — | — | ||
| i386 |
Maybe-Successful | 2023-09-22 09:00:19 | x86-grnet-01 | 2m | 8.96 MB | |
| ppc64el |
Maybe-Successful | 2023-09-22 09:38:05 | ppc64el-osuosl-02 | 3m | 16.29 MB | |
| s390x |
Maybe-Successful | 2023-09-22 08:07:52 | zandonai | 2m | 8.96 MB | |
| 0.1.1-1+b1 (sid) | amd64 |
Maybe-Successful | 2023-07-23 07:31:08 | x86-csail-01 | 2m | 8.96 MB |
| arm64 |
Maybe-Successful | 2023-07-23 07:51:29 | arm-ubc-03 | 5m | 8.96 MB | |
| armhf |
Maybe-Successful | 2023-07-23 07:52:12 | arm-arm-01 | 4m | 8.96 MB | |
| hurd-i386 |
Maybe-Successful | 2023-07-25 23:40:50 | ironforge | 5m | 9.24 MB | |
| i386 |
Maybe-Successful | 2023-07-23 07:34:10 | x86-ubc-02 | 2m | 8.96 MB | |
| ppc64 |
Maybe-Successful | 2023-07-23 06:42:10 | buildd | 4m | 9.11 MB | |
| ppc64el |
Maybe-Successful | 2023-07-23 08:20:26 | ppc64el-osuosl-02 | 3m | 16.29 MB | |
| riscv64 |
Maybe-Successful | 2023-09-24 09:29:45 | rv-osuosl-01 | 22m | 8.96 MB | |
| Maybe-Successful | 2023-07-26 00:55:51 | rv-osuosl-05 | 24m | 8.96 MB | ||
| s390x |
Maybe-Successful | 2023-07-23 22:29:01 | zandonai | 1m | 8.96 MB | |
| 0.1.1-1 (sid) | amd64 |
Maybe-Successful | 2023-06-14 22:06:11 | x86-csail-01 | 2m | 8.96 MB |
| arm64 |
Maybe-Successful | 2023-06-14 22:25:38 | arm-arm-04 | 4m | 8.96 MB | |
| armhf |
Maybe-Successful | 2023-06-14 22:05:37 | arm-ubc-04 | 4m | 8.96 MB | |
| hurd-i386 |
Maybe-Successful | 2023-06-14 16:15:42 | ironforge | 7m | 9.23 MB | |
| i386 |
Maybe-Successful | 2023-06-14 22:03:53 | x86-grnet-01 | 2m | 8.96 MB | |
| ppc64 |
Maybe-Successful | 2023-06-14 14:54:03 | buildd | 4m | 9.11 MB | |
| ppc64el |
Maybe-Successful | 2023-06-19 18:49:02 | ppc64el-osuosl-02 | 3m | 16.16 MB | |
| riscv64 |
Maybe-Successful | 2023-08-30 21:47:09 | rv-osuosl-03 | 23m | 8.96 MB | |
| Maybe-Successful | 2023-06-14 15:14:02 | rv-osuosl-02 | 23m | 8.96 MB | ||
| s390x |
Maybe-Successful | 2023-06-14 20:57:51 | zandonai | 1m | 8.96 MB | |
| 0.1.0-2+b1 (sid) | amd64 |
Maybe-Successful | 2023-02-13 07:13:53 | x86-conova-01 | 2m | 8.9 MB |
| arm64 |
Maybe-Successful | 2023-02-13 07:12:11 | arm-ubc-01 | 4m | 8.9 MB | |
| armhf |
Maybe-Successful | 2023-02-13 07:12:15 | arm-conova-01 | 5m | 8.89 MB | |
| i386 |
Maybe-Successful | 2023-02-13 07:05:28 | x86-grnet-01 | 2m | 8.89 MB | |
| ppc64 |
Maybe-Successful | 2023-02-13 10:34:41 | buildd | 4m | 9.05 MB | |
| ppc64el |
Maybe-Successful | 2023-02-13 23:51:31 | ppc64el-osuosl-01 | 3m | 16.04 MB | |
| riscv64 |
Maybe-Successful | 2023-02-13 16:54:17 | rv-plct-04 | 25m | 8.9 MB | |
| s390x |
Maybe-Successful | 2023-02-13 10:14:24 | zani | 2m | 8.9 MB | |
| 0.1.0-2 (sid) | amd64 |
Maybe-Successful | 2023-01-26 14:37:04 | x86-conova-01 | 2m | 8.89 MB |
| arm64 |
Maybe-Successful | 2023-01-26 14:50:34 | arm-arm-04 | 4m | 8.89 MB | |
| armhf |
Maybe-Successful | 2023-01-26 13:25:03 | arm-ubc-05 | 4m | 8.89 MB | |
| hurd-i386 |
Maybe-Successful | 2023-01-26 15:59:33 | mahler | 5m | 9.16 MB | |
| i386 |
Maybe-Successful | 2023-01-26 13:54:05 | x86-grnet-01 | 2m | 8.89 MB | |
| ppc64 |
Maybe-Successful | 2023-01-26 13:48:35 | buildd | 4m | 9.04 MB | |
| ppc64el |
Maybe-Successful | 2023-01-27 03:59:05 | ppc64el-osuosl-01 | 3m | 15.91 MB | |
| riscv64 |
Maybe-Successful | 2023-01-26 14:04:29 | rv-mullvad-03 | 22m | 9.04 MB | |
| s390x |
Maybe-Successful | 2023-01-26 16:55:35 | zandonai | 2m | 8.89 MB | |
| 0.1.0-1+b4 (sid) | amd64 |
Maybe-Successful | 2023-01-24 03:26:49 | x86-conova-01 | 2m | 8.9 MB |
| 0.1.0-1+b3 (sid) | amd64 |
Maybe-Successful | 2022-11-30 04:18:40 | x86-csail-01 | 2m | 8.9 MB |
| arm64 |
Maybe-Successful | 2023-01-24 04:22:19 | arm-ubc-02 | 4m | 8.9 MB | |
| armhf |
Maybe-Successful | 2023-01-24 03:58:30 | arm-ubc-06 | 4m | 8.89 MB | |
| hurd-i386 |
Maybe-Successful | 2023-01-24 07:57:49 | mahler | 3m | 9.17 MB | |
| i386 |
Maybe-Successful | 2023-01-24 03:30:52 | x86-ubc-02 | 2m | 8.89 MB | |
| ppc64 |
Maybe-Successful | 2023-01-24 02:44:10 | buildd | 4m | 9.05 MB | |
| ppc64el |
Maybe-Successful | 2023-01-24 18:03:22 | ppc64el-osuosl-01 | 3m | 16.04 MB | |
| riscv64 |
Maybe-Successful | 2023-01-24 10:56:10 | rv-osuosl-02 | 24m | 8.9 MB | |
| s390x |
Maybe-Successful | 2023-01-24 02:26:41 | zandonai | 2m | 8.9 MB | |
| 0.1.0-1+b2 (sid) | amd64 |
Maybe-Successful | 2022-09-08 23:27:25 | x86-ubc-01 | 2m | 8.89 MB |
| arm64 |
Maybe-Successful | 2022-11-30 04:17:53 | arm-ubc-02 | 5m | 8.9 MB | |
| armhf |
Maybe-Successful | 2022-11-30 03:25:51 | arm-ubc-05 | 4m | 8.89 MB | |
| hurd-i386 |
Maybe-Successful | 2022-11-30 04:51:34 | ironforge | 5m | 9.17 MB | |
| i386 |
Maybe-Successful | 2022-11-30 01:37:21 | x86-grnet-01 | 2m | 8.89 MB | |
| ppc64 |
Maybe-Successful | 2022-11-30 00:48:13 | kapitsa | 8m | 9.05 MB | |
| ppc64el |
Maybe-Successful | 2022-11-30 03:40:59 | ppc64el-osuosl-01 | 3m | 16.04 MB | |
| riscv64 |
Maybe-Successful | 2022-11-30 07:55:52 | rv-osuosl-02 | 25m | 8.9 MB | |
| s390x |
Maybe-Successful | 2022-11-30 04:37:24 | zani | 2m | 8.9 MB | |
| 0.1.0-1+b1 (sid) | amd64 |
Maybe-Successful | 2022-07-27 00:41:51 | x86-ubc-01 | 2m | 8.95 MB |
| arm64 |
Maybe-Successful | 2022-09-08 20:59:02 | arm-arm-04 | 4m | 8.89 MB | |
| armhf |
Maybe-Successful | 2022-09-08 21:09:45 | arm-ubc-06 | 4m | 8.89 MB | |
| hurd-i386 |
Maybe-Successful | 2022-09-08 20:38:58 | ironforge | 8m | 9.16 MB | |
| i386 |
Maybe-Successful | 2022-09-08 21:36:50 | x86-ubc-02 | 2m | 8.89 MB | |
| ppc64 |
Maybe-Successful | 2022-09-08 20:38:34 | buildd | 5m | 9.04 MB | |
| ppc64el |
Maybe-Successful | 2022-09-09 03:02:49 | ppc64el-osuosl-01 | 6m | 15.91 MB | |
| riscv64 |
Maybe-Successful | 2022-09-08 22:39:02 | rv-plct-04 | 23m | 8.89 MB | |
| s390x |
Maybe-Successful | 2022-09-08 22:27:58 | zani | 2m | 8.89 MB | |
| 0.1.0-1 (sid) | arm64 |
Maybe-Successful | 2022-07-18 16:37:03 | arm-arm-03 | 7m | 8.94 MB |
| armhf |
Maybe-Successful | 2022-07-18 17:25:31 | arm-ubc-05 | 5m | 8.92 MB | |
| hurd-i386 |
Maybe-Successful | 2022-07-20 10:15:51 | ironforge | 5m | 9.19 MB | |
| i386 |
Maybe-Successful | 2022-07-18 19:13:12 | x86-ubc-02 | 2m | 8.92 MB | |
| ppc64 |
Maybe-Successful | 2022-07-19 02:15:20 | buildd | 5m | 9.09 MB | |
| ppc64el |
Maybe-Successful | 2022-07-19 20:24:55 | ppc64el-unicamp-01 | 3m | 15.92 MB | |
| riscv64 |
Maybe-Successful | 2022-07-18 22:13:28 | rv-rr44-01 | 19m | 8.94 MB | |
| s390x |
Maybe-Successful | 2022-07-22 19:37:49 | zandonai | 2m | 8.94 MB | |
Download build logs
Install getbuildlog: sudo apt install devscripts
Download latest coq-deriving build logs: getbuildlog coq-deriving last
Download all coq-deriving build logs: getbuildlog coq-deriving