[Pkg-ocaml-maint-commits] [why] branch try created (now 3e8e7ff)

[Ralf Treinen]

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

treinen pushed a change to branch try
in repository why.

        at  3e8e7ff   drop package why-examples

This branch includes the following new commits:

       new  8c0349f   Merge tag 'upstream/2.35'
       new  827e12e   refreshed patches edge and bprintf, dropped patch makefile
       new  374c7e9   dropped build-dependency on libfloat-coq
       new  f85dddc   update debian/watch
       new  3a1714b   Merge tag 'upstream/2.36'
       new  7754131   drop patch atp-versions
       new  bbd968c   bump build-dependency on frama-c
       new  a365a7b   disable tests
       new  bd04621   create bin dir before building
       new  3e8e7ff   drop package why-examples

The 10 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


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