haskell-tamarin-prover-term-1.4.1-31-x86_64.pkg.tar.xz


Advertisement

Description

haskell-tamarin-prover-term - Term manipulation library for the tamarin prover

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package filename haskell-tamarin-prover-term-1.4.1-31-x86_64.pkg.tar.xz
Package name haskell-tamarin-prover-term
Package version 1.4.1
Package release 31
Package architecture x86_64
Package type xz
Homepage http://www.infsec.ethz.ch/research/software/tamarin
License GPL
Maintainer Felix Yan <felixonmars@archlinux.org>
Download size 609.60 KB
Installed size 4.30 MB

Alternatives

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

Requires

Name Value
ghc-libs -
haskell-attoparsec -
haskell-dlist -
haskell-hunit -
haskell-safe -
haskell-tamarin-prover-utils -

Download

Type URL
Mirror ftp5.gwdg.de
Binary Package haskell-tamarin-prover-term-1.4.1-31-x86_64.pkg.tar.xz
Source Package haskell-tamarin-prover-term

Install Howto

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

Files

Path
/usr/
/usr/lib/libHStamarin-prover-term-1.4.1-F2mCbNyHqb5DXr8EUeY1r6-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/tamarin-prover-term-1.4.1/
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/LTerm.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Positions.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Substitution.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Subsumption.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/SubtermRule.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Term.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Unification.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/UnitTests.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/VTerm.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Builtin/Convenience.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Builtin/Rules.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Builtin/Signature.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Maude/Parser.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Maude/Process.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Maude/Signature.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Maude/Types.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Narrowing/Narrow.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Narrowing/Variants.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Narrowing/Variants/Check.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Narrowing/Variants/Compute.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Rewriting/Definitions.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Rewriting/Norm.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Substitution/SubstVFree.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Substitution/SubstVFresh.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Term/Classes.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Term/FunctionSymbols.dyn_hi
/usr/lib/ghc-8.6.5/site-local/tamarin-prover-term-1.4.1/Term/Term/Raw.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-tamarin-prover-term/
/usr/share/haskell/
/usr/share/haskell/register/haskell-tamarin-prover-term.sh
/usr/share/haskell/unregister/haskell-tamarin-prover-term.sh

See Also

Package Description
haskell-tamarin-prover-theory-1.4.1-42-x86_64.pkg.tar.xz Security protocol types and constraint solver library for the tamarin prover
haskell-tamarin-prover-utils-1.4.1-19-x86_64.pkg.tar.xz Utility library for the tamarin prover
haskell-tar-0.5.1.1-1-x86_64.pkg.tar.xz Reading, writing and manipulating ".tar" archive files
haskell-tar-conduit-0.3.2-16-x86_64.pkg.tar.xz Extract and create tar files using conduit for streaming
haskell-tasty-1.2.3-6-x86_64.pkg.tar.xz Modern and extensible testing framework
haskell-tasty-expected-failure-0.11.1.1-39-x86_64.pkg.tar.xz Mark tasty tests as failure expected
haskell-tasty-golden-2.3.2-36-x86_64.pkg.tar.xz Golden tests support for tasty
haskell-tasty-hedgehog-1.0.0.1-5-x86_64.pkg.tar.xz Integration for tasty and hedgehog
haskell-tasty-hunit-0.10.0.1-51-x86_64.pkg.tar.xz HUnit support for the Tasty test framework
haskell-tasty-lua-0.2.0.1-10-x86_64.pkg.tar.xz Write tests in Lua, integrate into tasty
haskell-tasty-quickcheck-0.10.1-13-x86_64.pkg.tar.xz QuickCheck support for the Tasty test framework
haskell-tasty-rerun-1.1.14-32-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-46-x86_64.pkg.tar.xz SmallCheck support for the Tasty test framework
haskell-tasty-th-0.1.7-72-x86_64.pkg.tar.xz Automatic tasty test case discovery using TH
haskell-temporary-1.3-39-x86_64.pkg.tar.xz Portable temporary file and directory support
Advertisement
Advertisement