[Pkg-ocaml-maint-commits] [SCM] why packaging annotated tag, debian/2.18.dfsg-1, created. debian/2.18.dfsg-1

[Samuel Mimram]

The annotated tag, debian/2.18.dfsg-1 has been created
        at  fa953c102250f8c1325be23651f80d7750533fc7 (tag)
   tagging  a76bd462a04fd7a57694cf3461425cad971fa75c (commit)
  replaces  debian/2.13-1
 tagged by  Samuel Mimram
        on  Mon Mar 16 20:17:30 2009 +0100

- Shortlog ------------------------------------------------------------
Debian release 2.18.dfsg-1

Mehdi Dogguy (65):
      * Move logo in /usr/share/why
      add jessie library
      commenting changes
      * New upstream release (2.14).
      Merge commit 'upstream/2.14'
      Imported Upstream version 2.14
      Install why-cpulimit manpage
      New upstream release 2.15
      Merge commit 'upstream/2.15'
      Adding new tarball and fixing changelog
      Imported Upstream version 2.15
      adding a more specific comment for bug #498485
      Installing .vo files in /usr/lib/coq/user-contrib, bug: #498713
      New upstream release (2.16)
      Merge commit 'upstream/2.16'
      Imported Upstream version 2.16
      New licence for why: GNU LGPL 2.1
      Switching packaging to git
      Not used anymore.
      License version is 2.
      Imported Upstream version 2.16.dfsg
      Merge commit 'upstream/2.16.dfsg'
      - Add debian/README.source to explain how I created .dfsg tarball
      - Some cleaning
      New md5sum for dfsg tarball
      Clean and complete cleaning in debian/rules
      Add README.source in doc directory
      Add description for makefile.in.dpatch
      * Add a binary package libjessie-ocaml-dev
      Do not try to install jc.a on non-native archs
      This is the right solution to not install jc.a on non native archs
      Imported Upstream version 2.17.dfsg
      Merge commit 'upstream/2.17.dfsg'
      New upstream release
      Adding a new binary package why-examples
      Do not compress .v, .sx and .why files
      why-examples depends on why
      Ergo is now Alt-Ergo
      why-examples recommends why and why recommends alt-ergo
      Imported Upstream version 2.18.dfsg
      Merge commit 'upstream/2.18.dfsg'
      New upstream release
      Depend on coq-${F:CoqABI} instead of Coq
      Bump libfloat-coq version to 1:8.1-1.0-5 (next one compiled with Coq 8.2)
      Add misc:Depends
      Add DMUA flag with Sam's blessing
      Changelog update
      They are already defined in ocamlvars.mk
      Use the one defined in ocamlvars.mk
      Remove useless comments
      Move {dirs,links} to why.{dirs,links}
      New files libwhy-coq and why-examples.dirs
      newline
      New binary package libwhy-coq which is suggested by why
      changelog update
      Using dh_prep instead of dh_clean -k
      Fix typo : COQABI -> COQ_ABI
      Remove leading space from description
      jessie_why.v was installed twice, now in libwhy-coq
      why-examples depends now on why and libwhy-coq
      Add gbp.conf to avoid future problems
      Use newest dh-ocaml
      Use dh-ocaml predefined variables and add missing dependency for gwhy
      changelog update
      Actually, it's also the case for why

Samuel Mimram (3):
      Use predefined variables from ocamlvars.mk and coqvars.mk.
      Upload to unstable.
      More cleaning.

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

-- 
why packaging