libghc-sbv-doc_7.13-1_all.deb


Advertisement

Description

libghc-sbv-doc - symbolic Haskell theorem prover using SMT solving; documentation

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename libghc-sbv-doc_7.13-1_all.deb
Package name libghc-sbv-doc
Package version 7.13
Package release 1
Package architecture all
Package type deb
Category doc
Homepage http://leventerkok.github.com/sbv/
License -
Maintainer Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Download size 1015.11 KB
Installed size 21.22 MB

Alternatives

Package Version Architecture Repository
libghc-sbv-doc_7.13-1_all.deb 7.13 all Debian Main
libghc-sbv-doc - - -

Requires

Name Value
haddock-interface-33 -

Download

Type URL
Mirror ftp.br.debian.org
Binary Package libghc-sbv-doc_7.13-1_all.deb
Source Package haskell-sbv

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libghc-sbv-doc deb package:
    # sudo apt-get install libghc-sbv-doc

Files

Path
/usr/lib/ghc-doc/haddock/sbv-7.13/sbv.haddock
/usr/lib/ghc-doc/hoogle/libghc-sbv-doc.txt
/usr/share/doc/libghc-sbv-doc/buildinfo_all.gz
/usr/share/doc/libghc-sbv-doc/changelog.Debian.gz
/usr/share/doc/libghc-sbv-doc/changelog.gz
/usr/share/doc/libghc-sbv-doc/copyright
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Char.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Control.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Dynamic.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Internals.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-List-Bounded.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-List.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-RegExp.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-String.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-BoundedFix.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-CodeGen.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-GenTest.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Overflow.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Polynomial.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-Range.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV-Tools-STree.html
/usr/share/doc/libghc-sbv-doc/html/Data-SBV.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-BitTricks.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-BrokenSearch.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-Legato.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-MergeSort.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-MultMask.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-BitPrecise-PrefixSum.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-AddSub.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-CRC_USB5.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-Fibonacci.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-GCD.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-PopulationCount.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-CodeGeneration-Uninterpreted.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Crypto-AES.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Crypto-RC4.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Existentials-CRCPolynomial.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Existentials-Diophantine.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Lists-BoundedMutex.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Lists-Fibonacci.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Lists-Nested.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-Auxiliary.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-Enumerate.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-Floating.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-ModelExtract.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-NoDiv0.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-Polynomials.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-SoftConstrain.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Misc-Word4.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Optimization-ExtField.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Optimization-LinearOpt.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Optimization-Production.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Optimization-VM.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Birthday.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Coins.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Counts.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-DogCatMouse.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Euler185.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Fish.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Garden.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-HexPuzzle.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-LadyAndTigers.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-MagicSquare.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-NQueens.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-SendMoreMoney.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-Sudoku.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Puzzles-U2Bridge.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-AllSat.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-CaseSplit.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-Enums.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-FourFours.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-GuessNumber.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-Interpolants.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Queries-UnsatCore.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Strings-RegexCrossword.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Strings-SQLInjection.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Uninterpreted-AUF.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Uninterpreted-Deduce.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Uninterpreted-Function.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Uninterpreted-Shannon.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Uninterpreted-Sort.html
/usr/share/doc/libghc-sbv-doc/html/Documentation-SBV-Examples-Uninterpreted-UISortAllSat.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-124.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-126.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-35.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-37.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-38.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-42.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-43.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-45.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-46.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-47.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-60.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-61.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-95.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-A.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-All.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-B.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-C.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-D.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-E.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-F.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-G.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-H.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-I.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-J.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-K.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-L.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-M.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-N.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-O.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-P.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-Q.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-R.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-S.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-T.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-U.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-V.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-W.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-X.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-Y.html
/usr/share/doc/libghc-sbv-doc/html/doc-index-Z.html
/usr/share/doc/libghc-sbv-doc/html/doc-index.html
/usr/share/doc/libghc-sbv-doc/html/haddock-bundle.min.js
/usr/share/doc/libghc-sbv-doc/html/hslogo-16.png
/usr/share/doc/libghc-sbv-doc/html/index.html
/usr/share/doc/libghc-sbv-doc/html/meta.json
/usr/share/doc/libghc-sbv-doc/html/minus.gif
/usr/share/doc/libghc-sbv-doc/html/ocean.css
/usr/share/doc/libghc-sbv-doc/html/plus.gif
/usr/share/doc/libghc-sbv-doc/html/quick-jump.css
/usr/share/doc/libghc-sbv-doc/html/sbv.txt
/usr/share/doc/libghc-sbv-doc/html/synopsis.png
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Char.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Compilers.C.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Compilers.CodeGen.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Control.Query.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Control.Types.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Control.Utils.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Control.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.AlgReals.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Concrete.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Data.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Floating.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Kind.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Model.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Operations.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Splittable.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Core.Symbolic.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Dynamic.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Internals.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.List.Bounded.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.List.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.ABC.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.Boolector.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.CVC4.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.MathSAT.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.Prover.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.Yices.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Provers.Z3.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.RegExp.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.SMT.SMT.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.SMT.SMTLib.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.SMT.SMTLib2.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.SMT.SMTLibNames.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.SMT.Utils.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.String.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.BoundedFix.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.CodeGen.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.GenTest.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.Overflow.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.Polynomial.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.Range.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Tools.STree.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Utils.Boolean.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Utils.Lib.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Utils.Numeric.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Utils.PrettyNum.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Utils.SExpr.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.Utils.TDiff.html
/usr/share/doc/libghc-sbv-doc/html/src/Data.SBV.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.BitPrecise.BitTricks.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.BitPrecise.BrokenSearch.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.BitPrecise.Legato.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.BitPrecise.MergeSort.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.BitPrecise.MultMask.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.BitPrecise.PrefixSum.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.CodeGeneration.AddSub.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.CodeGeneration.CRC_USB5.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.CodeGeneration.Fibonacci.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.CodeGeneration.GCD.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.CodeGeneration.PopulationCount.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.CodeGeneration.Uninterpreted.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Crypto.AES.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Crypto.RC4.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Existentials.CRCPolynomial.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Existentials.Diophantine.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Lists.BoundedMutex.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Lists.Fibonacci.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Lists.Nested.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.Auxiliary.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.Enumerate.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.Floating.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.ModelExtract.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.NoDiv0.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.Polynomials.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.SoftConstrain.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Misc.Word4.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Optimization.ExtField.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Optimization.LinearOpt.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Optimization.Production.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Optimization.VM.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Birthday.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Coins.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Counts.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.DogCatMouse.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Euler185.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Fish.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Garden.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.HexPuzzle.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.LadyAndTigers.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.MagicSquare.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.NQueens.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.SendMoreMoney.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.Sudoku.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Puzzles.U2Bridge.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.AllSat.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.CaseSplit.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.Enums.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.FourFours.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.GuessNumber.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.Interpolants.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Queries.UnsatCore.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Strings.RegexCrossword.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Strings.SQLInjection.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Uninterpreted.AUF.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Uninterpreted.Deduce.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Uninterpreted.Function.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Uninterpreted.Shannon.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Uninterpreted.Sort.html
/usr/share/doc/libghc-sbv-doc/html/src/Documentation.SBV.Examples.Uninterpreted.UISortAllSat.html
/usr/share/doc/libghc-sbv-doc/html/src/highlight.js
/usr/share/doc/libghc-sbv-doc/html/src/style.css

Changelog

2019-07-27 - Clint Adams <clint@debian.org>
haskell-sbv (7.13-1) unstable; urgency=medium
* New upstream release
2018-10-01 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-sbv (7.12-2) unstable; urgency=medium
* Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
2018-09-30 - Ilias Tsitsimpis <iliastsi@debian.org>
haskell-sbv (7.12-1) unstable; urgency=medium
[ Clint Adams ]
* Set Rules-Requires-Root to no.
[ Ilias Tsitsimpis ]
* Bump debhelper compat level to 10
* New upstream release
2018-04-09 - Clint Adams <clint@debian.org>
haskell-sbv (7.5-1) unstable; urgency=medium
[ Ilias Tsitsimpis ]
* Change Priority to optional. Since Debian Policy version 4.0.1,
priority extra has been deprecated.
* Use the HTTPS form of the copyright-format URL
* Modify d/watch and Source field in d/copyright to use HTTPS
* Declare compliance with Debian policy 4.1.1
* Use salsa.debian.org URLs in Vcs-{Browser,Git} fields
[ Clint Adams ]
* Bump to Standards-Version 4.1.4.
* New upstream release
2017-07-06 - Clint Adams <clint@debian.org>
haskell-sbv (5.14-1) unstable; urgency=medium
* New upstream release
2016-10-27 - Clint Adams <clint@debian.org>
haskell-sbv (5.12-2) unstable; urgency=medium
* Upload to unstable as part of GHC 8 transition.
2016-10-17 - Clint Adams <clint@debian.org>
haskell-sbv (5.12-1) experimental; urgency=medium
* New upstream version.
2016-05-30 - Joachim Breitner <nomeata@debian.org>
haskell-sbv (5.11-1) unstable; urgency=medium
[ Dmitry Bogatov ]
* Bump standards version to 3.9.8 (no changes needed)
[ Joachim Breitner ]
* New upstream release
2016-01-10 - Clint Adams <clint@debian.org>
haskell-sbv (5.9-1) unstable; urgency=medium
* New upstream release
2015-12-28 - Clint Adams <clint@debian.org>
haskell-sbv (5.7-1) unstable; urgency=medium
* New upstream release

See Also

Package Description
libghc-sbv-prof_7.13-1+b2_amd64.deb symbolic Haskell theorem prover using SMT solving; profiling libraries
libghc-scanner-dev_0.3-1_amd64.deb fast incremental combinator parsing for bytestrings
libghc-scanner-doc_0.3-1_all.deb fast incremental combinator parsing for bytestrings; documentation
libghc-scanner-prof_0.3-1_amd64.deb fast incremental combinator parsing for bytestrings; profiling libraries
libghc-scientific-dev_0.3.6.2-3+b2_amd64.deb scientific notation for floating-point numbers
libghc-scientific-doc_0.3.6.2-3_all.deb scientific notation for floating-point numbers; documentation
libghc-scientific-prof_0.3.6.2-3+b2_amd64.deb scientific notation for floating-point numbers; profiling libraries
libghc-scotty-dev_0.11.4+dfsg-1_amd64.deb Haskell web framework inspired by Ruby's Sinatra
libghc-scotty-doc_0.11.4+dfsg-1_all.deb Haskell web framework inspired by Ruby's Sinatra; documentation
libghc-scotty-prof_0.11.4+dfsg-1_amd64.deb Haskell web framework inspired by Ruby's Sinatra; profiling libraries
libghc-sdl-dev_0.6.7.0-1+b3_amd64.deb Haskell SDL binding for GHC
libghc-sdl-doc_0.6.7.0-1_all.deb Haskell SDL binding for GHC - documentation
libghc-sdl-gfx-dev_0.7.0.0-1+b2_amd64.deb Haskell SDL gfx binding for GHC
libghc-sdl-gfx-doc_0.7.0.0-1_all.deb Haskell SDL gfx binding for GHC - documentation
libghc-sdl-gfx-prof_0.7.0.0-1+b2_amd64.deb Haskell SDL gfx binding for GHC - profiling libraries
Advertisement
Advertisement