[Pkg-ocaml-maint-commits] [SCM] frama-c packaging annotated tag, debian/20090601.beta1+dfsg-1, created. debian/20090601.beta1+dfsg-1

[Mehdi Dogguy]

The annotated tag, debian/20090601.beta1+dfsg-1 has been created
        at  0617caff4d449f1f73b4c09be6c3ad324acf2f9d (tag)
   tagging  0c88ec9b848f7b921fe573d48a0ba6ba3d9e7bf1 (commit)
  replaces  debian/20081201.dfsg-3
 tagged by  Mehdi Dogguy
        on  Sat Aug 29 11:39:41 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 20090601~beta1+dfsg-1

Mehdi Dogguy (22):
      Do not filter-out why directory since there are two
      Imported Upstream version 20090601~beta1+dfsg
      Merge commit 'upstream/20090601.beta1+dfsg'
      New upstream release
      Use Debian mail address, Remove DMUA
      Remove-patches-now-integrated-upstream
      Build-depend on jessie library version 2.19 and runtime-depend on why 2.19.
      Refresh patch
      Remove patch rule: integrated in dh-ocaml (dom-save-patches)
      Remove not used makefile: quilt.make
      Create lib/gui before configure and remove it when cleaning.
      Add a patch to fix linking order for bin/viewer
      Build-depend on debhelper 7.0.50 since we use overrides
      Bump Standards-Version to 3.8.3
      Build-depending on a particular revision of libocamlgraph-ocaml-dev is not needed
      Install frama-c, frama-c.byte and frama-c-gui on native architectures and frama-c and frama-c-gui on non-native ones.
      Use upstream manpage
      Update README.Debian
      Changelog update
      Backup src/kernel/config.ml
      More files to clean
      Update copyright file

-----------------------------------------------------------------------

-- 
frama-c packaging