[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20111001+nitrogen+dfsg-3-10-gdecd56b
Mehdi Dogguy
mehdi at debian.org
Tue Jun 25 20:30:11 UTC 2013
The following commit has been merged in the master branch:
commit c18e4b814b6bb2e4d83bdb5832c789a6d3ab44c3
Merge: 10eb582f023c91b5c54550b3ebd08475af7ca91d 8e51213e5c96d5ca311dc718c80413a57d649863
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Tue Jun 25 21:50:44 2013 +0200
Merge tag 'upstream/20130501+fluorine2+dfsg'
Upstream version 20130501+fluorine2+dfsg
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list