[ Källkod: haskell-ogma-core ]
Paket: libghc-ogma-core-prof (1.10.0-1)
Länkar för libghc-ogma-core-prof
Debianresurser:
Hämta källkodspaketet haskell-ogma-core:
- [haskell-ogma-core_1.10.0-1.dsc]
- [haskell-ogma-core_1.10.0.orig.tar.gz]
- [haskell-ogma-core_1.10.0-1.debian.tar.xz]
Ansvariga:
Externa resurser:
- Hemsida [github.com]
Liknande paket:
Helper tool to interoperate between Copilot and other languages; profiling libraries
Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime verification framework that generates hard real-time C99 code.
This package implements the internal commands of ogma.
This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.
Andra paket besläktade med libghc-ogma-core-prof
|
|
|
|
-
- dep: libghc-aeson-prof-2.1.2.1-00c70 [mips64el]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-aeson-prof-2.1.2.1-198c2 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-aeson-prof-2.1.2.1-7e2e9 [armel]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-aeson-prof-2.1.2.1-9fb12 [arm64]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-aeson-prof-2.1.2.1-b2811 [s390x]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-aeson-prof-2.1.2.1-bcb88 [amd64]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-aeson-prof-2.1.2.1-be6af [armhf]
- virtuellt paket som tillhandahålls av libghc-aeson-prof
-
- dep: libghc-base-prof-4.18.2.1-3be9b [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.18.2.1-75247 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.18.2.1-8e81e [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.18.2.1-b19b4 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.18.2.1-b7e3b [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-base-prof-4.18.2.1-f2473 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-bytestring-prof-0.11.5.3-31c85 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-bytestring-prof-0.11.5.3-37410 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-bytestring-prof-0.11.5.3-58e77 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-bytestring-prof-0.11.5.3-7048d [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-bytestring-prof-0.11.5.3-8a5b1 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-bytestring-prof-0.11.5.3-da82b [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.7-138bd [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.7-3eda8 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.7-69002 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.7-7a228 [amd64, mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-containers-prof-0.6.7-e8181 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.8.5-71f9f [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.8.5-8db36 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.8.5-8eb88 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.8.5-98ebe [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.8.5-aca59 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-directory-prof-1.3.8.5-cba38 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.300.1-16f57 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.300.1-4a448 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.300.1-4ef81 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.300.1-c620f [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.300.1-daa7f [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-filepath-prof-1.4.300.1-f6cd4 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-graphviz-prof-2999.20.2.0-53a9a [amd64]
- virtuellt paket som tillhandahålls av libghc-graphviz-prof
-
- dep: libghc-graphviz-prof-2999.20.2.0-5c253 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-graphviz-prof
-
- dep: libghc-graphviz-prof-2999.20.2.0-842ae [mips64el]
- virtuellt paket som tillhandahålls av libghc-graphviz-prof
-
- dep: libghc-graphviz-prof-2999.20.2.0-a08c9 [s390x]
- virtuellt paket som tillhandahålls av libghc-graphviz-prof
-
- dep: libghc-graphviz-prof-2999.20.2.0-c0584 [arm64]
- virtuellt paket som tillhandahålls av libghc-graphviz-prof
-
- dep: libghc-graphviz-prof-2999.20.2.0-ebc67 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-graphviz-prof
-
- dep: libghc-megaparsec-prof-9.5.0-1dedb [s390x]
- virtuellt paket som tillhandahålls av libghc-megaparsec-prof
-
- dep: libghc-megaparsec-prof-9.5.0-52b17 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-megaparsec-prof
-
- dep: libghc-megaparsec-prof-9.5.0-98f26 [arm64]
- virtuellt paket som tillhandahålls av libghc-megaparsec-prof
-
- dep: libghc-megaparsec-prof-9.5.0-be90c [ppc64el]
- virtuellt paket som tillhandahålls av libghc-megaparsec-prof
-
- dep: libghc-megaparsec-prof-9.5.0-f29b1 [amd64]
- virtuellt paket som tillhandahålls av libghc-megaparsec-prof
-
- dep: libghc-megaparsec-prof-9.5.0-f4655 [mips64el]
- virtuellt paket som tillhandahålls av libghc-megaparsec-prof
-
- dep: libghc-mtl-prof-2.3.1-c3eca [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-mtl-prof-2.3.1-f8119 [ej armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-ogma-core-dev (= 1.10.0-1)
- Helper tool to interoperate between Copilot and other languages
-
- dep: libghc-ogma-extra-prof-1.10.0-16c8b [armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-extra-prof-1.10.0-2a697 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-extra-prof-1.10.0-5ac57 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-extra-prof-1.10.0-80302 [mips64el]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-extra-prof-1.10.0-b7d5d [amd64]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-extra-prof-1.10.0-deadb [arm64]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-extra-prof-1.10.0-eda40 [armel]
- virtuellt paket som tillhandahålls av libghc-ogma-extra-prof
-
- dep: libghc-ogma-language-c-prof-1.10.0-28252 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-c-prof
-
- dep: libghc-ogma-language-c-prof-1.10.0-82cb3 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-c-prof
-
- dep: libghc-ogma-language-c-prof-1.10.0-c44ff [ej armel, armhf, s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-c-prof
-
- dep: libghc-ogma-language-copilot-prof-1.10.0-2a698 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-copilot-prof
-
- dep: libghc-ogma-language-copilot-prof-1.10.0-aaeac [ej armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-copilot-prof
-
- dep: libghc-ogma-language-csv-prof-1.10.0-2a6fb [mips64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-csv-prof
-
- dep: libghc-ogma-language-csv-prof-1.10.0-3edf7 [arm64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-csv-prof
-
- dep: libghc-ogma-language-csv-prof-1.10.0-6b964 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-csv-prof
-
- dep: libghc-ogma-language-csv-prof-1.10.0-86dde [amd64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-csv-prof
-
- dep: libghc-ogma-language-csv-prof-1.10.0-8a488 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-csv-prof
-
- dep: libghc-ogma-language-csv-prof-1.10.0-96e8a [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-csv-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-000f8 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-02960 [mips64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-404c6 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-5aca9 [armel]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-7dc91 [arm64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-dcd2d [amd64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-jsonspec-prof-1.10.0-ea860 [armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-jsonspec-prof
-
- dep: libghc-ogma-language-lustre-prof-1.10.0-0bc11 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-lustre-prof
-
- dep: libghc-ogma-language-lustre-prof-1.10.0-14ce4 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-lustre-prof
-
- dep: libghc-ogma-language-lustre-prof-1.10.0-5e1c2 [ej armel, armhf, s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-lustre-prof
-
- dep: libghc-ogma-language-smv-prof-1.10.0-6ca96 [ej armel, armhf, s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-smv-prof
-
- dep: libghc-ogma-language-smv-prof-1.10.0-9c0c9 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-smv-prof
-
- dep: libghc-ogma-language-smv-prof-1.10.0-af7e5 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-smv-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-29175 [amd64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-84ec3 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-8b9e4 [armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-8c5dd [arm64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-e4231 [mips64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-e4c02 [ppc64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xlsx-prof-1.10.0-ef37a [armel]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xlsx-prof
-
- dep: libghc-ogma-language-xmlspec-prof-1.10.0-19ce1 [mips64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xmlspec-prof
-
- dep: libghc-ogma-language-xmlspec-prof-1.10.0-1ad00 [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xmlspec-prof
-
- dep: libghc-ogma-language-xmlspec-prof-1.10.0-2c4a0 [amd64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xmlspec-prof
-
- dep: libghc-ogma-language-xmlspec-prof-1.10.0-6eb5f [arm64]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xmlspec-prof
-
- dep: libghc-ogma-language-xmlspec-prof-1.10.0-6f74a [ppc64el]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xmlspec-prof
-
- dep: libghc-ogma-language-xmlspec-prof-1.10.0-9cf16 [s390x]
- virtuellt paket som tillhandahålls av libghc-ogma-language-xmlspec-prof
-
- dep: libghc-ogma-spec-prof-1.10.0-13e9a [ej armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-spec-prof
-
- dep: libghc-ogma-spec-prof-1.10.0-3652b [armel, armhf]
- virtuellt paket som tillhandahålls av libghc-ogma-spec-prof
-
- dep: libghc-process-prof-1.6.19.0-220a3 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.19.0-48ee2 [ej arm64, armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-process-prof-1.6.19.0-8642d [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-text-prof-2.0.2-0adc3 [mips64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-text-prof-2.0.2-41553 [s390x]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-text-prof-2.0.2-5b954 [amd64]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-text-prof-2.0.2-ca8a7 [ppc64el]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-text-prof-2.0.2-da1a9 [armel, armhf]
- virtuellt paket som tillhandahålls av ghc-prof
-
- dep: libghc-text-prof-2.0.2-edcc7 [arm64]
- virtuellt paket som tillhandahålls av ghc-prof
Hämta libghc-ogma-core-prof
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| amd64 | 370,0 kbyte | 4.266,0 kbyte | [filförteckning] |
| arm64 | 437,2 kbyte | 5.507,0 kbyte | [filförteckning] |
| armel | 480,1 kbyte | 4.802,0 kbyte | [filförteckning] |
| armhf | 470,3 kbyte | 4.686,0 kbyte | [filförteckning] |
| mips64el | 508,7 kbyte | 6.670,0 kbyte | [filförteckning] |
| ppc64el | 495,9 kbyte | 6.798,0 kbyte | [filförteckning] |
| s390x | 531,8 kbyte | 7.881,0 kbyte | [filförteckning] |