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


Advertisement

Description

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

Distribution: Arch Linux
Repository: Arch Linux Community x86_64
Package name: haskell-smtlib
Package version: 1.0.8
Package release: 3
Package architecture: x86_64
Package type: xz
Installed size: 2.06 MB
Download size: 291.58 KB
Official Mirror: ftp5.gwdg.de
A library for working with the SMTLIB format. Packager: Felix Yan <felixonmars@archlinux.org>. License: custom:BSD3

Alternatives

Requires

    Download

    Source package: unknown

    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

    • /usr/
    • /usr/lib/libHSsmtLib-1.0.8-Hes5OESP1193Ld647kbA9w-ghc8.2.2.so
    • /usr/lib/ghc-8.2.2/
    • /usr/lib/ghc-8.2.2/site-local/
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib1.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib1/AST.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib1/PP.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib1/QF_AUFBV.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib1/QF_BV.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2/AST.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2/Array.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2/BitVector.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2/Compat1.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2/Core.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/SMTLib2/Int.dyn_hi
    • /usr/lib/ghc-8.2.2/site-local/smtLib-1.0.8/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
    Advertisement
    Advertisement