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

Source Package: haskell-presburger (1.3.1-7)

Links for haskell-presburger

Trisquel-palvelut:

Ylläpitäjä:

Original Maintainers:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libghc-presburger-dev
decision procedure for quantifier-free linear arithmetic
libghc-presburger-doc
decision procedure for quantifier-free linear arithmetic; documentation
libghc-presburger-prof
decision procedure for quantifier-free linear arithmetic; profiling libraries

Muut pakettiin haskell-presburger 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
  • adep: libghc-quickcheck2-dev
    Haskell automatic testing library for GHC
  • idep: ghc-doc
    Documentation for the Glasgow Haskell Compilation system

Download haskell-presburger

TiedostoKoko (kt)MD5-tarkiste
haskell-presburger_1.3.1-7.dsc 2.3 kt 9bb04948a1d95774d32fe044f42dde24
haskell-presburger_1.3.1.orig.tar.gz 10.5 kt bc1c082cd7de5e5c87e9bf2cb8d9a069
haskell-presburger_1.3.1-7.debian.tar.xz 4.2 kt a14ff51babba8dfcafe68fdac602a9d0
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-presburger]
Debian Package Source Repository (Browsable)
https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-presburger