[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

frama-c_20111001+nitrogen+dfsg-4_amd64.changes ACCEPTED into unstable





Accepted:
frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb
  to main/f/frama-c/frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb
frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-4.debian.tar.gz
frama-c_20111001+nitrogen+dfsg-4.dsc
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-4.dsc
frama-c_20111001+nitrogen+dfsg-4_amd64.deb
  to main/f/frama-c/frama-c_20111001+nitrogen+dfsg-4_amd64.deb


Changes:
frama-c (20111001+nitrogen+dfsg-4) unstable; urgency=low
 .
  * Port to OCamlgraph 1.8.2
    - add 0007-Port-to-OCamlgraph-1.8.2.patch
  * Bump Standards-Version to 3.9.3, no changes needed


Override entries for your package:
frama-c-base_20111001+nitrogen+dfsg-4_amd64.deb - optional devel
frama-c_20111001+nitrogen+dfsg-4.dsc - source devel
frama-c_20111001+nitrogen+dfsg-4_amd64.deb - optional devel

Announcing to debian-devel-changes@lists.debian.org


Thank you for your contribution to Debian.


Reply to: