Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ソース >> misc >> haskell-smtlib
[  etiona  ] [  nabia  ] [  aramo  ]

ソースパッケージ: haskell-smtlib (1.1-1build2)

haskell-smtlib に関するリンク

Trisquel の資源:

メンテナ:

Original Maintainers:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
libghc-smtlib-dev
A library for working with the SMTLIB format.
libghc-smtlib-doc
A library for working with the SMTLIB format.; documentation
libghc-smtlib-prof
A library for working with the SMTLIB format.; profiling libraries

その他の haskell-smtlib 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 10)
    helper programs for debian/rules
  • adep: ghc (>= 8)
    The Glasgow Haskell Compilation system
  • adep: ghc-prof
    Profiling libraries for the Glasgow Haskell Compilation system
  • adep: haskell-devscripts (>= 0.13)
    Tools to help Debian developers build Haskell packages
  • idep: ghc-doc
    Documentation for the Glasgow Haskell Compilation system

Download haskell-smtlib

ファイルサイズ (単位: kB)MD5 チェックサム
haskell-smtlib_1.1-1build2.dsc 2.3 kB 094e99e1e5c0054e3a06af924bba3e38
haskell-smtlib_1.1.orig.tar.gz 9.4 kB 6c882a2866a94c7f0153b081d3d6bf13
haskell-smtlib_1.1-1build2.debian.tar.xz 2.6 kB 14a54f68956f2a26a2263804750f0f8b
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib]
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib