[Pkg-ocaml-maint-commits] [planets] 04/04: standards-version 4.1.0: drop menu, priority=optional

2017-09-26 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository planets.

commit 86bb5f6e190396f7a63ba03745db414a7ee794bb
Author: Ralf Treinen 
Date:   Tue Sep 26 08:20:47 2017 +0200

standards-version 4.1.0: drop menu, priority=optional
---
 debian/changelog | 9 ++---
 debian/control   | 4 ++--
 debian/menu  | 2 --
 3 files changed, 8 insertions(+), 7 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index ec6babb..c97ad1c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,13 @@
-planets (0.1.13-17) UNRELEASED; urgency=medium
+planets (0.1.13-17) unstable; urgency=medium
 
   * debhelper compat level 10
+  * Standards-version 4.1.0:
+- remove debian/menu since there is an upstream desktop file
+- change Priority to optional
   * improve wording in long description
-  * fix spelling in d/doc-base.planets-intro
+  * fix spelling in debian/doc-base.planets-intro
 
- -- Ralf Treinen   Tue, 26 Sep 2017 07:59:26 +0200
+ -- Ralf Treinen   Tue, 26 Sep 2017 08:18:45 +0200
 
 planets (0.1.13-16) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index 9694a43..0a0d82d 100644
--- a/debian/control
+++ b/debian/control
@@ -1,6 +1,6 @@
 Source: planets
 Section: science
-Priority: extra
+Priority: optional
 Maintainer: Debian OCaml Maintainers 
 Uploaders: Martin Pitt ,
  Samuel Mimram ,
@@ -13,7 +13,7 @@ Build-Depends:
  ocaml (>= 3.11.1-3~),
  ocaml-nox (>= 3.11.1-3~)
 Build-Depends-Indep: tk8.5-dev, camlp4
-Standards-Version: 3.9.5
+Standards-Version: 4.1.0
 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/planets.git
 Vcs-Browser: 
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/planets.git
 Homepage: http://planets.homedns.org/
diff --git a/debian/menu b/debian/menu
deleted file mode 100644
index 56f4013..000
--- a/debian/menu
+++ /dev/null
@@ -1,2 +0,0 @@
-?package(planets):needs="X11" section="Games/Simulation" \
-  title="planets" command="/usr/bin/planets"

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [planets] branch master updated (3d8ff70 -> 86bb5f6)

2017-09-26 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to branch master
in repository planets.

  from  3d8ff70   Release to unstable
   new  19931d1   DH compat level 10
   new  c48426b   improve long description
   new  62e5e8d   spelling in doc-base file
   new  86bb5f6   standards-version 4.1.0: drop menu, priority=optional

The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog  | 11 +++
 debian/compat |  2 +-
 debian/control|  8 
 debian/doc-base.planets-intro |  2 +-
 debian/menu   |  2 --
 5 files changed, 17 insertions(+), 8 deletions(-)
 delete mode 100644 debian/menu

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [planets] 01/04: DH compat level 10

2017-09-26 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository planets.

commit 19931d18662230f54bb9e671ca6fb96672ed373c
Author: Ralf Treinen 
Date:   Tue Sep 26 07:55:45 2017 +0200

DH compat level 10
---
 debian/changelog | 6 ++
 debian/compat| 2 +-
 debian/control   | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index f5cbe68..d81090c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+planets (0.1.13-17) UNRELEASED; urgency=medium
+
+  * debhelper compat level 10
+
+ -- Ralf Treinen   Tue, 26 Sep 2017 07:55:07 +0200
+
 planets (0.1.13-16) unstable; urgency=medium
 
   * Team upload.
diff --git a/debian/compat b/debian/compat
index 7ed6ff8..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-5
+10
diff --git a/debian/control b/debian/control
index 8ed252b..62a8d33 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Uploaders: Martin Pitt ,
  Samuel Mimram ,
  Ralf Treinen 
 Build-Depends:
- debhelper (>= 7.0.50~),
+ debhelper (>= 10),
  dh-ocaml (>= 0.9~),
  tk-dev,
  liblabltk-ocaml-dev,

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [planets] 02/04: improve long description

2017-09-26 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository planets.

commit c48426b442835fffb0467f73d3219348e32bfba1
Author: Ralf Treinen 
Date:   Tue Sep 26 07:57:45 2017 +0200

improve long description
---
 debian/changelog | 3 ++-
 debian/control   | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index d81090c..478274f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
 planets (0.1.13-17) UNRELEASED; urgency=medium
 
   * debhelper compat level 10
+  * improve wording in long description
 
- -- Ralf Treinen   Tue, 26 Sep 2017 07:55:07 +0200
+ -- Ralf Treinen   Tue, 26 Sep 2017 07:57:25 +0200
 
 planets (0.1.13-16) unstable; urgency=medium
 
diff --git a/debian/control b/debian/control
index 62a8d33..9694a43 100644
--- a/debian/control
+++ b/debian/control
@@ -28,4 +28,4 @@ Description: Gravitation simulation of planetary bodies
  level.
  .
  The user interface is aimed at being simple enough for a fairly young
- kid to enjoy it (it has a special kid-mode for this purpose).
+ kid to enjoy it, their is a special kid-mode for this purpose.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [planets] annotated tag debian/0.1.13-17 created (now 59bd298)

2017-09-26 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag debian/0.1.13-17
in repository planets.

at  59bd298   (tag)
   tagging  86bb5f6e190396f7a63ba03745db414a7ee794bb (commit)
  replaces  debian/0.1.13-16
 tagged by  Ralf Treinen
on  Tue Sep 26 08:24:02 2017 +0200

- Log -
planets Debian release 0.1.13-17

Ralf Treinen (4):
  DH compat level 10
  improve long description
  spelling in doc-base file
  standards-version 4.1.0: drop menu, priority=optional

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [planets] 03/04: spelling in doc-base file

2017-09-26 Thread Ralf Treinen 
This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository planets.

commit 62e5e8d055271f250f7f9a4a4cf4a95baf294b85
Author: Ralf Treinen 
Date:   Tue Sep 26 07:59:53 2017 +0200

spelling in doc-base file
---
 debian/changelog  | 3 ++-
 debian/doc-base.planets-intro | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 478274f..ec6babb 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ planets (0.1.13-17) UNRELEASED; urgency=medium
 
   * debhelper compat level 10
   * improve wording in long description
+  * fix spelling in d/doc-base.planets-intro
 
- -- Ralf Treinen   Tue, 26 Sep 2017 07:57:25 +0200
+ -- Ralf Treinen   Tue, 26 Sep 2017 07:59:26 +0200
 
 planets (0.1.13-16) unstable; urgency=medium
 
diff --git a/debian/doc-base.planets-intro b/debian/doc-base.planets-intro
index fc2f84a..1bee57b 100644
--- a/debian/doc-base.planets-intro
+++ b/debian/doc-base.planets-intro
@@ -2,7 +2,7 @@ Document: planets-intro
 Title: Getting started with planets
 Author: Yaron M. Minsky
 Abstract: This manual is a quick tutorial introducing the basic steps
- to define universes and controling the animation.
+ to define universes and controlling the animation.
 Section: Games/Simulation
 
 Format: HTML

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coq] branch master updated (c2f1eda -> 45d7383)

2017-09-26 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a change to branch master
in repository coq.

  from  c2f1eda   fix ocamlfind package name
   new  0905922   Remove unused Lintian overrides
   new  47a06f5   Remove menu files
   new  e9b64f6   Update Vcs-*
   new  45d7383   Update changelog and prepare upload to unstable

The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 debian/changelog  | 31 ---
 debian/control|  4 ++--
 debian/coq-theories.lintian-overrides |  1 -
 debian/coq.menu   |  4 
 debian/coqide.menu|  4 
 debian/libcoq-ocaml.lintian-overrides |  1 -
 6 files changed, 22 insertions(+), 23 deletions(-)
 delete mode 100644 debian/coq-theories.lintian-overrides
 delete mode 100644 debian/coq.menu
 delete mode 100644 debian/coqide.menu
 delete mode 100644 debian/libcoq-ocaml.lintian-overrides

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coq] 04/04: Update changelog and prepare upload to unstable

2017-09-26 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit 45d7383f95ce0528d756f712635df90456ab97dc
Author: Stephane Glondu 
Date:   Tue Sep 26 10:20:31 2017 +0200

Update changelog and prepare upload to unstable
---
 debian/changelog | 31 ---
 1 file changed, 20 insertions(+), 11 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 3a0757e..a0b424e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,12 +1,21 @@
+coq (8.6-5) unstable; urgency=medium
+
+  * Recompile with OCaml 4.05.0
+  * Remove unused Lintian overrides
+  * Remove menu files
+  * Update Vcs-*
+
+ -- Stéphane Glondu   Tue, 26 Sep 2017 11:08:52 +0200
+
 coq (8.6-4) unstable; urgency=medium
 
-  * coq_makefile needs ocamlfind in order to work 
+  * coq_makefile needs ocamlfind in order to work
 
  -- Enrico Tassi   Thu, 29 Dec 2016 23:45:47 +0100
 
 coq (8.6-3) unstable; urgency=medium
 
-  * 5127.v fails on mips, disabling 
+  * 5127.v fails on mips, disabling
 
  -- Enrico Tassi   Thu, 29 Dec 2016 08:58:35 +0100
 
@@ -19,26 +28,26 @@ coq (8.6-2) unstable; urgency=medium
 
 coq (8.6-1) unstable; urgency=medium
 
-  * New upstream release 
+  * New upstream release
 
  -- Enrico Tassi   Tue, 27 Dec 2016 16:53:39 +0100
 
 coq (8.5-2) unstable; urgency=medium
 
-  * patch: disable test 4429 (timeout too strict for slow architectures) 
+  * patch: disable test 4429 (timeout too strict for slow architectures)
 
  -- Enrico Tassi   Thu, 28 Jan 2016 11:47:07 +0100
 
 coq (8.5-1) unstable; urgency=medium
 
-  * New upstream release 
+  * New upstream release
   * patch: disable test 4366 (timeout too strict for slow architectures)
 
  -- Enrico Tassi   Tue, 26 Jan 2016 16:59:05 +0100
 
 coq (8.5~beta3+dfsg-2) experimental; urgency=medium
 
-  * Option -no-native-compiler now called -native-compiler no 
+  * Option -no-native-compiler now called -native-compiler no
 
  -- Enrico Tassi   Sat, 14 Nov 2015 14:59:04 +0100
 
@@ -65,7 +74,7 @@ coq (8.5~beta2+dfsg-1) experimental; urgency=medium
   * coq depends on coq-theories binary:Version
   * lintian-overrides for coq-native/*cmx* and plugins/*cmxs files
 (hardening-no-relro)
-  * Build depend on liblablgtksourceview2-ocaml-dev 
+  * Build depend on liblablgtksourceview2-ocaml-dev
 
  -- Enrico Tassi   Wed, 15 Jul 2015 11:36:30 +0200
 
@@ -539,7 +548,7 @@ coq (8.0pl3+8.1beta.2-1) experimental; urgency=low
 coq (8.0pl3+8.1beta-1) experimental; urgency=low
 
   * New upstream release.
-  * Added --fsets all option to configure to build the theory of finite sets. 
+  * Added --fsets all option to configure to build the theory of finite sets.
   * Updated coqdoc_stdlib.dpatch, partly integrated upstream.
   * Removed failing_tests.dpath, all the tests should succeed now.
   * We don't need to remove rpaths anymore.
@@ -708,7 +717,7 @@ coq (7.3.1-1) unstable; urgency=low
 coq (7.3-1) unstable; urgency=low
 
   * New upstream version.
- 
+
  -- Judicael Courant   Wed, 22 May 2002 14:48:21 +0200
 
 coq (7.2-9) unstable; urgency=low
@@ -758,7 +767,7 @@ coq (7.2-4) unstable; urgency=low
 coq (7.2-3) unstable; urgency=low
   * Workaround for problems with buildd/apt trying to install camlp4
 (closes: Bug#130046).
-  
+
  -- Judicaël Courant   Mon, 21 Jan 2002 09:46:16 +0100
 
 coq (7.2-2) unstable; urgency=low
@@ -796,7 +805,7 @@ coq (7.0-1) unstable; urgency=low
   * Emacs mode installation now follows Emacs policy.
   * Made compilation non-interactive (closes: Bug#92461).
   * Added Suggests cle.
-  
+
 
  -- Judicaël Courant   Tue,  17 Apr 2001 19:24:34 
+0200
 

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coq] 03/04: Update Vcs-*

2017-09-26 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit e9b64f65bc46bcf8afdceb88cc2db81f8faa84ba
Author: Stephane Glondu 
Date:   Tue Sep 26 11:07:55 2017 +0200

Update Vcs-*
---
 debian/control | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/control b/debian/control
index 79c8561..3c9f1cc 100644
--- a/debian/control
+++ b/debian/control
@@ -20,8 +20,8 @@ Build-Depends:
  texlive-latex-extra,
  hevea (>= 1.10-7)
 Homepage: http://coq.inria.fr/
-Vcs-Browser: 
http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq.git
-Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git
+Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
+Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/coq.git
 
 Package: coq
 Architecture: any

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coq] 01/04: Remove unused Lintian overrides

2017-09-26 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit 090592236763255a379552fca40bb865b68c73e6
Author: Stephane Glondu 
Date:   Tue Sep 26 11:07:18 2017 +0200

Remove unused Lintian overrides
---
 debian/coq-theories.lintian-overrides | 1 -
 debian/libcoq-ocaml.lintian-overrides | 1 -
 2 files changed, 2 deletions(-)

diff --git a/debian/coq-theories.lintian-overrides 
b/debian/coq-theories.lintian-overrides
deleted file mode 100644
index 6ae619a..000
--- a/debian/coq-theories.lintian-overrides
+++ /dev/null
@@ -1 +0,0 @@
-hardening-no-relro *coq-native*
diff --git a/debian/libcoq-ocaml.lintian-overrides 
b/debian/libcoq-ocaml.lintian-overrides
deleted file mode 100644
index 33365c0..000
--- a/debian/libcoq-ocaml.lintian-overrides
+++ /dev/null
@@ -1 +0,0 @@
-hardening-no-relro *plugins*cmxs

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coq] 02/04: Remove menu files

2017-09-26 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository coq.

commit 47a06f5660633f7cce3b8dedbd658e0d398b0fca
Author: Stephane Glondu 
Date:   Tue Sep 26 11:07:44 2017 +0200

Remove menu files
---
 debian/coq.menu| 4 
 debian/coqide.menu | 4 
 2 files changed, 8 deletions(-)

diff --git a/debian/coq.menu b/debian/coq.menu
deleted file mode 100644
index 0552ecb..000
--- a/debian/coq.menu
+++ /dev/null
@@ -1,4 +0,0 @@
-?package(coq):command="/usr/bin/coqtop" \
-  icon="/usr/share/pixmaps/coq.xpm" \
-  needs="text" \
-  section="Applications/Science/Mathematics" title="Coq"
diff --git a/debian/coqide.menu b/debian/coqide.menu
deleted file mode 100644
index 93feca9..000
--- a/debian/coqide.menu
+++ /dev/null
@@ -1,4 +0,0 @@
-?package(coqide):command="/usr/bin/coqide" \
-  icon="/usr/share/pixmaps/coqide.xpm" \
-  needs="X11" \
-  section="Applications/Science/Mathematics" title="CoqIDE"

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

[Pkg-ocaml-maint-commits] [coq] annotated tag debian/8.6-5 created (now 0c27d3c)

2017-09-26 Thread Stéphane Glondu 
This is an automated email from the git hooks/post-receive script.

glondu pushed a change to annotated tag debian/8.6-5
in repository coq.

at  0c27d3c   (tag)
   tagging  45d7383f95ce0528d756f712635df90456ab97dc (commit)
  replaces  debian/8.6-4
 tagged by  Stephane Glondu
on  Tue Sep 26 11:52:17 2017 +0200

- Log -
coq Debian release 8.6-5
-BEGIN PGP SIGNATURE-

iQIzBAABCgAdFiEEWOsJmcZOiX7olLgDeFPaTUmIGtMFAlnKI1EACgkQeFPaTUmI
GtOVGw//YEl8idiF8LxsJ0qJsUhbUNedWkBhCk2o4W+WCENe2MImIzgI0UUH5L5c
xODUHCiKEXcL9sE/oi+kDhAkS0FGmfpYrNUzhfGFLBk3D8YU/uiHTnwy+4lTDPJX
uFRBjjDuckSy26Zyz7H2dM5AxkGpXCJ5ZZcI0Rgfvjfc3kYZgF5eNUlEWR2QFktz
thgcTL8dWHkPw10hC9GXjhKf09mQyBlqdChNRYKFZrhh16MEwr5gq8cUA2lTvtWI
/kYz4+weAJtXnwI/8UlTVViy50LyaSFLeNxfqa6EsWeVeg0u5gHiawIx2AHHzVYq
wpYKCwREShS4VVzvifuJUQ5VPAlWdipU4dHtuKyQVvu9+6Qrf66hgueZknqsgzLt
VlN9tmFZMdzZxl7gWMh5qtBXrcM1a9mGVWaYjSqVJtvvCh3nifWdAKPDGzHuCyqQ
O2P2wYMnbUnHt+1ZPUJniataQ4p2QmMdfXwrv+Za3W4SS6/29NNZW24uD3sLkO+9
xqFQLFA5gtBdoRqbUE2qitU7JM5dbGtXgPRttqhTBvGlA4j1oeWNn6xcxrSfzEzD
QohMUgd9elwtbjna9yy9eLi4Zg9etfFqJpvJogeWX0i3k0muAOywJQIP7UwxjU+o
FiXn1XTz9O1QbE0TjrkqPB1EXw4vEfOdpV3R3W0TU8IhAOylmEc=
=dpws
-END PGP SIGNATURE-

Stéphane Glondu (4):
  Remove unused Lintian overrides
  Remove menu files
  Update Vcs-*
  Update changelog and prepare upload to unstable

---

No new revisions were added by this update.

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

___
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits