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

treinen pushed a commit to branch master
in repository why.

commit 014323331e345be298673e27d45a597fc531da94
Author: Ralf Treinen <>
Date:   Sun Oct 9 20:15:22 2016 +0200

    add krakatoa manpage
 debian/changelog    |  4 ++--
 debian/krakatoa.1   | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++++
 debian/why.manpages |  1 +
 3 files changed, 60 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 118460b..d6a924e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -32,14 +32,14 @@ why (2.36-1) UNRELEASED; urgency=medium
     - format version 4
     - get link to newest version from the krakatoa home page (instead of
       trying to read the download/ directory).
-  * Create manpage, based on the output of help2man, for jessie
+  * Create manpages, based on the output of help2man, for jessie and krakatoa
   * drop autoconf from d/rules and from build-dependencies
   * d/rules: disable upstream tests
   * d/rules: create bin directory before invoking dh_auto_build
   * d/tests: add test krakato+alt-ergo
   * remove d/README.source which is obsolete.
- -- Ralf Treinen <>  Thu, 06 Oct 2016 20:50:13 +0200
+ -- Ralf Treinen <>  Sun, 09 Oct 2016 20:18:21 +0200
 why (2.34-4) unstable; urgency=medium
diff --git a/debian/krakatoa.1 b/debian/krakatoa.1
new file mode 100644
index 0000000..6b924a5
--- /dev/null
+++ b/debian/krakatoa.1
@@ -0,0 +1,57 @@
+.TH KRAKATOA "1" "October 2016" " " "User Commands"
+Krakatoa \- a verification tool for Java programs.
+\fBkrakatoa\fR [options] files
+stops after parsing
+stops after typing
+<file> stops after typing and output abstract view to <file>
+<file> stops after producing <file>.jc
+stops after call graph and print call graph
+debugging mode
+<why3 command>   (default: ide)
+verbose mode
+quiet mode (default)
+treats warnings as errors
+prints version and exit
+source is Java Card
+<kind> nonnull\-by\-default semantics: none (default), fields, all
+Display this list of options
+Display this list of options
+The tutorial and reference manual for
+.B krakatoa
+can be obtained at the address
diff --git a/debian/why.manpages b/debian/why.manpages
index e2986a6..5d30292 100644
--- a/debian/why.manpages
+++ b/debian/why.manpages
@@ -1 +1,2 @@

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

Pkg-ocaml-maint-commits mailing list

Reply via email to