[Pkg-ocaml-maint-commits] [coq] 01/02: Move initial.coq to coq-theories

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch sid/master
in repository coq.

commit b2c2ff3d8f54130858a1acff4737772bfa0a4a64
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Oct 22 23:35:10 2015 +0200

    Move initial.coq to coq-theories
---
 debian/control                 | 4 ++--
 debian/coq-theories.install.in | 1 +
 debian/coq.install.in          | 1 -
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index c323cf4..292af2a 100644
--- a/debian/control
+++ b/debian/control
@@ -71,8 +71,8 @@ Package: coq-theories
 Architecture: all
 Depends: coq-${F:CoqABI}, ${misc:Depends}
 Recommends: coq (>= 8.0)
-Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
-Replaces: coq-libs (<< 8.2.pl1)
+Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1), coq (<< 8.4pl4dfsg-3)
+Replaces: coq-libs (<< 8.2.pl1), coq (<< 8.4pl4dfsg-3)
 Description: proof assistant for higher-order logic (theories)
  Coq is a proof assistant for higher-order logic, which allows the
  development of computer programs consistent with their formal
diff --git a/debian/coq-theories.install.in b/debian/coq-theories.install.in
index 956a04f..bc6ad73 100644
--- a/debian/coq-theories.install.in
+++ b/debian/coq-theories.install.in
@@ -1,2 +1,3 @@
 doc/stdlib/html usr/share/doc/coq-theories/
+usr/lib/coq/states/initial.coq
 # *.vo files will be added here
diff --git a/debian/coq.install.in b/debian/coq.install.in
index 2c0f9c8..52dd834 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -9,7 +9,6 @@ usr/bin/gallina*
 usr/lib/coq/plugins/micromega/csdpcert
 usr/lib/coq/tools/coqdoc/coqdoc.css
 usr/lib/coq/tools/coqdoc/coqdoc.sty
-usr/lib/coq/states/initial.coq
 usr/share/emacs/site-lisp/coq/
 usr/share/man/man1/coqc*
 usr/share/man/man1/coqdep*

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coq.git