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
Pkg-ocaml-maint-commits mailing list