Debian Patches
Status for storm-lang/0.6.28-3
| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| no-online | Disable the online menu. This menu is not stable enough to ship long-term yet, as it relies on an externally hosted server which is not likely to be ahead of the installed version. |
Filip Strömbäck <filip@fprg.se> | not-needed | |||
| build-files | Debian-specific build files. | Filip Strömbäck <filip@fprg.se> | not-needed | |||
| examples-location | Update location of example files to suit Debian. | Filip Strömbäck <filip@fprg.se> | not-needed | |||
| doc-location | Update the documentation generation to suit Debian. Since the source for the documentation is not packaged on Debian, the special entrypoint for the documentation is disabled and replaced with a message informing users of the location of the pre-packaged documentation. |
Filip Strömbäck <filip@fprg.se> | not-needed | |||
| fix-test-lib | Backport of minor issues in the unit test library. | Filip Strömbäck <filip@fprg.se> | invalid |