haskell-sbv-7.13-19-x86_64.pkg.tar.xz


Advertisement

Description

haskell-sbv - SMT Based Verification: Symbolic Haskell theorem prover using SMT solving

Property Value
Distribution Arch Linux
Repository Arch Linux Community x86_64
Package name haskell-sbv
Package version 7.13
Package release 19
Package architecture x86_64
Package type xz
Package license BSD
Installed size 18.89 MB
Download size 2.38 MB
Official Mirror ftp5.gwdg.de
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
Packager: Felix Yan <felixonmars@archlinux.org>

Alternatives

Package Version Architecture Repository
haskell-sbv - - -

Requires

Name Value
ghc libs
haskell random
haskell syb
haskell ghc
haskell quickcheck
haskell cracknum
haskell async
haskell-generic deriving

Download

Type URL
Binary Package haskell-sbv-7.13-19-x86_64.pkg.tar.xz
Source Package haskell-sbv

Install Howto

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

Files

Path
/usr/
/usr/lib/libHSsbv-7.13-60ocaTxuHzeEPCoCcj0w05-ghc8.6.4.so
/usr/lib/ghc-8.6.4/
/usr/lib/ghc-8.6.4/site-local/
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Char.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Control.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Dynamic.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Internals.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/List.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/RegExp.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/String.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Compilers/C.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Compilers/CodeGen.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Control/Query.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Control/Types.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Control/Utils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/AlgReals.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Concrete.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Data.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Floating.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Kind.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Model.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Operations.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Splittable.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Core/Symbolic.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/List/Bounded.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/ABC.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/Boolector.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/CVC4.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/MathSAT.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/Prover.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/Yices.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Provers/Z3.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/SMT/SMT.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/SMT/SMTLib.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/SMT/SMTLib2.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/SMT/SMTLibNames.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/SMT/Utils.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/BoundedFix.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/CodeGen.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/GenTest.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/Overflow.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/Polynomial.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/Range.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Tools/STree.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Utils/Boolean.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Utils/Lib.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Utils/Numeric.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Utils/PrettyNum.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Utils/SExpr.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Data/SBV/Utils/TDiff.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/BitPrecise/BitTricks.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/BitPrecise/BrokenSearch.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/BitPrecise/Legato.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/BitPrecise/MergeSort.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/BitPrecise/MultMask.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/BitPrecise/PrefixSum.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/CodeGeneration/AddSub.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/CodeGeneration/Fibonacci.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/CodeGeneration/GCD.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/CodeGeneration/PopulationCount.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Crypto/AES.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Crypto/RC4.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Existentials/CRCPolynomial.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Existentials/Diophantine.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Lists/BoundedMutex.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Lists/Fibonacci.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Lists/Nested.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/Auxiliary.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/Enumerate.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/Floating.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/ModelExtract.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/NoDiv0.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/Polynomials.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/SoftConstrain.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Misc/Word4.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Optimization/ExtField.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Optimization/LinearOpt.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Optimization/Production.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Optimization/VM.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Birthday.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Coins.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Counts.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/DogCatMouse.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Euler185.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Fish.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Garden.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/HexPuzzle.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/LadyAndTigers.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/MagicSquare.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/NQueens.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/SendMoreMoney.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/Sudoku.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Puzzles/U2Bridge.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/AllSat.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/CaseSplit.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/Enums.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/FourFours.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/GuessNumber.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/Interpolants.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Queries/UnsatCore.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Strings/RegexCrossword.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Strings/SQLInjection.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Uninterpreted/AUF.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Uninterpreted/Deduce.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Uninterpreted/Function.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Uninterpreted/Shannon.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Uninterpreted/Sort.dyn_hi
/usr/lib/ghc-8.6.4/site-local/sbv-7.13/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.dyn_hi
/usr/share/
/usr/share/doc/
/usr/share/doc/haskell-sbv/
/usr/share/haskell/
/usr/share/haskell/register/haskell-sbv.sh
/usr/share/haskell/unregister/haskell-sbv.sh
/usr/share/licenses/
/usr/share/licenses/haskell-sbv/LICENSE
/usr/share/x86_64-linux-ghc-8.6.4/
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/U2Bridge.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/addSub.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/aes128Dec.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/aes128Enc.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/aes128Lib.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/allSat1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/allSat2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/allSat3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/allSat4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/allSat5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/allSat6.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/assertWithPenalty1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/assertWithPenalty2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/auf-0.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/auf-1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-1_5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-2_5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-3_1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-3_2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-3_3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-3_4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-3_5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-4_1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-4_2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-4_3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-4_4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-4_5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-5_1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-5_2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-5_3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-5_4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/basic-5_5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/boxed1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/ccitt.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/cgUninterpret.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/codeGen1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/coins.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/combined1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/combined2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/concreteFoldl.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/concreteFoldr.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/concreteReverse.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/concreteSort.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/counts.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/crcPolyExist.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/crcUSB5_1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/crcUSB5_2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/dogCatMouse.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/euler185.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/exceptionLocal1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/exceptionLocal2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/exceptionRemote1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/fib1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/fib2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/floats_cgen.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/foldlABC1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/foldlABC2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/foldlABC3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/foldrAB1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/foldrAB2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/foldrAB3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/freshVars.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/gcd.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/genBenchMark1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/genBenchMark2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-6.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-7.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-8.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/higher-9.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/iteTest1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/iteTest2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/iteTest3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/legato.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/legato_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/mapNoFailure.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/mapWithFailure.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/maxlWithFailure.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/maxrWithFailure.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/merge.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/noOpt1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/noOpt2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasics1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasics2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_08_signed_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_08_signed_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_08_unsigned_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_08_unsigned_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_16_signed_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_16_signed_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_16_unsigned_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_16_unsigned_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_32_signed_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_32_signed_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_32_unsigned_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_32_unsigned_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_64_signed_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_64_signed_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_64_unsigned_max.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optBasicsRange_64_unsigned_min.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optExtField1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optExtField2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optExtField3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optQuant1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optQuant2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optQuant3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optQuant4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optQuant5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/optReal1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pareto1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pareto2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pareto3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbAtLeast.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbAtMost.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbEq.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbEq2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbExactly.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbGe.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbLe.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbMutexed.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/pbStronglyMutexed.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/popCount1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/popCount2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/qEnum1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/qUninterp1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsexists_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsexists_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsexists_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsexists_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsexists_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsexists_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsforall_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsforall_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsforall_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsforall_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsforall_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_existsforall_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallexists_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallexists_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallexists_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallexists_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallexists_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallexists_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallforall_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallforall_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallforall_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallforall_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallforall_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_prove_forallforall_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsexists_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsexists_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsexists_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsexists_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsexists_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsexists_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsforall_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsforall_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsforall_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsforall_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsforall_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_existsforall_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallexists_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallexists_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallexists_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallexists_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallexists_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallexists_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallforall_contradiction_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallforall_contradiction_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallforall_satisfiable_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallforall_satisfiable_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallforall_thm_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/quantified_sat_forallforall_thm_p.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/queryArrays1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/queryArrays2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/queryArrays3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/queryArrays4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/queryArrays5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/queryArrays6.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_Chars1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_Interpolant1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_Interpolant2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_Lists1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_Strings1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_abc.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_badOption.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_boolector.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_cvc4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_mathsat.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_yices.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/query_z3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/reverse.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/reverseAlt10.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/safe1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/safe2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/selChecked.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/selUnchecked.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqConcat.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqConcatBad.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples6.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples7.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqExamples8.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqIndexOf.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/seqIndexOfBad.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/sort.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/squashReals1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/squashReals2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/squashReals3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/squashReals4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strConcat.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strConcatBad.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples1.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples10.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples11.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples12.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples13.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples2.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples3.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples4.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples5.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples6.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples7.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples8.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strExamples9.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strIndexOf.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/strIndexOfBad.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/temperature.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/tgen_c.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/tgen_forte.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/tgen_haskell.gold
/usr/share/x86_64-linux-ghc-8.6.4/sbv-7.13/SBVTestSuite/GoldFiles/timeout1.gold

See Also

Package Description
haskell-scientific-0.3.6.2-11-x86_64.pkg.tar.xz Numbers represented using scientific notation
haskell-securemem-0.1.10-41-x86_64.pkg.tar.xz abstraction to an auto scrubbing and const time eq, memory chunk
haskell-semigroupoids-5.3.2-6-x86_64.pkg.tar.xz Semigroupoids: Category sans id
haskell-servant-0.16-2-x86_64.pkg.tar.xz A family of combinators for defining webservices APIs
haskell-servant-server-0.16-4-x86_64.pkg.tar.xz A family of combinators for defining webservices APIs and serving them
haskell-servant-swagger-1.1.7-12-x86_64.pkg.tar.xz Generate Swagger specification for your servant API
haskell-setenv-0.1.1.3-13-x86_64.pkg.tar.xz A cross-platform library for setting environment variables
haskell-setlocale-1.0.0.8-5-x86_64.pkg.tar.xz Haskell bindings to setlocale
haskell-sha-1.6.4.4-7-x86_64.pkg.tar.xz Implementations of the SHA suite of message digest functions
haskell-shake-0.17.7-1-x86_64.pkg.tar.xz Build system library, like Make, but more accurate dependencies
haskell-shakespeare-2.0.20-12-x86_64.pkg.tar.xz A toolkit for making compile-time interpolated templates
haskell-shelly-1.8.1-42-x86_64.pkg.tar.xz Shell-like (systems) programming in Haskell
haskell-should-not-typecheck-2.1.0-29-x86_64.pkg.tar.xz A HUnit/hspec assertion library to verify that an expression does not typecheck
haskell-silently-1.2.5-13-x86_64.pkg.tar.xz Prevent or capture writing to stdout and other handles
haskell-simple-sendfile-0.2.28-10-x86_64.pkg.tar.xz Cross platform library for the sendfile system call
Advertisement
Advertisement