haskell-presburger-1.3.1-10-x86_64.pkg.tar.xz


Advertisement

Description

haskell-presburger - A decision procedure for quantifier-free linear arithmetic

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename haskell-presburger-1.3.1-10-x86_64.pkg.tar.xz
Package name haskell-presburger
Package version 1.3.1
Package release 10
Package architecture x86_64
Package type xz
Homepage https://github.com/yav/presburger
License BSD
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 95.85 KB
Installed size 549.00 KB

Alternatives

Package Version Architecture Repository
haskell-presburger - - -

Requires

Name Value
ghc-libs -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package haskell-presburger-1.3.1-10-x86_64.pkg.tar.xz
Source Package haskell-presburger

Install Howto

  1. Enable the community repository on /etc/pacman.conf:
    
    [community]
    Include = /etc/pacman.d/mirrorlist
    
  2. Install haskell-presburger xz package:
    # pacman -Sy haskell-presburger

Files

Path
/usr/
/usr/lib/libHSpresburger-1.3.1-LSIZravJULpKFf0mSXYyF8-ghc8.6.5.so
/usr/lib/ghc-8.6.5/
/usr/lib/ghc-8.6.5/site-local/
/usr/lib/ghc-8.6.5/site-local/presburger-1.3.1/
/usr/lib/ghc-8.6.5/site-local/presburger-1.3.1/Data/
/usr/lib/ghc-8.6.5/site-local/presburger-1.3.1/Data/Integer/SAT.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-presburger/
/usr/share/haskell/
/usr/share/haskell/register/haskell-presburger.sh
/usr/share/haskell/unregister/haskell-presburger.sh
/usr/share/licenses/
/usr/share/licenses/haskell-presburger/LICENSE

See Also

Package Description
haskell-pretty-show-1.9.5-6-x86_64.pkg.tar.xz Tools for working with derived `Show` instances and generic inspection of values
haskell-prettyclass-1.0.0.0-7-x86_64.pkg.tar.xz Pretty printing class similar to Show
haskell-prettyprinter-1.3.0-13-x86_64.pkg.tar.xz A modern, easy to use, well-documented, extensible prettyprinter
haskell-prettyprinter-ansi-terminal-1.1.1.2-59-x86_64.pkg.tar.xz ANSI terminal backend for the prettyprinter package
haskell-prettyprinter-convert-ansi-wl-pprint-1.1-56-x86_64.pkg.tar.xz Converter from ansi-wl-pprint documents to prettyprinter-based ones
haskell-primes-0.2.1.0-12-x86_64.pkg.tar.xz Efficient, purely functional generation of prime numbers
haskell-primitive-0.6.4.0-6-x86_64.pkg.tar.xz Wrappers for primitive operations
haskell-process-extras-0.7.4-68-x86_64.pkg.tar.xz Process extras
haskell-profunctors-5.5-2-x86_64.pkg.tar.xz Profunctors
haskell-project-template-0.2.0.1-170-x86_64.pkg.tar.xz Specify Haskell project templates and generate files
haskell-protolude-0.2.4-1-x86_64.pkg.tar.xz A sensible set of defaults for writing custom Preludes
haskell-psqueues-0.2.7.2-7-x86_64.pkg.tar.xz Pure priority search queues
haskell-puremd5-2.1.3-25-x86_64.pkg.tar.xz A Haskell-only implementation of the MD5 digest (hash) algorithm
haskell-quickcheck-2.13.2-6-x86_64.pkg.tar.xz Automatic testing of Haskell programs
haskell-quickcheck-assertions-0.3.0-65-x86_64.pkg.tar.xz HUnit like assertions for QuickCheck
Advertisement
Advertisement