[Pkg-ocaml-maint-commits] [frama-c] 01/02: Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104)

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 6bc52c4bad050b3241c88b368c8f72071982b869 Author: Mehdi Dogguy Date: Sun Jan 15 13:00:52 2017 +0100 Add Breaks/Replaces frama-c-base

[Pkg-ocaml-maint-commits] [frama-c] branch master updated (0de6a01 -> 0e5d69e)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository frama-c. from 0de6a01 Release to unstable new 6bc52c4 Add Breaks/Replaces frama-c-base (<= 20140301+neon+dfsg-3) to frama-c (Closes: #851104) new

[Pkg-ocaml-maint-commits] [frama-c] 02/02: 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 0e5d69e10ee22258442b4c04dd0b6b4439baa69f Author: Mehdi Dogguy Date: Sun Jan 15 13:00:55 2017 +0100 Release to unstable ---

[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20161101+silicon+dfsg-5 created (now f59c275)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20161101+silicon+dfsg-5 in repository frama-c. at f59c275 (tag) tagging 0e5d69e10ee22258442b4c04dd0b6b4439baa69f (commit) replaces debian/20161101+silicon+dfsg-4