» Ubuntu » Пакеты » jammy (22.04LTS) » Исходный код » misc » haskell-simple-smt
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Пакет исходного кода: haskell-simple-smt (0.9.5-1build1) [universe]

Ссылки для haskell-simple-smt

Ресурсы Ubuntu:

Сопровождающий:

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

Original Maintainers (usually from Debian):

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

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
libghc-simple-smt-dev
A simple way to interact with an SMT solver process.
libghc-simple-smt-doc
A simple way to interact with an SMT solver process.; documentation
libghc-simple-smt-prof
A simple way to interact with an SMT solver process.; profiling libraries

Другие пакеты, относящиеся к haskell-simple-smt

  • для сборки
  • build-depends-indep
  • 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-simple-smt

ФайлРазмер (в Кб)Контрольная сумма MD5
haskell-simple-smt_0.9.5-1build1.dsc 2,4 Кб 64eeed8aa2cf36bd9cc84bbfb8be342e
haskell-simple-smt_0.9.5.orig.tar.gz 9,1 Кб 427b7543b317f7f27a9fd00396a35acc
haskell-simple-smt_0.9.5-1build1.debian.tar.xz 2,6 Кб b5f2219b32e5958e7ceedb2ad221eb56
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-simple-smt]
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-simple-smt