libghc-ogma-core-dev (1.14.0-2)
3 versions available in ubuntu/stonking/universe/s390x
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- haskell-ogma-core
- Architecture
- s390x
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 8.9 kB
- Size expected
- 797.5 kB
- Size actual
- 797.5 kB
- Size match
Dependencies
Required package dependencies
- libghc-aeson-dev-2.2.3.0-45250
- libghc-base-dev-4.20.2.0-e941f
- libghc-bytestring-dev-0.12.2.0-d8575
- libghc-containers-dev-0.7-35521
- libghc-copilot-core-dev-4.7.1-02ad0
- libghc-copilot-language-dev-4.7.1-9c236
- libghc-copilot-theorem-dev-4.7.1-44bd2
- libghc-directory-dev-1.3.8.5-c969f
- libghc-filepath-dev-1.5.4.0-07bd5
- libghc-graphviz-dev-2999.20.2.1-2f5ab
- libghc-hint-dev-0.9.0.8-fa90a
- libghc-megaparsec-dev-9.7.0-11695
- libghc-mtl-dev-2.3.1-edf82
- libghc-ogma-extra-dev-1.14.0-5f5c3
- libghc-ogma-language-c-dev-1.14.0-80f9c
- libghc-ogma-language-copilot-dev-1.14.0-45772
- libghc-ogma-language-csv-dev-1.14.0-d312a
- libghc-ogma-language-jsonspec-dev-1.14.0-2df68
- libghc-ogma-language-lustre-dev-1.14.0-d818b
- libghc-ogma-language-smv-dev-1.14.0-66d90
- libghc-ogma-language-xlsx-dev-1.14.0-e9d9e
- libghc-ogma-language-xmlspec-dev-1.14.0-0f35b
- libghc-ogma-spec-dev-1.14.0-6a60f
- libghc-process-dev-1.6.26.1-7e17b
- libghc-text-dev-2.1.3-51fd5
- libghc-vector-dev-0.13.2.0-566f6
- libghc-yaml-dev-0.11.11.2-dfe5d
- libbz2-1.0
- libc6 (>= 2.2)
- libexpat1 (>= 2.0.1)
- libgmp10 (>= 2:6.3.0+dfsg)
- libyaml-0-2
- libzstd1 (>= 1.5.5)
- zlib1g (>= 1:1.1.4)
Suggested packages
Recommended additional packages
- None
Description
Helper tool to interoperate between Copilot and other languages
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 650ffb63…77e03a5e | |
| SHA-1 | fd66e47d…2a8d076b | |
| SHA-256 | 43f50b98…a07a22e6 | |
| SHA-512 | 9ada886e…8fba3d3d |
Contents
Files and directories included
. usr usr/lib usr/lib/haskell-packages usr/lib/haskell-packages/ghc usr/lib/haskell-packages/ghc/lib usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/libHSogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9-ghc9.10.3.so usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9 usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/CFSApp.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/CFSApp.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/CStructs2Copilot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/CStructs2Copilot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/CStructs2MsgHandlers.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/CStructs2MsgHandlers.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Common.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Common.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Diagram.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Diagram.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Errors.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Errors.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/FPrimeApp.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/FPrimeApp.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Overview.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Overview.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/ROSApp.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/ROSApp.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Report.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Report.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Result.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Result.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Standalone.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/Standalone.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/VariableDB.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Command/VariableDB.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Core usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Core/Analysis.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Core/Analysis.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Language usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Language/Reify usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Language/Reify/Extra.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Copilot/Language/Reify/Extra.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Aeson usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Aeson/Extra.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Aeson/Extra.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Analysis.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Analysis.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser/Dot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser/Dot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser/Mermaid.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser/Mermaid.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram/Parser.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Diagram.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Either usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Either/Extra.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Either/Extra.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/ExprPair.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/ExprPair.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Location.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Location.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec/Analysis.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec/Analysis.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec/Extra.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec/Extra.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Data/Spec/Parser.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/CStruct2CopilotStruct.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/CStruct2CopilotStruct.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/CStructs2Copilot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/CStructs2Copilot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/CStructs2MsgHandlers.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/CStructs2MsgHandlers.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/Diagram2Copilot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/Diagram2Copilot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/Lustre2Copilot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/Lustre2Copilot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/SMV2Copilot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/SMV2Copilot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/Spec2Copilot.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/Trans/Spec2Copilot.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/YAMLSpec usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/YAMLSpec/Parser.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Language/YAMLSpec/Parser.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Paths_ogma_core.dyn_hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/Paths_ogma_core.hi usr/lib/haskell-packages/ghc/lib/s390x-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9/libHSogma-core-1.14.0-Ld7u655vUXL6L6EunWZm9.a usr/share usr/share/doc usr/share/doc/libghc-ogma-core-dev usr/share/doc/libghc-ogma-core-dev/changelog.Debian.gz usr/share/doc/libghc-ogma-core-dev/copyright var var/lib var/lib/ghc var/lib/ghc/package.conf.d var/lib/ghc/package.conf.d/ogma-core-1.14.0.conf