Skip to content
Sections
>> Trisquel >> Paketit >> nabia >> Lähdepaketti >> misc >> haskell-smtlib
etiona  ] [  nabia  ] [  aramo  ]

Source Package: haskell-smtlib (1.0.9-2build1)

Links for haskell-smtlib

Trisquel-palvelut:

Ylläpitäjä:

Original Maintainers:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
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

Muut pakettiin haskell-smtlib liittyvät paketit

  • build-depends
  • 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-smtlib

TiedostoKoko (kt)MD5-tarkiste
haskell-smtlib_1.0.9-2build1.dsc 2.2 kt 3add2352dfe8f1217f107a70e7d4b01b
haskell-smtlib_1.0.9.orig.tar.gz 9.4 kt 3496ad183e89396c51e91e438c50669f
haskell-smtlib_1.0.9-2build1.debian.tar.xz 2.5 kt a730ee5e4852566990b593f3ae8b9263
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib]
Debian Package Source Repository (Browsable)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib