Differences between revisions 18 and 19
Revision 18 as of 2021-05-28 02:41:15
Size: 2413
Editor: PaulWise
Comment: add link to new port creation steps page
Revision 19 as of 2022-01-05 03:44:54
Size: 2524
Editor: PaulWise
Comment: add MLton docs
Deletions are marked like this. Additions are marked like this.
Line 27: Line 27:
 * [[http://mlton.org/PortingMLton|Porting]] and [[http://mlton.org/CrossCompiling|cross-compiling]] MLton
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