haskell-smtlib-1.0.9-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 name haskell-smtlib
Package version 1.0.9
Package release 3
Package architecture x86_64
Package type xz
Installed size 2.36 MB
Download size 314.81 KB
Official Mirror ftp5.gwdg.de
A library for working with the SMTLIB format.
Packager: Felix Yan <felixonmars@archlinux.org>. License: custom:BSD3

Alternatives

Package Version Architecture Repository
haskell-smtlib - - -

Requires

Name Value
ghc-libs -

Download

Type URL
Binary Package haskell-smtlib-1.0.9-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.0.9-6vwf9of4gDxCqBtFifNi4C-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/smtLib-1.0.9/SMTLib1.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib1/AST.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib1/PP.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib1/QF_AUFBV.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib1/QF_BV.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2/AST.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2/Array.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2/BitVector.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2/Compat1.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2/Core.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/SMTLib2/Int.dyn_hi
/usr/lib/ghc-8.4.3/site-local/smtLib-1.0.9/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.3.2-24-x86_64.pkg.tar.xz A Haskell Web Framework (core interfaces and types)
haskell-snap-server-1.1.0.0-40-x86_64.pkg.tar.xz A web server for the Snap Framework
haskell-socks-0.5.6-32-x86_64.pkg.tar.xz Socks proxy (version 5) implementation
haskell-sourcemap-0.1.6-85-x86_64.pkg.tar.xz Implementation of source maps as proposed by Google and Mozilla
haskell-spdx-0.2.2.0-6-x86_64.pkg.tar.xz SPDX license expression language
haskell-split-0.2.3.3-5-x86_64.pkg.tar.xz Combinator library for splitting lists
haskell-src-exts-1.20.2-19-x86_64.pkg.tar.xz Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
haskell-src-exts-util-0.2.3-16-x86_64.pkg.tar.xz Helper functions for working with haskell-src-exts trees
haskell-src-meta-0.8.0.3-14-x86_64.pkg.tar.xz Parse source to template-haskell abstract syntax
haskell-statevar-1.1.1.0-3-x86_64.pkg.tar.xz State variables
haskell-statistics-0.14.0.2-65-x86_64.pkg.tar.xz A library of statistical types, data, and functions
haskell-stm-chans-3.0.0.4-11-x86_64.pkg.tar.xz Additional types of channels for STM
haskell-stmonadtrans-0.4.3-8-x86_64.pkg.tar.xz A monad transformer version of the ST monad
haskell-storable-complex-0.2.2-4-x86_64.pkg.tar.xz Storable instance for Complex
haskell-storable-record-0.0.4-3-x86_64.pkg.tar.xz Elegant definition of Storable instances for records
Advertisement
Advertisement