storm-lang-doc (0.7.5-2)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-sid
- Repository
- https://deb.debian.org/debian
- Codename
- sid
- Component
- main
- Source
- storm-lang
- Architecture
- s390x
- Section
- devel
- Priority
- optional
- Maintainer
- Filip Strömbäck <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 6.4 kB
- Size expected
- 406.7 kB
- Size actual
- 406.7 kB
- Size match
Dependencies
Required package dependencies
- None
Suggested packages
Recommended additional packages
- None
Description
Documentation for Storm
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | ae59a10c…3b793c7d | |
| SHA-1 | f64e119e…a28d1da2 | |
| SHA-256 | be68e12d…19429aac | |
| SHA-512 | 957df225…5b4ff489 |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/storm-lang usr/share/doc/storm-lang/html usr/share/doc/storm-lang/html/01-Getting_Started usr/share/doc/storm-lang/html/01-Getting_Started/01-Installing_Storm usr/share/doc/storm-lang/html/01-Getting_Started/01-Installing_Storm/index.html usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm/01-Bundled_Programs.html usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm/02-In_the_Terminal.html usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm/03-The_Top_Loop.html usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm/04-Getting_Help.html usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm/05-External_Code.html usr/share/doc/storm-lang/html/01-Getting_Started/02-Running_Storm/index.html usr/share/doc/storm-lang/html/01-Getting_Started/03-Developing_in_Storm usr/share/doc/storm-lang/html/01-Getting_Started/03-Developing_in_Storm/01-Source_References.html usr/share/doc/storm-lang/html/01-Getting_Started/03-Developing_in_Storm/02-Compilation_Model.html usr/share/doc/storm-lang/html/01-Getting_Started/03-Developing_in_Storm/03-Compile_from_Source.html usr/share/doc/storm-lang/html/01-Getting_Started/03-Developing_in_Storm/04-Emacs_Integration.html usr/share/doc/storm-lang/html/01-Getting_Started/03-Developing_in_Storm/index.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/01-Fundamentals.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/02-Values_and_Classes.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/03-Threading.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/04-Files_and_Streams.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/05-Serialization.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/06-UI.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/07-Tests.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/08-Using_Grammar.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/09-New_Expressions usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/09-New_Expressions/01-Repeat_Using_AST.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/09-New_Expressions/02-Repeat_Using_IR.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/09-New_Expressions/03-Map_Using_AST.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/09-New_Expressions/04-Map_Using_IR.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/09-New_Expressions/index.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/10-New_Entities.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/11-New_Languages.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/12-Libraries_in_C++.html usr/share/doc/storm-lang/html/01-Getting_Started/04-Tutorials/index.html usr/share/doc/storm-lang/html/01-Getting_Started/index.html usr/share/doc/storm-lang/html/02-Language_Reference usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/01-Threading_Model.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/02-Type_System.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/03-The_Name_Tree.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/04-Exceptions.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/05-Compilation_Model.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/06-Packages_and_Files.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/07-Top_Loop.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/08-Command_Line.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/09-Language_Server usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/09-Language_Server/01-Emacs_Plugin.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/09-Language_Server/02-Protocol.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/09-Language_Server/03-Languages.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/09-Language_Server/index.html usr/share/doc/storm-lang/html/02-Language_Reference/01-Storm/index.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/01-Names.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/02-Comments.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/01-Functions.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/02-Types.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/03-Enumerations.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/04-Global_Variables.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/05-Named_Threads.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/06-Generators.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/03-Definitions/index.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/01-Literals.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/02-Variables.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/03-Blocks.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/04-Function_Calls.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/05-Function_Return.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/06-Operators.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/07-Conditionals.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/08-Loops.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/09-Maybe_and_Null.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/10-Exceptions.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/11-Type_Conversions.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/12-Function_Objects.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/04-Code/index.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/05-Extensibility usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/05-Extensibility/01-Expressions.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/05-Extensibility/02-Blocks.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/05-Extensibility/03-Metaprogramming.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/05-Extensibility/index.html usr/share/doc/storm-lang/html/02-Language_Reference/02-Basic_Storm/index.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/01-Terminology.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/02-Names.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/03-Visibility.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/04-Grammar.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/05-The_Parse_Tree.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/06-Syntax_Transforms.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/07-Syntax_Highlighting.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/08-Indentation.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/09-The_Info_Tree.html usr/share/doc/storm-lang/html/02-Language_Reference/03-The_Syntax_Language/index.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/01-Type_Descriptions.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/02-Listings.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/03-Sizes_and_Offsets.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/04-References.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/05-Operands.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/06-Instructions.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/07-Binary_Objects.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/08-Example.html usr/share/doc/storm-lang/html/02-Language_Reference/04-Intermediate_Language/index.html usr/share/doc/storm-lang/html/02-Language_Reference/05-C++ usr/share/doc/storm-lang/html/02-Language_Reference/05-C++/01-Compilation.html usr/share/doc/storm-lang/html/02-Language_Reference/05-C++/02-Annotations.html usr/share/doc/storm-lang/html/02-Language_Reference/05-C++/03-Objects.html usr/share/doc/storm-lang/html/02-Language_Reference/05-C++/04-Threading.html usr/share/doc/storm-lang/html/02-Language_Reference/05-C++/05-Debugging.html usr/share/doc/storm-lang/html/02-Language_Reference/05-C++/index.html usr/share/doc/storm-lang/html/02-Language_Reference/index.html usr/share/doc/storm-lang/html/03-Library_Reference usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/01-Primitive_Types.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/02-Objects_and_Actors.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/03-Strings.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/04-Containers.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/05-Iterators.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/06-Maybe.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/07-Variant.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/08-Function_Objects.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/09-Exceptions.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/10-Copying_Objects.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/01-Url.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/02-Buffers.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/03-Streams.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/04-Text_IO.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/05-Standard_Streams.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/06-Networking.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/07-Serial_Ports.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/08-Other_Streams.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/09-Serialization.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/11-IO/index.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/12-Threading.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/13-Geometry.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/14-Graphics.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/15-Time.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/16-System_Interfaces.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/17-Stack_Traces.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/18-Unknown_Types.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/19-Unsafe_Operations.html usr/share/doc/storm-lang/html/03-Library_Reference/01-Standard_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/02-Compiler_Library usr/share/doc/storm-lang/html/03-Library_Reference/02-Compiler_Library/01-The_Value_Type.html usr/share/doc/storm-lang/html/03-Library_Reference/02-Compiler_Library/02-Named_Entities.html usr/share/doc/storm-lang/html/03-Library_Reference/02-Compiler_Library/03-Parsing.html usr/share/doc/storm-lang/html/03-Library_Reference/02-Compiler_Library/04-Code_Generation.html usr/share/doc/storm-lang/html/03-Library_Reference/02-Compiler_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/03-Unit_Tests usr/share/doc/storm-lang/html/03-Library_Reference/03-Unit_Tests/index.html usr/share/doc/storm-lang/html/03-Library_Reference/04-Parser_Library usr/share/doc/storm-lang/html/03-Library_Reference/04-Parser_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/05-Sound_Library usr/share/doc/storm-lang/html/03-Library_Reference/05-Sound_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/06-Graphics_Library usr/share/doc/storm-lang/html/03-Library_Reference/06-Graphics_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/07-Layout_Library usr/share/doc/storm-lang/html/03-Library_Reference/07-Layout_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/08-UI_Library usr/share/doc/storm-lang/html/03-Library_Reference/08-UI_Library/01-Windows.html usr/share/doc/storm-lang/html/03-Library_Reference/08-UI_Library/02-Layout.html usr/share/doc/storm-lang/html/03-Library_Reference/08-UI_Library/03-Rendering.html usr/share/doc/storm-lang/html/03-Library_Reference/08-UI_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library/01-Presentations.html usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library/02-Layout.html usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library/03-Elements.html usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library/04-Animations.html usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library/05-Picture_Elements.html usr/share/doc/storm-lang/html/03-Library_Reference/09-Presentation_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/10-Crypto_Library usr/share/doc/storm-lang/html/03-Library_Reference/10-Crypto_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library/01-Markdown.html usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library/02-Usage.html usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library/03-Documentation usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library/03-Documentation/01-The_Storm_Theme.html usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library/03-Documentation/index.html usr/share/doc/storm-lang/html/03-Library_Reference/11-Markdown_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/12-SQL_Library usr/share/doc/storm-lang/html/03-Library_Reference/12-SQL_Library/01-Database_Interface.html usr/share/doc/storm-lang/html/03-Library_Reference/12-SQL_Library/02-Language_Extension.html usr/share/doc/storm-lang/html/03-Library_Reference/12-SQL_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/13-Inline_Assembler usr/share/doc/storm-lang/html/03-Library_Reference/13-Inline_Assembler/01-Syntax.html usr/share/doc/storm-lang/html/03-Library_Reference/13-Inline_Assembler/index.html usr/share/doc/storm-lang/html/03-Library_Reference/14-HTTP_Library usr/share/doc/storm-lang/html/03-Library_Reference/14-HTTP_Library/01-Client.html usr/share/doc/storm-lang/html/03-Library_Reference/14-HTTP_Library/02-Server.html usr/share/doc/storm-lang/html/03-Library_Reference/14-HTTP_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/15-JSON_Library usr/share/doc/storm-lang/html/03-Library_Reference/15-JSON_Library/index.html usr/share/doc/storm-lang/html/03-Library_Reference/index.html usr/share/doc/storm-lang/html/04-Programs usr/share/doc/storm-lang/html/04-Programs/01-Progvis usr/share/doc/storm-lang/html/04-Programs/01-Progvis/Concurrency_book.html usr/share/doc/storm-lang/html/04-Programs/01-Progvis/index.html usr/share/doc/storm-lang/html/04-Programs/02-Tree_Tool.html usr/share/doc/storm-lang/html/04-Programs/index.html usr/share/doc/storm-lang/html/05-Downloads usr/share/doc/storm-lang/html/05-Downloads/01-Release_Notes.html usr/share/doc/storm-lang/html/05-Downloads/index.html usr/share/doc/storm-lang/html/Raleway.woff2 usr/share/doc/storm-lang/html/Raleway_ext.woff2 usr/share/doc/storm-lang/html/desktop.css usr/share/doc/storm-lang/html/images usr/share/doc/storm-lang/html/images/arrow-filled.png usr/share/doc/storm-lang/html/images/arrow-left-filled.png usr/share/doc/storm-lang/html/images/arrow-left.png usr/share/doc/storm-lang/html/images/arrow-right-filled.png usr/share/doc/storm-lang/html/images/arrow-right.png usr/share/doc/storm-lang/html/images/arrow.png usr/share/doc/storm-lang/html/images/food-marked.png usr/share/doc/storm-lang/html/images/food.png usr/share/doc/storm-lang/html/images/logo.png usr/share/doc/storm-lang/html/index.html usr/share/doc/storm-lang/html/mobile.css usr/share/doc/storm-lang/html/style.css usr/share/doc/storm-lang-doc usr/share/doc/storm-lang-doc/changelog.Debian.gz usr/share/doc/storm-lang-doc/copyright usr/share/doc-base usr/share/doc-base/storm-lang-doc.storm-lang-doc