[Pkg-ocaml-maint-commits] [why] annotated tag debian/2.36-1 created (now 84accc1)

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a change to annotated tag debian/2.36-1
in repository why.

        at  84accc1   (tag)
   tagging  94274d419d6d2b0ff74a050df4fbc5be58cedd12 (commit)
  replaces  debian/2.34-4
 tagged by  Ralf Treinen
        on  Tue Oct 11 21:44:04 2016 +0200

- Log -----------------------------------------------------------------
why Debian release 2.36-1

Ralf Treinen (33):
      fix d/watch: read from home page
      Imported Upstream version 2.35
      refreshed patches edge and bprintf, dropped patch makefile
      dropped build-dependency on libfloat-coq
      update debian/watch
      New upstream version 2.36
      drop patch atp-versions
      bump build-dependency on frama-c
      d/rules:drop invocation of autoconf
      d/rules: drop tests
      create bin dir before building
      drop package why-examples
      close 2 bugs resolved by upstream
      drop why-cpulimit.1
      no more man pages
      drop obsolete README.source
      XS-Testsuite no longer needed
      drop tests of why binary
      (build-)depend on why3
      no more filtering of tarball
      adapt jessie test to why3
      bump standards-version
      add krakatoa test
      reproducible build
      description for patch reproducible_build
      Vcs-{Git,Browser}: secure URI
      add jessie manpage
      add krakatoa manpage
      rewrite package description
      update homepage
      why.NEWS : transition to why3
      build-depend on why3-coq
      debhelper level 10

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/why.git