[Pkg-ocaml-maint-commits] [alt-ergo] branch master updated (231d305 - 4cb6613)
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository alt-ergo. from 231d305 upload to sid new 4cb6613 lib-dev package breaks/replaces alt-ergo in versions before package split The 1 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 |8 debian/control |2 ++ 2 files changed, 10 insertions(+) -- 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
[Pkg-ocaml-maint-commits] [alt-ergo] 01/01: lib-dev package breaks/replaces alt-ergo in versions before package split
This is an automated email from the git hooks/post-receive script.
treinen pushed a commit to branch master
in repository alt-ergo.
commit 4cb6613bb6aecedfda52640661ac1c493c09d5ab
Author: Ralf Treinen trei...@free.fr
Date: Sat Aug 24 10:57:09 2013 +0200
lib-dev package breaks/replaces alt-ergo in versions before package split
---
debian/changelog |8
debian/control |2 ++
2 files changed, 10 insertions(+)
diff --git a/debian/changelog b/debian/changelog
index 959245b..01f03f2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+alt-ergo (0.95.1-3) unstable; urgency=low
+
+ * make libalt-ergo-ocaml-dev conflict and replace with alt-ergo (
+0.95.1-1) to resolve file conflict with versions of the package before
+the split into two binary packages (closes: #718010).
+
+ -- Ralf Treinen trei...@debian.org Sat, 24 Aug 2013 10:56:21 +0200
+
alt-ergo (0.95.1-2) unstable; urgency=low
* upload to unstable
diff --git a/debian/control b/debian/control
index ab4407c..ebab6f6 100644
--- a/debian/control
+++ b/debian/control
@@ -40,6 +40,8 @@ Package: libalt-ergo-ocaml-dev
Section: ocaml
Architecture: any
Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}
+Breaks: alt-ergo ( 0.95.1-1)
+Replaces: alt-ergo ( 0.95.1-1)
Suggests: why
Description: Theorem prover dedicated to program verification - libraries
Alt-Ergo is an automatic theorem prover geared towards application in
--
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
[Pkg-ocaml-maint-commits] [alt-ergo] annotated tag debian/0.95.1-3 created (now 8aa412e)
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/0.95.1-3 in repository alt-ergo. at 8aa412e (tag) tagging 4cb6613bb6aecedfda52640661ac1c493c09d5ab (commit) replaces debian/0.95.1-2 tagged by Ralf Treinen on Sat Aug 24 11:05:28 2013 +0200 - Log - alt-ergo Debian release 0.95.1-3 Ralf Treinen (1): lib-dev package breaks/replaces alt-ergo in versions before package split --- 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/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
[Pkg-ocaml-maint-commits] [marionnet] 01/03: fix: debian-changelog-line-too-long
This is an automated email from the git hooks/post-receive script. lucas pushed a commit to branch master in repository marionnet. commit cfc3349ecfcb1129b4bb9565cf3e6385f938dfbf Author: Lucas Nussbaum lu...@debian.org Date: Sat Aug 24 17:11:51 2013 +0200 fix: debian-changelog-line-too-long --- debian/changelog |3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 54639bc..037806c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,7 +2,8 @@ marionnet (0.90.6+bzr434-2) UNRELEASED; urgency=low [ Lucas Nussbaum ] * add warning about -nolisten tcp in init script - * Switch Architecture to i386 amd64. user-mode-linux only works on those architectures. + * Switch Architecture to i386 amd64. user-mode-linux only works on +those architectures. * Move startup checks to a separate script * Add marionnet service file -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.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] [marionnet] 03/03: prepare changelog for upload
This is an automated email from the git hooks/post-receive script. lucas pushed a commit to branch master in repository marionnet. commit 628a41409d68fe2ec5edefdef07926fb60acd807 Author: Lucas Nussbaum lu...@debian.org Date: Sat Aug 24 17:17:56 2013 +0200 prepare changelog for upload --- debian/changelog |9 + 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/debian/changelog b/debian/changelog index 037806c..5c0ea3e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,16 +1,17 @@ -marionnet (0.90.6+bzr434-2) UNRELEASED; urgency=low +marionnet (0.90.6+bzr434-2) unstable; urgency=low [ Lucas Nussbaum ] * add warning about -nolisten tcp in init script * Switch Architecture to i386 amd64. user-mode-linux only works on those architectures. - * Move startup checks to a separate script - * Add marionnet service file + * Move startup checks to a separate script. + * Add marionnet service file. + * Fix lintian warnings: extra-license-file. [ Nicolas Dandrimont ] * Update my email address - -- Lucas Nussbaum lu...@debian.org Tue, 13 Aug 2013 16:20:42 +0200 + -- Lucas Nussbaum lu...@debian.org Sat, 24 Aug 2013 17:17:34 +0200 marionnet (0.90.6+bzr434-1) unstable; urgency=low -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.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] [marionnet] branch master updated (11b8b0e - 628a414)
This is an automated email from the git hooks/post-receive script. lucas pushed a change to branch master in repository marionnet. from 11b8b0e Update changelog new cfc3349 fix: debian-changelog-line-too-long new 47c54d8 Fix lintian warnings: extra-license-file new 628a414 prepare changelog for upload The 3 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 | 12 +++- debian/rules |2 ++ 2 files changed, 9 insertions(+), 5 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.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] [marionnet] 02/03: Fix lintian warnings: extra-license-file
This is an automated email from the git hooks/post-receive script. lucas pushed a commit to branch master in repository marionnet. commit 47c54d868e20b56862976888c34a3b779badc7ee Author: Lucas Nussbaum lu...@debian.org Date: Sat Aug 24 17:13:12 2013 +0200 Fix lintian warnings: extra-license-file --- debian/rules |2 ++ 1 file changed, 2 insertions(+) diff --git a/debian/rules b/debian/rules index 402078e..1b5be69 100755 --- a/debian/rules +++ b/debian/rules @@ -12,6 +12,8 @@ override_dh_auto_build: override_dh_auto_install: dh_auto_install rm debian/marionnet/usr/share/marionnet/COPYING # remove duplicate copyright file + rm debian/marionnet/usr/share/marionnet/images/Artistic + rm debian/marionnet/usr/share/marionnet/images/lgpl-3.0.txt if [ -e debian/marionnet/usr/sbin/marionnet-daemon.native ]; then \ mv debian/marionnet/usr/sbin/marionnet-daemon.native debian/marionnet/usr/sbin/marionnet-daemon ; \ mv debian/marionnet/usr/bin/marionnet.native debian/marionnet/usr/bin/marionnet ; \ -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/marionnet.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] [marionnet] annotated tag debian/0.90.6+bzr434-2 created (now cc41092)
This is an automated email from the git hooks/post-receive script. lucas pushed a change to annotated tag debian/0.90.6+bzr434-2 in repository marionnet. at cc41092 (tag) tagging 628a41409d68fe2ec5edefdef07926fb60acd807 (commit) replaces debian/0.90.6+bzr434-1 tagged by Lucas Nussbaum on Sat Aug 24 17:43:34 2013 +0200 - Log - marionnet Debian release 0.90.6+bzr434-2 -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.14 (GNU/Linux) iQIVAwUAUhjUpjkUtTL0376ZAQpLdg//W/l7o/q6A8SOGfNsbOakJEr2w06TEine slGzGFkkV2/djNEf8m3vK0T79gBvNv0ZTSZEdFia7fjm1dIvZb65yuNkKGitSX+f 8ve9QIkpn+TiNE8bUBsViI205y4QpcewkZOPkO1N0XXfqNSJN7ssJEL/wlgpyDuF tDMo9UG0+ZiTSJZen77DIHg5L0DHC+G26GhpHLmfA9QuxUO02OW9gv8j0fJ2KjSm YE4+khswC0+rUxGZQlr0W0Koa93zBTyAl+yOBFen9qcL/DMN6kNACeWK50+Drztg 4VClwhUX54GSQkjoM+OqWn+pKKZN8Qn5LSmRGXdQgNhBV/nqrvJLbjfUE5Zi5+ld 0+KQTBVMHbJJhAEsGWUldfbTRpJQLvQOTOJ71R2hZKlKDsIz0XqeyJJQPvS6QzsJ 5Syb17IaoAmoRVctkmzAOF/HdNf72w0ykvMjIeGvXD1kE5ruK6rNIM/59AFgLFjt FMXDF2ewba0YrK7vXLwuAYbeHeMWME4+r0YduJe7K9CV/0aKMx4JVFJPPdLDWgET qmqQX4dPFNtFsj2fo8d9hg9jaYF3WfyybgJlu1n+EUCZX1zYNasM2yMWeA+Dpnco qPyqIcE7kskLNaBCYFd9Rw4zStT2SZahKXC4LhHbh6TNn80/oumaNeMwTW9V63VN wodKKknjZu8= =kD8W -END PGP SIGNATURE- Lucas Nussbaum (9): add warning about -nolisten tcp in init script Switch Architecture to linux-any as marionnet requires UML. Switch Architecture to i386 amd64. user-mode-linux only works on those architectures. Move startup checks to a separate script Add marionnet service file add description to service file fix: debian-changelog-line-too-long Fix lintian warnings: extra-license-file prepare changelog for upload Nicolas Dandrimont (2): Update my email address Update changelog --- 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/marionnet.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
