Debian Patches
Status for mlton/20241230+git20251029+dfsg-1
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| 05_riscv64.diff | Add RISCV64 support | Ryan Kavanagh <rak@debian.org> | no | 2025-05-20 | ||
| 04_mips64el.diff | Add a mips64el port | "Wesley W. Terpstra" <terpstra@debian.org> | no | 2025-05-20 | ||
| 07_DFSG.diff | Handle missing non-DFSG-free files We excluded several non-DFSG-free files from the tarball. Update the build system to not rely or use these. We disable building mlnlffigen as collateral damage from removing ckit-lib (see dependencies in mlnlffigen/sources.mlb). We comment out the paths to extracted tarballs in .gitignore to keep the clean target from deleting them. |
Ryan Kavanagh <rak@debian.org> | not-needed | debian | 2021-12-19 | |
| 08_postpone_tests.diff | Don't automatically run tests during build We would like to control when we run tests so that, e.g., no tests are run if DEB_BUILD_OPTIONS includes nocheck. Drop the tests from the build, and instead call them from debian/rules when desired. |
Ryan Kavanagh <rak@debian.org> | not-needed | 2022-01-01 | ||
| 09_schroot_bootstrap.diff | Support schroot when bootstrapping on remote porterbox | Ryan Kavanagh <rak@debian.org> | not-needed | 2025-11-07 |