Package: storm-lang / 0.7.0-1
Metadata
Package | Version | Patches format |
---|---|---|
storm-lang | 0.7.0-1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
no online | (download) |
root/progvis/main.bs |
2 1 + 1 - 0 ! |
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. |
build files | (download) |
.myproject |
7 6 + 1 - 0 ! |
debian-specific build files. |
disabled tests | (download) |
Test/Core/NetTest.cpp |
4 2 + 2 - 0 ! |
--- |
examples location | (download) |
root/progvis/main.bs |
9 3 + 6 - 0 ! |
update location of example files to suit debian. |
doc location | (download) |
root/markdown/doc/main.bs |
27 4 + 23 - 0 ! |
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. |