]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - debian/changelog
wip
[pkg-cerco/frama-c-cost-plugin.git] / debian / changelog
1 frama-c-cost-plugin (0.1-1) UNRELEASED; urgency=low
2
3   * Initial release. (Closes: #XXXXXX)
4
5  -- CSC <sacerdot@cs.unibo.it>  Thu, 14 Mar 2013 19:07:47 +0100