Debian Patches

Status for storm-lang/0.6.22-1

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 <> not-needed
build-files Debian-specific build files. Filip Strömbäck <> not-needed
examples-location Update location of example files to suit Debian. Filip Strömbäck <> 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 <> not-needed

All known versions for source package 'storm-lang'