| Port: | math/coq |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| math/coq@devel_nox | 8.19_1,3 | 140arm64-quarterly | fetch | 2024-04-09 11:29 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 140arm64-quarterly | fetch | 2024-04-09 03:40 | log report build queue |
| math/coq@nox | 8.19_1,3 | 140arm64-quarterly | fetch | 2024-04-08 21:20 | log report build queue |
| math/coq@canna | 8.19_1,3 | 140arm64-quarterly | fetch | 2024-04-08 06:15 | log report build queue |
| math/coq@full | 8.19_1,3 | 140arm64-quarterly | fetch | 2024-04-07 23:53 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-07 01:36 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-07 01:32 | log report build queue |
| math/coq@nox | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-07 01:26 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-07 01:23 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-07 01:21 | log report build queue |
| math/coq@canna | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-07 01:20 | log report build queue |
| math/coq@nox | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-07 01:19 | log report build queue |
| math/coq@full | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-07 01:18 | log report build queue |
| math/coq@canna | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-07 01:17 | log report build queue |
| math/coq@full | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-07 01:16 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 140amd64-quarterly | fetch | 2024-04-06 23:35 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 140amd64-quarterly | fetch | 2024-04-06 10:33 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-06 03:36 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-06 03:16 | log report build queue |
| math/coq@nox | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-06 02:58 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-06 02:18 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-06 02:08 | log report build queue |
| math/coq@canna | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-06 02:00 | log report build queue |
| math/coq@nox | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-06 01:50 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-06 01:49 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-06 01:44 | log report build queue |
| math/coq@full | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-06 01:44 | log report build queue |
| math/coq@nox | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-06 01:29 | log report build queue |
| math/coq@canna | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-06 01:28 | log report build queue |
| math/coq@canna | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-06 01:22 | log report build queue |
| math/coq@full | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-06 01:22 | log report build queue |
| math/coq@full | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-06 01:19 | log report build queue |
| math/coq@nox | 8.19_1,3 | 140amd64-quarterly | fetch | 2024-04-05 23:42 | log report build queue |
| math/coq@canna | 8.19_1,3 | 140amd64-quarterly | fetch | 2024-04-04 18:10 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-04 08:28 | log report build queue |
| math/coq@full | 8.19_1,3 | 140amd64-quarterly | fetch | 2024-04-04 06:59 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-04 01:47 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-04 01:36 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-04 01:32 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-04 01:29 | log report build queue |
| math/coq@nox | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-04 01:26 | log report build queue |
| math/coq@nox | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-04 01:24 | log report build queue |
| math/coq@canna | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-04 01:20 | log report build queue |
| math/coq@full | 8.19_1,3 | 132amd64-quarterly | fetch | 2024-04-04 01:18 | log report build queue |
| math/coq@canna | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-04 01:18 | log report build queue |
| math/coq@full | 8.19_1,3 | 132i386-quarterly | fetch | 2024-04-04 01:15 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-03 23:33 | log report build queue |
| math/coq@nox | 8.19_1,3 | 140i386-quarterly | fetch | 2024-04-03 16:24 | log report build queue |
| math/coq@devel_nox | 8.19_1,3 | 132arm64-quarterly | fetch | 2024-04-03 08:25 | log report build queue |
| math/coq@devel_full | 8.19_1,3 | 132arm64-quarterly | fetch | 2024-04-03 00:12 | log report build queue |
See the fallout history page for more entries for this port.