Commit 7bdd0ceb authored by Clint Adams's avatar Clint Adams

Add missing Vcs-Git/Vcs-Browser headers (4 packages)

parent aacf5612
cabal-debian (4.31-4) UNRELEASED; urgency=medium
* Add missing Vcs-Git/Vcs-Browser headers.
-- Clint Adams <clint@debian.org> Thu, 03 Dec 2015 14:24:34 -0500
cabal-debian (4.31-3) experimental; urgency=medium
* Depend on haskell-devscripts >= 0.10 to ensure that this package
......
......@@ -36,6 +36,8 @@ Build-Depends: debhelper (>= 9),
libghc-prettyclass-dev,
Standards-Version: 3.9.6
Homepage: https://github.com/ddssff/cabal-debian
Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
Package: cabal-debian
Architecture: any
......
haskell-doctest (0.10.1-3) UNRELEASED; urgency=medium
* Add missing Vcs-Git/Vcs-Browser headers.
-- Clint Adams <clint@debian.org> Thu, 03 Dec 2015 14:24:34 -0500
haskell-doctest (0.10.1-2) experimental; urgency=medium
* Add lintian override for spurious rpaths
......
......@@ -17,6 +17,8 @@ Build-Depends-Indep: ghc-doc,
libghc-syb-doc,
Standards-Version: 3.9.6
Homepage: https://github.com/sol/doctest-haskell
Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
Package: libghc-doctest-dev
Architecture: any
......
haskell-hsmtlib (0.2.0.6-3) UNRELEASED; urgency=medium
* Add missing Vcs-Git/Vcs-Browser headers.
-- Clint Adams <clint@debian.org> Thu, 03 Dec 2015 14:24:34 -0500
haskell-hsmtlib (0.2.0.6-2) experimental; urgency=medium
* Depend on haskell-devscripts >= 0.10 to ensure that this package
......
......@@ -21,6 +21,8 @@ Build-Depends-Indep: ghc-doc,
libghc-smtlib-doc,
Standards-Version: 3.9.6
Homepage: https://github.com/MfesGA/Hsmtlib
Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
X-Description: Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
Hsmtl provides functions to interact with several smt solvers using SMT-LIB 2.
The current suported solvers are Alt-Ergo, Cvc4, MathSat, Yices, Z3.
......
haskell-smtlib (1.0.7-3) UNRELEASED; urgency=medium
* Add missing Vcs-Git/Vcs-Browser headers.
-- Clint Adams <clint@debian.org> Thu, 03 Dec 2015 14:24:34 -0500
haskell-smtlib (1.0.7-2) experimental; urgency=medium
* Depend on haskell-devscripts >= 0.10 to ensure that this package
......
......@@ -10,6 +10,8 @@ Build-Depends: debhelper (>= 9),
ghc-prof,
Build-Depends-Indep: ghc-doc,
Standards-Version: 3.9.6
Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
X-Description: A library for working with the SMTLIB format.
Package: libghc-smtlib-dev
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment