haskell-tamarin-prover-utils-1.4.0-5-x86_64.pkg.tar.xz


Advertisement

Description

haskell-tamarin-prover-utils - Utility library for the tamarin prover

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name haskell-tamarin-prover-utils
Package version 1.4.0
Package release 5
Package architecture x86_64
Package type xz
Installed size 1.33 MB
Download size 191.78 KB
Official Mirror ftp5.gwdg.de
Utility library for the tamarin prover.
Packager: Felix Yan <felixonmars@archlinux.org>. License: GPL

Alternatives

Package Version Architecture Repository
haskell-tamarin-prover-utils - - -

Requires

Name Value
ghc-libs -
haskell-base64-bytestring -
haskell-blaze-builder -
haskell-dlist -
haskell-fclabels -
haskell-safe -
haskell-sha -
haskell-syb -

Download

Type URL
Binary Package haskell-tamarin-prover-utils-1.4.0-5-x86_64.pkg.tar.xz
Source Package haskell-tamarin-prover-utils

Install Howto

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

Files

Path
/usr/
/usr/lib/libHStamarin-prover-utils-1.4.0-97YC04SUVLG5IGhfYLbjy8-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/tamarin-prover-utils-1.4.0/
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Basics.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Bind.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Disj.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Fresh.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Disj/Class.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Fresh/Class.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Trans/Disj.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Trans/FastFresh.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Control/Monad/Trans/PreciseFresh.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Data/Color.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Data/DAG/Simple.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Debug/
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Debug/Trace/Ignore.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Extension/Prelude.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Extension/Data/Bounded.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Extension/Data/ByteString.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Extension/Data/Label.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Extension/Data/Monoid.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Logic/Connectives.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/System/Timing.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Text/Dot.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Text/Unicode.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Text/PrettyPrint/Class.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Text/PrettyPrint/Highlight.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Text/PrettyPrint/Html.dyn_hi
/usr/lib/ghc-8.4.3/site-local/tamarin-prover-utils-1.4.0/Utils/Misc.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-tamarin-prover-utils/
/usr/share/haskell/
/usr/share/haskell/register/haskell-tamarin-prover-utils.sh
/usr/share/haskell/unregister/haskell-tamarin-prover-utils.sh

See Also

Package Description
haskell-tar-0.5.1.0-3-x86_64.pkg.tar.xz Reading, writing and manipulating ".tar" archive files
haskell-tasty-1.1.0.3-1-x86_64.pkg.tar.xz Modern and extensible testing framework
haskell-tasty-expected-failure-0.11.1.1-11-x86_64.pkg.tar.xz Mark tasty tests as failure expected
haskell-tasty-golden-2.3.2-5-x86_64.pkg.tar.xz Golden tests support for tasty
haskell-tasty-hedgehog-0.2.0.0-40-x86_64.pkg.tar.xz Integration for tasty and hedgehog
haskell-tasty-hunit-0.10.0.1-23-x86_64.pkg.tar.xz HUnit support for the Tasty test framework
haskell-tasty-quickcheck-0.10-15-x86_64.pkg.tar.xz QuickCheck support for the Tasty test framework
haskell-tasty-rerun-1.1.12-31-x86_64.pkg.tar.xz Run tests by filtering the test tree depending on the result of previous test runs
haskell-tasty-smallcheck-0.8.1-17-x86_64.pkg.tar.xz SmallCheck support for the Tasty test framework
haskell-tasty-th-0.1.7-31-x86_64.pkg.tar.xz Automatic tasty test case discovery using TH
haskell-temporary-1.3-8-x86_64.pkg.tar.xz Portable temporary file and directory support
haskell-terminal-size-0.3.2.1-8-x86_64.pkg.tar.xz Get terminal window height and width
haskell-test-framework-0.8.2.0-11-x86_64.pkg.tar.xz Framework for running and organising tests, with HUnit and QuickCheck support
haskell-test-framework-hunit-0.3.0.2-29-x86_64.pkg.tar.xz HUnit support for the test-framework package
haskell-test-framework-quickcheck2-0.3.0.4-16-x86_64.pkg.tar.xz QuickCheck-2 support for the test-framework package
Advertisement
Advertisement