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+
| Maintainers | No Maintainer |
| Categories | devel lang |
| Homepage | |
| Platforms | any |
| Variants | - |
"gnu-extension-headers" depends on
build (1)
Ports that depend on "gnu-extension-headers"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: Port gnu-extension-headers not found
last updated: 2 hours ago