Differences between revisions 18 and 21 (spanning 3 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 21 as of 2022-05-19 23:41:33
Size: 2546
Editor: PaulWise
Comment: page got renamed
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/BuilddPorterboxSetup|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.




Other distributions