haskell-simple-smt-0.9.1-1-x86_64.pkg.tar.xz


Advertisement

Description

haskell-simple-smt - A simple way to interact with an SMT solver process

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name haskell-simple-smt
Package version 0.9.1
Package release 1
Package architecture x86_64
Package type xz
Installed size 336.00 KB
Download size 64.70 KB
Official Mirror ftp5.gwdg.de
A simple way to interact with an SMT solver process.
Packager: Felix Yan <felixonmars@archlinux.org>. License: custom:BSD3

Alternatives

Package Version Architecture Repository
haskell-simple-smt - - -

Requires

Name Value
ghc-libs -

Download

Type URL
Binary Package haskell-simple-smt-0.9.1-1-x86_64.pkg.tar.xz
Source Package haskell-simple-smt

Install Howto

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

Files

Path
/usr/
/usr/lib/libHSsimple-smt-0.9.1-73rH3oTvGg61ZDKsrAFdj8-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/simple-smt-0.9.1/SimpleSMT.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-simple-smt/
/usr/share/haskell/
/usr/share/haskell/register/haskell-simple-smt.sh
/usr/share/haskell/unregister/haskell-simple-smt.sh
/usr/share/licenses/
/usr/share/licenses/haskell-simple-smt/LICENSE

See Also

Package Description
haskell-singleton-bool-0.1.4-2-x86_64.pkg.tar.xz Type level booleans
haskell-singletons-2.4.1-2-x86_64.pkg.tar.xz A framework for generating singleton types
haskell-skein-1.0.9.4-22-x86_64.pkg.tar.xz Skein, a family of cryptographic hash functions. Includes Skein-MAC as well
haskell-skylighting-0.7.3-11-x86_64.pkg.tar.xz Syntax highlighting library
haskell-skylighting-core-0.7.3-11-x86_64.pkg.tar.xz Syntax highlighting library
haskell-smallcheck-1.1.5-1-x86_64.pkg.tar.xz A property-based testing library
haskell-smtlib-1.0.9-3-x86_64.pkg.tar.xz A library for working with the SMTLIB format
haskell-snap-core-1.0.3.2-30-x86_64.pkg.tar.xz A Haskell Web Framework (core interfaces and types)
haskell-snap-server-1.1.0.0-59-x86_64.pkg.tar.xz A web server for the Snap Framework
haskell-socks-0.5.6-35-x86_64.pkg.tar.xz Socks proxy (version 5) implementation
haskell-sourcemap-0.1.6-93-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.3-2-x86_64.pkg.tar.xz Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
haskell-src-exts-util-0.2.3-23-x86_64.pkg.tar.xz Helper functions for working with haskell-src-exts trees
Advertisement
Advertisement