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

[Mehdi Dogguy]

The annotated tag, debian/2.18.dfsg-2 has been created
        at  f1472f290d3e44e28c15ed9797d41f51ab2e158e (tag)
   tagging  c96fc0b072703b4aeeec6e3583108b10b5262589 (commit)
  replaces  debian/2.13-1
 tagged by  Mehdi Dogguy
        on  Fri Apr 3 22:32:42 2009 +0200

- Shortlog ------------------------------------------------------------
Debian release 2.18.dfsg-2

Mehdi Dogguy (70):
      * 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
      Machine parsable copyright format
      Tabs are evil + reordering
      Add a script to purify the tarball
      Merge branch 'master' of git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/why
      libwhy-coq replaces why (<< 2.18.dfsg-1)

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

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

-- 
why packaging