[ubuntu/lucid] frama-c 20090902+beryllium+dfsg-4 (Accepted)

[Ubuntu Installer]

frama-c (20090902+beryllium+dfsg-4) unstable; urgency=low

  * Make it compile with OCaml 3.11.2 (Closes: #569260)
    - Add 0004-temp_file-changed-in-OCaml-3.11.2.patch

frama-c (20090902+beryllium+dfsg-3) unstable; urgency=low

  * Fix FTBFS on bytecode architectures
    - 0003-Do-not-install-native-Kernel-modules-on-bytecode-architectures
  * Add Graphviz to build-depends

frama-c (20090902+beryllium+dfsg-2) unstable; urgency=low

  * Fix installability problem by installing frama-c-gui.1 only once.
  * Remove empty dirs
  * Fix hyphen-used-as-minus-sign
  * Fix short description of frama-c-base
  * Set section to « devel »

frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low

  * New upstream release
    + Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
      (fixed upstream)
    + Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream)
  * Update copyright file
  * Remove libjessie-ocaml-dev from build-deps (Why is not needed anymore
    to build Frama-C).
  * Run dh using "--with ocaml" to trigger dh-ocaml sequence
  * Build-depend on ocamlgraph 1.3
  * Add a new binary package: frama-c-base

Date: Fri,  05 Mar 2010 18:00:11 +0000
Changed-By: St?phane Glondu <glondu at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Origin: Debian/testing
https://launchpad.net/ubuntu/lucid/+source/frama-c/20090902+beryllium+dfsg-4
-------------- next part --------------
Origin: Debian/testing
Format: 1.7
Date: Fri,  05 Mar 2010 18:00:11 +0000
Source: frama-c
Binary: frama-c, frama-c-base
Architecture: source
Version: 20090902+beryllium+dfsg-4
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: St?phane Glondu <glondu at debian.org>
Description: 
 frama-c    - Framework for source code analysis of software written in C
Closes: 569260
Changes: 
 frama-c (20090902+beryllium+dfsg-4) unstable; urgency=low
 .
   * Make it compile with OCaml 3.11.2 (Closes: #569260)
     - Add 0004-temp_file-changed-in-OCaml-3.11.2.patch
 .
 frama-c (20090902+beryllium+dfsg-3) unstable; urgency=low
 .
   * Fix FTBFS on bytecode architectures
     - 0003-Do-not-install-native-Kernel-modules-on-bytecode-architectures
   * Add Graphviz to build-depends
 .
 frama-c (20090902+beryllium+dfsg-2) unstable; urgency=low
 .
   * Fix installability problem by installing frama-c-gui.1 only once.
   * Remove empty dirs
   * Fix hyphen-used-as-minus-sign
   * Fix short description of frama-c-base
   * Set section to « devel »
 .
 frama-c (20090902+beryllium+dfsg-1) unstable; urgency=low
 .
   * New upstream release
     + Remove 0001-Fix-weak-pattern-matching-in-dynlink_lower_311_byte..patch
       (fixed upstream)
     + Remove 0003-Add-dGraphView.cmo-when-linking.patch (fixed upstream)
   * Update copyright file
   * Remove libjessie-ocaml-dev from build-deps (Why is not needed anymore
     to build Frama-C).
   * Run dh using "--with ocaml" to trigger dh-ocaml sequence
   * Build-depend on ocamlgraph 1.3
   * Add a new binary package: frama-c-base
Files: 
 5d853bad1c7f6d902f645a9b1b276232 2218 devel extra frama-c_20090902+beryllium+dfsg-4.dsc
 f1ae5a47a61b9e6381af68d99a5f7d49 24152 devel extra frama-c_20090902+beryllium+dfsg-4.diff.gz
 d947a9dec0b1fb06a171da7bc2bd1eb4 1581288 devel extra frama-c_20090902+beryllium+dfsg.orig.tar.gz