This port has been deleted. This page will exist till another port with the name "gnu-extension-headers" comes
into existence.
gnu-extension-headers (devel/gnu-extension-headers) Add to my watchlist
Provides versions of various GNU extension headersVersion: 1.1 License: GPL-3+
18 build(s) found
| Builder | Build Number | Start Time | Elapsed Time | Watcher | Build Status |
|---|---|---|---|---|---|
| 11 | 88350 | 2022-10-26 17:05:31 | 0:00:12 | 24569 | build successful |
| 10.12 | 202735 | 2022-10-26 16:59:32 | 0:00:12 | 62813 | build successful |
| 11.arm64 | 68825 | 2022-10-26 16:52:03 | 0:00:06 | 24531 | build successful |
| 12.arm64 | 10530 | 2021-11-11 9:31:53 | 0:00:05 | 799 | build successful |
| 11 | 8160 | 2020-12-18 17:15:44 | 0:00:45 | 984 | build successful |
| 10.15 | 2307 | 2019-11-07 15:39:45 | 0:01:11 | 116 | build successful |
| 10.14 | 30015 | 2019-05-01 17:56:08 | 0:00:52 | 5796 | build successful |
| 10.13 | 55925 | 2019-05-01 17:55:18 | 0:01:00 | 15085 | build successful |
| 10.12 | 90643 | 2019-05-01 17:53:21 | 0:00:46 | 23110 | build successful |
| 10.10 | 85922 | 2019-05-01 17:52:45 | 0:00:44 | 24166 | build successful |
| 10.11 | 85428 | 2019-05-01 17:52:09 | 0:00:48 | 24118 | build successful |
| 10.9 | 87848 | 2019-05-01 17:49:36 | 0:00:33 | 24111 | build successful |
| 10.11 | 85426 | 2019-05-01 16:56:46 | 0:00:58 | 24117 | build successful |
| 10.13 | 55923 | 2019-05-01 16:55:17 | 0:01:13 | 15084 | build successful |
| 10.14 | 30013 | 2019-05-01 16:54:24 | 0:01:00 | 5795 | build successful |
| 10.12 | 90641 | 2019-05-01 16:53:11 | 0:01:01 | 23109 | build successful |
| 10.10 | 85920 | 2019-05-01 16:51:59 | 0:01:07 | 24165 | build successful |
| 10.9 | 87846 | 2019-05-01 16:50:02 | 0:00:37 | 24110 | build successful |