lp:ubuntu/precise/frama-c

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

19. By Mehdi on 2012-01-06

* Include patchlevel2 for Nitrogen 20111001.
  - add debian/patches/0006-Patchlevel2-for-Nitrogen-20111001.patch

18. By Colin Watson on 2011-11-19

Rebuild for OCaml 3.12.1.

17. By Iain Lane on 2011-09-24

No-change rebuild for new lablgtk ABI

16. By Adam Conrad on 2011-08-24

Rebuild to pick up ocaml fixes on armel.

15. By Mehdi on 2011-04-25

* Add "-I +ocamlgraph" to DYN_{O,B}LINKFLAGS, needed for plugins to link.
  - add 0003-Add-ocamlgraph-to-DYN_-O-B-LINKFLAGS.patch
  - add libocamlgraph-ocaml-dev to frama-c-base's runtime dependencies.

14. By Mehdi on 2010-10-05

[ Stéphane Glondu ]
* Fix versioned build-deps to ensure smoother backports

[ Mehdi Dogguy ]
* Add 0011-Fix-some-minor-memory-leaks.patch

13. By Mehdi on 2010-07-16

* Add 0009-unrollType-in-handle_signed_overflow from upstream.
* Add 0010-More-spelling-fixes.patch
* Convert to 3.0 (quilt) source format.
* Bump standards version to 3.9.0.

12. By Mehdi on 2010-06-01

* Make the configure script accept OCamlgraph 1.5 (Closes: #580090)
* Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~).
* Add a debian/source/format file (keep the package in 1.0 format,
  for now).

11. By Mehdi on 2010-04-27

* New upstream release:
  - Remove some patches integrated by upstream:
    + 0001-Use-GSourceView2.patch
    + 0003-Do-not-install-native-Kernel-modules-on-bytecode-arc.patch
    + 0004-temp_file-changed-in-OCaml-3.11.2.patch
  - Add some patches:
    + 0002-.make-ocamlgraph-no-op-for-non-local-ocamlgraph
    + 0003-Fix-build-on-bytecode-only-architectures.patch
    + 0004-Fix-some-typos.patch
    + 0005-Don-t-modify-system-files.patch
    + 0006-Fix-build-on-bytecode-only-architectures.patch
  - Update:
    + 0001-Fix-hyphen-used-as-minus-sign-and-a-typo.patch
  - Bump ocamlgraph minimum version to 1.4
* Set Priority to optional
* Set filter-pristine-tar in debian/gbp.conf
* Fix watch file
* Update 'Homepage' field
* Bump Standards Version to 3.8.4, no changes needed.
* Update copyright file

10. By Mehdi on 2010-02-11

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