Skip to content
Sections
>> Trisquel >> Pakete >> etiona >> Quellcode >> misc >> haskell-smtlib
etiona  ] [  nabia  ] [  aramo  ]

Quellcode-Paket: haskell-smtlib (1.0.8-3build1)

Links für haskell-smtlib

Trisquel-Ressourcen:

Betreuer:

Original Maintainers:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
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

Andere Pakete mit Bezug zu haskell-smtlib

  • build-depends
  • build-depends-indep
  • adep: cdbs
    common build system for Debian packages
  • adep: debhelper (>= 9)
    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

DateiGröße (in kB)MD5-Prüfsumme
haskell-smtlib_1.0.8-3build1.dsc 2,1 kB b4edd335d924563da838e8b4e505eb47
haskell-smtlib_1.0.8.orig.tar.gz 9,3 kB 20365ad9ea1ac0e9d0502c84602d09d1
haskell-smtlib_1.0.8-3build1.debian.tar.xz 2,2 kB e4d967dc2e47fee965e5c053893b2de7
Quellcode-Depot des Debian-Pakets (VCS: Git)
https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Quellcode-Depot des Debian-Pakets (browsable)
https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-smtlib