Differences between revisions 18 and 20 (spanning 2 versions)
Revision 18 as of 2021-05-28 02:41:15
Size: 2413
Editor: PaulWise
Comment: add link to new port creation steps page
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 27: Line 27:
 * [[PortsDocs/BuilddSetup|Setting up one or multiple buildd instances with scripts]]  * [[http://mlton.org/PortingMLton|Porting]] and [[http://mlton.org/CrossCompiling|cross-compiling]] MLton
* [[PortsDocs/BuilddSetup|Setting up one or multiple buildd or porterbox instances with scripts]]
Line 30: Line 31:
 

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