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 file
Patch File delta Description
no online | (download)

root/progvis/main.bs | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 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 !
Gui/.mymake | 4 2 + 2 - 0 !
Makefile | 78 78 + 0 - 0 !
compile_doc.sh | 5 5 + 0 - 0 !
install_icons.sh | 8 8 + 0 - 0 !
res/org.storm_lang.progvis.desktop | 2 1 + 1 - 0 !
scripts/progvis | 2 2 + 0 - 0 !
update_version.sh | 4 4 + 0 - 0 !
8 files changed, 106 insertions(+), 4 deletions(-)

 debian-specific build files.
disabled tests | (download)

Test/Core/NetTest.cpp | 4 2 + 2 - 0 !
Test/Storm/Shared.cpp | 3 2 + 1 - 0 !
2 files changed, 4 insertions(+), 3 deletions(-)

---
examples location | (download)

root/progvis/main.bs | 9 3 + 6 - 0 !
1 file changed, 3 insertions(+), 6 deletions(-)

 update location of example files to suit debian.
doc location | (download)

root/markdown/doc/main.bs | 27 4 + 23 - 0 !
1 file changed, 4 insertions(+), 23 deletions(-)

 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.