[Pkg-ocaml-maint-commits] [frama-c] branch master updated (e0f4503 -> 62f30f7)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository frama-c. from e0f4503 Release to unstable new 2c2a8ba Add Breaks/Replaces statements to frama-c package new e69a2e3 Plugins are only present on nati

[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20150201+sodium+dfsg-2 created (now 6013705)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20150201+sodium+dfsg-2 in repository frama-c. at 6013705 (tag) tagging 62f30f7372ddedf5003dddedc2cab87ae1bc43c4 (commit) replaces debian/20150201+sodium+dfsg-1 tagge

[Pkg-ocaml-maint-commits] [frama-c] 02/03: Plugins are only present on native architectures

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit e69a2e3d3a1edfbe349ebed7c4afe3557ce01a6c Author: Mehdi Dogguy Date: Tue Sep 1 19:32:38 2015 + Plugins are only present on native architectures --- d

[Pkg-ocaml-maint-commits] [frama-c] 03/03: Release to unstable

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 62f30f7372ddedf5003dddedc2cab87ae1bc43c4 Author: Mehdi Dogguy Date: Tue Sep 1 19:34:32 2015 + Release to unstable --- debian/changelog | 4 ++-- 1 f

[Pkg-ocaml-maint-commits] [frama-c] 01/03: Add Breaks/Replaces statements to frama-c package

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 2c2a8bafc303e2f4ea7f5e254a4cfad51a1c3bb4 Author: Mehdi Dogguy Date: Tue Sep 1 19:23:24 2015 + Add Breaks/Replaces statements to frama-c package ---

[Pkg-ocaml-maint-commits] [dose3] 02/02: release 4.0.1-1 to unstable

This is an automated email from the git hooks/post-receive script. josch pushed a commit to tag debian/4.0-2 in repository dose3. commit 2db391d42aef17985f159abb95182dca0496e6da Author: Johannes Schauer Date: Tue Sep 1 11:03:17 2015 +0200 release 4.0.1-1 to unstable --- debian/changelog

[Pkg-ocaml-maint-commits] [dose3] branch master updated (b27a439 -> 2db391d)

This is an automated email from the git hooks/post-receive script. josch pushed a change to branch master in repository dose3. from b27a439 restructure debian/changelog for new upstream release and close #797448 adds 7a0bfc6 debian/dose-distcheck.NEWS: modify header to make lin

[Pkg-ocaml-maint-commits] [dose3] 01/02: debian/dose-distcheck.NEWS: modify header to make lintian happy

This is an automated email from the git hooks/post-receive script. josch pushed a commit to tag debian/4.0-2 in repository dose3. commit 7a0bfc63b7fdc92bf4a1aa915f6e09a5ba3141bf Author: Johannes Schauer Date: Tue Sep 1 11:13:27 2015 +0200 debian/dose-distcheck.NEWS: modify header to make

[Pkg-ocaml-maint-commits] [dose3] tag debian/4.0-2 created (now 2db391d)

This is an automated email from the git hooks/post-receive script. josch pushed a change to tag debian/4.0-2 in repository dose3. at 2db391d (commit) This tag includes the following new commits: new 7a0bfc6 debian/dose-distcheck.NEWS: modify header to make lintian happy