[Pkg-ocaml-maint-commits] [aac-tactics] 01/03: Bump Standards-Version to 3.9.5 (no changes)
Stéphane Glondu
glondu at moszumanska.debian.org
Mon Jan 20 07:29:10 UTC 2014
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository aac-tactics.
commit 912dbce4c453004cbc22bc1c319077fd39a0756a
Author: Stephane Glondu <steph at glondu.net>
Date: Mon Jan 20 07:38:26 2014 +0100
Bump Standards-Version to 3.9.5 (no changes)
---
debian/control | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/debian/control b/debian/control
index 291727b..91638d2 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
ocaml-nox (>= 3.11.1-3~),
coq (>= 8.4dfsg-2~),
libcoq-ocaml-dev
-Standards-Version: 3.9.4
+Standards-Version: 3.9.5
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/aac-tactics.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
More information about the Pkg-ocaml-maint-commits
mailing list