haskell-smtlib-1.1-3-x86_64.pkg.tar.xz


Advertisement

Description

haskell-smtlib - A library for working with the SMTLIB format

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename haskell-smtlib-1.1-3-x86_64.pkg.tar.xz
Package name haskell-smtlib
Package version 1.1
Package release 3
Package architecture x86_64
Package type xz
Homepage https://github.com/yav/smtLib
License BSD
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 297.11 KB
Installed size 2.13 MB

Alternatives

Package Version Architecture Repository
haskell-smtlib - - -

Requires

Name Value
ghc-libs -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package haskell-smtlib-1.1-3-x86_64.pkg.tar.xz
Source Package haskell-smtlib

Install Howto

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

Files

Path
/usr/
/usr/lib/libHSsmtLib-1.1-HjaFP986D4RLnWqSb4lT4w-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/smtLib-1.1/SMTLib1.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib1/AST.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib1/PP.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib1/QF_AUFBV.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib1/QF_BV.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/AST.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/Array.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/BitVector.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/Compat1.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/Core.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/Int.dyn_hi
/usr/lib/ghc-8.6.5/site-local/smtLib-1.1/SMTLib2/PP.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-smtlib/
/usr/share/haskell/
/usr/share/haskell/register/haskell-smtlib.sh
/usr/share/haskell/unregister/haskell-smtlib.sh
/usr/share/licenses/
/usr/share/licenses/haskell-smtlib/LICENSE

See Also

Package Description
haskell-snap-core-1.0.4.0-33-x86_64.pkg.tar.xz A Haskell Web Framework (core interfaces and types)
haskell-snap-server-1.1.1.1-70-x86_64.pkg.tar.xz A web server for the Snap Framework
haskell-socks-0.6.1-1-x86_64.pkg.tar.xz Socks proxy (version 5) implementation
haskell-sop-core-0.5.0.0-1-x86_64.pkg.tar.xz True Sums of Products
haskell-sourcemap-0.1.6-144-x86_64.pkg.tar.xz Implementation of source maps as proposed by Google and Mozilla
haskell-spdx-1.0.0.1-2-x86_64.pkg.tar.xz SPDX license expression language, Extras
haskell-split-0.2.3.3-22-x86_64.pkg.tar.xz Combinator library for splitting lists
haskell-splitmix-0.0.3-3-x86_64.pkg.tar.xz Fast Splittable PRNG
haskell-src-exts-1.21.1-1-x86_64.pkg.tar.xz Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
haskell-src-exts-util-0.2.5-19-x86_64.pkg.tar.xz Helper functions for working with haskell-src-exts trees
haskell-src-meta-0.8.2-31-x86_64.pkg.tar.xz Parse source to template-haskell abstract syntax
haskell-statevar-1.1.1.1-6-x86_64.pkg.tar.xz State variables
haskell-statistics-0.15.0.0-40-x86_64.pkg.tar.xz A library of statistical types, data, and functions
haskell-stm-chans-3.0.0.4-16-x86_64.pkg.tar.xz Additional types of channels for STM
haskell-stmonadtrans-0.4.4-6-x86_64.pkg.tar.xz A monad transformer version of the ST monad
Advertisement
Advertisement