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 0e5
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
---
debian/changelog | 4 ++--
1
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
tag
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 (<= 20140301+neon+dfs
4 matches
Mail list logo