This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository alt-ergo.
commit 5e82261fa2a24b7f3c7b80f3d2836071ebb3e1ea
Author: Ralf Treinen <trei...@free.fr>
Date: Thu Dec 21 19:54:00 2017 +0100
standards-version 4.1.2
---
debian/changelog | 3 ++-
debian/control | 2 +-
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index b5cb464..3a95cfc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -3,8 +3,9 @@ alt-ergo (1.30+dfsg1-1) unstable; urgency=medium
* Repack source to exclude the non-free/ directory (closes: #883755).
* Patch ocplib-simplex-0.4: patch to compile with version 0.4 of
ocplib-simplex-ocaml-dev (closes: #882162).
+ * Standards-Version 4.1.2 (no change)
- -- Ralf Treinen <trei...@debian.org> Thu, 21 Dec 2017 19:45:07 +0100
+ -- Ralf Treinen <trei...@debian.org> Thu, 21 Dec 2017 19:53:07 +0100
alt-ergo (1.30-1) unstable; urgency=medium
diff --git a/debian/control b/debian/control
index 6339b18..4ac8e51 100644
--- a/debian/control
+++ b/debian/control
@@ -17,7 +17,7 @@ Build-Depends:
ocplib-simplex-ocaml-dev,
dh-ocaml (>= 0.9.0~)
Homepage: http://alt-ergo.lri.fr
-Standards-Version: 3.9.8
+Standards-Version: 4.1.2
Vcs-Browser:
https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/alt-ergo.git
Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.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
