libghc-ogma-language-smv-doc (1.12.0-1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
haskell-ogma-language-smv
Architecture
amd64v3
Section
universe/doc
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
1.7 kB
Size expected
87.1 kB
Size actual
87.1 kB
Size match

Dependencies

Required package dependencies

  • haddock-interface-44

Suggested packages

Recommended additional packages

  • libghc-ogma-language-smv-prof

Description

Ogma: Runtime Monitor translator: SMV Language Frontend; documentation

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD56fa6b257…f537a9c9
SHA-17653818d…6d83a54f
SHA-2568ad760e8…68b736e6
SHA-512bb3855a6…769a0655

Contents

Files and directories included

.
usr
usr/lib
usr/lib/ghc-doc
usr/lib/ghc-doc/haddock
usr/lib/ghc-doc/haddock/ogma-language-smv-1.12.0
usr/lib/ghc-doc/haddock/ogma-language-smv-1.12.0/ogma-language-smv.haddock
usr/lib/ghc-doc/hoogle
usr/share
usr/share/doc
usr/share/doc/libghc-ogma-language-smv-doc
usr/share/doc/libghc-ogma-language-smv-doc/changelog.Debian.gz
usr/share/doc/libghc-ogma-language-smv-doc/copyright
usr/share/doc/libghc-ogma-language-smv-doc/html
usr/share/doc/libghc-ogma-language-smv-doc/html/Language-SMV-AbsSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/Language-SMV-LexSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/Language-SMV-ParSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/Language-SMV-PrintSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/Language-SMV-Substitution.html
usr/share/doc/libghc-ogma-language-smv-doc/html/doc-index.html
usr/share/doc/libghc-ogma-language-smv-doc/html/haddock-bundle.min.js
usr/share/doc/libghc-ogma-language-smv-doc/html/index.html
usr/share/doc/libghc-ogma-language-smv-doc/html/linuwial.css
usr/share/doc/libghc-ogma-language-smv-doc/html/meta.json
usr/share/doc/libghc-ogma-language-smv-doc/html/ogma-language-smv.txt
usr/share/doc/libghc-ogma-language-smv-doc/html/quick-jump.css
usr/share/doc/libghc-ogma-language-smv-doc/html/src
usr/share/doc/libghc-ogma-language-smv-doc/html/src/Language.SMV.AbsSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/src/Language.SMV.LexSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/src/Language.SMV.ParSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/src/Language.SMV.PrintSMV.html
usr/share/doc/libghc-ogma-language-smv-doc/html/src/Language.SMV.Substitution.html
usr/share/doc/libghc-ogma-language-smv-doc/html/src/highlight.js
usr/share/doc/libghc-ogma-language-smv-doc/html/src/style.css
usr/share/doc/libghc-ogma-language-smv-doc/html/synopsis.png
usr/lib/ghc-doc/hoogle/libghc-ogma-language-smv-doc.txt