» Ubuntu » パッケージ » questing (25.10) » haskell » libghc-ogma-language-smv-dev

[ questing ] [ resolute ] [ stonking ]

[ ソース: haskell-ogma-language-smv ]

パッケージ: libghc-ogma-language-smv-dev (1.10.0-1) [multiverse]

libghc-ogma-language-smv-dev に関するリンク

Ubuntu の資源:

haskell-ogma-language-smv ソースパッケージをダウンロード:

メンテナ:

Ubuntu MOTU Developers (メールアーカイブ)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

Debian Haskell Group (メールアーカイブ)
Scott Talbert

It should generally not be necessary for users to contact the original maintainer.

外部の資源:

ホームページ [github.com]

類似のパッケージ:

Ogma: Runtime Monitor translator: SMV Language Frontend

その他の libghc-ogma-language-smv-dev 関連パッケージ

依存

推奨

提案

enhances

dep: libc6 (>= 2.17) [arm64, ppc64el]

GNU C Library: Shared libraries

dep: libc6 (>= 2.2) [s390x]

dep: libc6 (>= 2.2.5) [amd64]

dep: libc6 (>= 2.27) [riscv64]

dep: libc6 (>= 2.4) [armhf]
dep: libghc-array-dev-0.5.6.0-3963a [armhf]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-array-dev-0.5.6.0-65c23 [armhf 以外]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-base-dev-4.18.2.1-3be9b [armhf]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-base-dev-4.18.2.1-75247 [arm64]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-base-dev-4.18.2.1-8e81e [amd64]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-base-dev-4.18.2.1-b5217 [riscv64]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-base-dev-4.18.2.1-b7e3b [ppc64el]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libghc-base-dev-4.18.2.1-f2473 [s390x]

以下のパッケージによって提供される仮想パッケージです: ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library

libghc-ogma-language-smv-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	234.7 kB	2,137.0 kB	[ファイル一覧]
arm64	243.1 kB	2,478.0 kB	[ファイル一覧]
armhf	289.1 kB	2,697.0 kB	[ファイル一覧]
ppc64el	300.8 kB	3,264.0 kB	[ファイル一覧]
riscv64	411.4 kB	4,085.0 kB	[ファイル一覧]
s390x	372.7 kB	4,206.0 kB	[ファイル一覧]