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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
