libghc-ogma-core-prof (1.14.0-2)
6 versions available in ubuntu/stonking/universe/armhf
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
- armhf
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 7.1 kB
- Size expected
- 908.2 kB
- Size actual
- 908.2 kB
- Size match
Dependencies
Required package dependencies
- libghc-aeson-prof-2.2.3.0-5c24b
- libghc-base-prof-4.20.2.0-40f5b
- libghc-bytestring-prof-0.12.2.0-b5b2e
- libghc-containers-prof-0.7-1bb97
- libghc-copilot-core-prof-4.7.1-9b3f4
- libghc-copilot-language-prof-4.7.1-34cf0
- libghc-copilot-theorem-prof-4.7.1-3392d
- libghc-directory-prof-1.3.8.5-ed84c
- libghc-filepath-prof-1.5.4.0-dafcc
- libghc-graphviz-prof-2999.20.2.1-b138c
- libghc-hint-prof-0.9.0.8-d8355
- libghc-megaparsec-prof-9.7.0-2b2df
- libghc-mtl-prof-2.3.1-0785e
- libghc-ogma-core-dev (= 1.14.0-2)
- libghc-ogma-extra-prof-1.14.0-5f7ca
- libghc-ogma-language-c-prof-1.14.0-b6d46
- libghc-ogma-language-copilot-prof-1.14.0-1f282
- libghc-ogma-language-csv-prof-1.14.0-4c593
- libghc-ogma-language-jsonspec-prof-1.14.0-19f86
- libghc-ogma-language-lustre-prof-1.14.0-77baf
- libghc-ogma-language-smv-prof-1.14.0-476b9
- libghc-ogma-language-xlsx-prof-1.14.0-67e0c
- libghc-ogma-language-xmlspec-prof-1.14.0-a3d1e
- libghc-ogma-spec-prof-1.14.0-3a7e0
- libghc-process-prof-1.6.26.1-97ff5
- libghc-text-prof-2.1.3-e72b8
- libghc-vector-prof-0.13.2.0-863b4
- libghc-yaml-prof-0.11.11.2-00b47
Suggested packages
Recommended additional packages
- None
Description
Helper tool to interoperate between Copilot and other languages; profiling libraries
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 99109c9e…75975b1d | |
| SHA-1 | d6070dfb…bf2b1341 | |
| SHA-256 | 8132acca…fd5b7fbd | |
| SHA-512 | 3b8f6f58…d57e3002 |
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/arm-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/CFSApp.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/CStructs2Copilot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/CStructs2MsgHandlers.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Common.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Diagram.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Errors.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/FPrimeApp.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Overview.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/ROSApp.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Report.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Result.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/Standalone.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Command/VariableDB.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Copilot usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Copilot/Core usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Copilot/Core/Analysis.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Copilot/Language usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Copilot/Language/Reify usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Copilot/Language/Reify/Extra.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Aeson usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Aeson/Extra.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram/Analysis.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram/Parser usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram/Parser/Dot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram/Parser/Mermaid.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram/Parser.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Diagram.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Either usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Either/Extra.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/ExprPair.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Location.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Spec usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Spec/Analysis.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Spec/Extra.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Data/Spec/Parser.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/CStruct2CopilotStruct.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/CStructs2Copilot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/CStructs2MsgHandlers.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/Diagram2Copilot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/Lustre2Copilot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/SMV2Copilot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/Trans/Spec2Copilot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/YAMLSpec usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Language/YAMLSpec/Parser.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/Paths_ogma_core.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/ogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA/libHSogma-core-1.14.0-6wCBGXsxQdWApWgWfcY4tA_p.a usr/share usr/share/doc usr/share/doc/libghc-ogma-core-prof usr/share/doc/libghc-ogma-core-prof/copyright usr/share/doc/libghc-ogma-core-prof/changelog.Debian.gz