diff options
author | Guillem Jover <guillem@debian.org> | 2023-10-07 06:01:21 +0200 |
---|---|---|
committer | Guillem Jover <guillem@debian.org> | 2023-10-07 06:10:02 +0200 |
commit | acad0e189af43d486b586d3628b2f3afa4b55523 (patch) | |
tree | c1814f20367b6860ffc9ea2b12dc17893ca4e530 /english/ports | |
parent | 7f0a99a95070ae3261fa63867f7ed7f0d3bf0b1b (diff) |
ports: Add context information about official and non-official ports
Mention their status, and what they are part of, and where to find them.
Diffstat (limited to 'english/ports')
-rw-r--r-- | english/ports/index.wml | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/english/ports/index.wml b/english/ports/index.wml index 434a86d705f..0b9ddc770a9 100644 --- a/english/ports/index.wml +++ b/english/ports/index.wml @@ -38,7 +38,11 @@ </div> <toc-add-entry name="portlist-released">List of official ports</toc-add-entry> -<br /> + +<p> +These ports are the officially supported architectures by the Debian project, +and either part of an official release or to be part of an upcoming one. +</p> <table class="tabular" summary=""> <tbody> @@ -137,6 +141,19 @@ a free/open ISA.</td> <toc-add-entry name="portlist-other">List of other ports</toc-add-entry> +<p> +These ports are either work in progress efforts that intend to eventually +be promoted into officially released architectures, ports that were once +officially supported but stopped being released because failed the release +qualification or had limited developer interest, or ports that are no +longer worked on and are listed for historical interest. +</p> + +<p> +These ports, when they are still actively maintained, are available on +the <url "https://www.ports.debian.org/"> infrastructure. +</p> + <div class="tip"> <p> There are non-official installation images available for some of the following ports in |