haskell-presburger-1.3.1-5-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 name haskell-presburger
Package version 1.3.1
Package release 5
Package architecture x86_64
Package type xz
Installed size 637.00 KB
Download size 98.40 KB
Official Mirror ftp5.gwdg.de
A decision procedure for quantifier-free linear arithmetic.
Packager: Felix Yan <felixonmars@archlinux.org>. License: custom:BSD3

Alternatives

Package Version Architecture Repository
haskell-presburger - - -

Requires

Name Value
ghc-libs -

Download

Type URL
Binary Package haskell-presburger-1.3.1-5-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-KXC8t3kM0alEcAX1uULthX-ghc8.4.3.so
/usr/lib/ghc-8.4.3/
/usr/lib/ghc-8.4.3/site-local/
/usr/lib/ghc-8.4.3/site-local/presburger-1.3.1/
/usr/lib/ghc-8.4.3/site-local/presburger-1.3.1/Data/
/usr/lib/ghc-8.4.3/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.8.1-1-x86_64.pkg.tar.xz Tools for working with derived `Show` instances and generic inspection of values
haskell-prettyclass-1.0.0.0-2-x86_64.pkg.tar.xz Pretty printing class similar to Show
haskell-prettyprinter-1.2.1-10-x86_64.pkg.tar.xz A modern, easy to use, well-documented, extensible prettyprinter
haskell-prettyprinter-ansi-terminal-1.1.1.2-20-x86_64.pkg.tar.xz ANSI terminal backend for the prettyprinter package
haskell-prettyprinter-convert-ansi-wl-pprint-1.1-17-x86_64.pkg.tar.xz Converter from ansi-wl-pprint documents to prettyprinter-based ones
haskell-primes-0.2.1.0-7-x86_64.pkg.tar.xz Efficient, purely functional generation of prime numbers
haskell-primitive-0.6.4.0-1-x86_64.pkg.tar.xz Wrappers for primitive operations
haskell-process-extras-0.7.4-24-x86_64.pkg.tar.xz Process extras
haskell-profunctors-5.3-9-x86_64.pkg.tar.xz Profunctors
haskell-project-template-0.2.0.1-75-x86_64.pkg.tar.xz Specify Haskell project templates and generate files
haskell-protolude-0.2.2-5-x86_64.pkg.tar.xz A sensible set of defaults for writing custom Preludes
haskell-psqueues-0.2.7.0-7-x86_64.pkg.tar.xz Pure priority search queues
haskell-puremd5-2.1.3-15-x86_64.pkg.tar.xz A Haskell-only implementation of the MD5 digest (hash) algorithm
haskell-quickcheck-2.11.3-4-x86_64.pkg.tar.xz Automatic testing of Haskell programs
haskell-quickcheck-assertions-0.3.0-28-x86_64.pkg.tar.xz HUnit like assertions for QuickCheck
Advertisement
Advertisement