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

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

        at  db48747   (tag)
   tagging  bd38693c8cf9bd709b1574b9d0e2139808f0f40d (commit)
  replaces  debian/2.30+dfsg-5
 tagged by  Ralf Treinen
        on  Thu Feb 13 21:28:26 2014 +0100

- Log -----------------------------------------------------------------
why Debian release 2.33-1

Ralf Treinen (24):
      Imported Upstream version 2.33
      Merge tag 'upstream/2.33'
      drop patch 0001-Why-2.29-do-support-Coq-8.3.patch
      drop patch 0002-Mark-alt-ergo-0.93-as-compatible.patch
      drop patch 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe
      drop patch 0004-Default-to-why2-for-jessie-atp
      drop patch 0005-Fix-Jc_annot_inference-use-old_reg_pos
      drop patch 0006-Fix-spelling-error-in-binary
      drop patch 0007-Replace-caduceus-invocation-by-Frama-C
      drop patch 0006-Fix-spelling-error-in-binary
      replace deprecated "or" by "||"
      add patch hashtabl to fix type error
      add Ralf to uploaders
      standards-version 3.9.5
      accept alt-ergo 0.95.2, coq 8.4pl2
      accept coq 8.4pl3
      close bug  #707585 (FTBFS)
      package tests with alt-ergo, cvc3
      update build-dep on frama-c-base
      accept new frama-c
      package test with coq
      debian/control: more theorem provers as altenative to alt-ergo
      add test of jessie plugin
      close bug #730526


No new revisions were added by this update.

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to