On Sun, Jul 12, 2015 at 10:44 PM, gregor herrmann wrote: > On Sun, 12 Jul 2015 07:35:47 -0700, tony mancill wrote: >> By the way, it looks like https://www.debian.org/ports/ is somewhat out >> of date - e.g. arm64 isn't listed - and refers to reader to a wiki page >> (which I find confusing for what should be the canonical source for port >> information). Do you perhaps know whom to work with on getting it updated? > > Hm, maybe asking on [email protected] might help. > And/or checking/filing a bug against > https://bugs.debian.org/www.debian.org
The ports page is indeed fairly poorly maintained by porters and a bug/patch against www.debian.org is indeed the way to improve it. More info about how the website is developed is available here: https://www.debian.org/devel/website/ -- bye, pabs https://wiki.debian.org/PaulWise -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/caktje6ew74r2ru9rmpa4lgt3x2n3aofrwogt0rtyxy0xdfq...@mail.gmail.com
