Källkodspaket: haskell-presburger (1.3.1-7)

Länkar för haskell-presburger

Trisquelresurser:

• Felrapporter
• Changelog
• Upphovsrättsfil
• Debians källkodsarkiv (Git)

Ansvarig:

• Debian Haskell Group (E-postarkiv)

Original Maintainers:

• Debian Haskell Group (E-postarkiv)
• Clint Adams

Externa resurser:

• Hemsida [github.com]

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

Andra paket besläktade med haskell-presburger

• 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

Debians paketkällkodsarkiv- (VCS: Git)

https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-presburger]

Debians paketkällkodsarkiv (blädderbart)

https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-presburger