Differences between revisions 19 and 20
Revision 19 as of 2022-01-05 03:44:54
Size: 2524
Editor: PaulWise
Comment: add MLton docs
Revision 20 as of 2022-05-19 23:08:28
Size: 2537
Editor: PaulWise
Comment: buildd setup page also refers to porterboxen
Deletions are marked like this. Additions are marked like this.
Line 28: Line 28:
 * [[PortsDocs/BuilddSetup|Setting up one or multiple buildd instances with scripts]]  * [[PortsDocs/BuilddSetup|Setting up one or multiple buildd or porterbox instances with scripts]]

Debian ports

This page is a complement to the official list of Debian ports.

If you would like to add a new port, please enter the codename of the new port in lower case. You will then be able to fill out the template with information about your port, have an idea of how to go about creating the port and read documentation below for more details.

Documentation

Intro

Howto

Other distributions

Misc


CategoryPorts