The following commit has been merged in the master branch:
commit 5b155cf67d112d22de5e4f03c4cebc0427ca6317
Author: Hendrik Tews <hend...@askra.de>
Date:   Mon May 14 23:50:23 2012 +0200

    initial packaging

diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..6ebc29f
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+prooftree (0.10-1) unstable; urgency=low
+
+  * Initial release (Closes: #672480)
+
+ -- Hendrik Tews <hend...@askra.de>  Mon, 14 May 2012 23:42:16 +0200
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..40fe4d5
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,32 @@
+Source: prooftree
+Section: x11
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
+Uploaders:
+ Hendrik Tews <hend...@askra.de>
+Build-Depends:
+ debhelper (>= 9.0.0),
+ dh-ocaml (>= 0.9~),
+ ocaml-best-compilers,
+ liblablgtk2-ocaml-dev
+Standards-Version: 3.9.3
+Homepage: http://askra.de/software/prooftree
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git
+
+Package: prooftree
+Architecture: any
+Depends:
+ proofgeneral,
+ ${ocaml:Depends},
+ ${shlibs:Depends},
+ ${misc:Depends}
+Suggests:
+ coq
+Description: proof-tree visualization for Proof General
+ Prooftree draws proof trees during interactive proof development
+ with Proof General. One can inspect goals and proof commands
+ and check where existential variables were introduced and
+ instantiated. Currently, Prooftree does only work for Coq.
+ .
+ To make use of this package you need Coq version 8.4beta or better.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..30ea5ef
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,24 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: prooftree
+Upstream-Contact: Hendrik Tews <prooft...@askra.de>
+Source: http://askra.de/software/prooftree
+
+Files: *
+Copyright: 2011, 2012 Hendrik Tews
+License: GPL-3+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or (at
+ your option) any later version.
+ .
+ This program is distributed in the hope that it will be useful, but
+ WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
+ General Public License for more details.
+ .
+ You should have received a copy of the GNU General Public License
+ along with this program. If not, see <http://www.gnu.org/licenses/>.
+ .
+ On Debian systems, the full text of the GNU General Public
+ License version 3 can be found in the file
+ `/usr/share/common-licenses/GPL-3'.
diff --git a/debian/docs b/debian/docs
new file mode 100644
index 0000000..7965315
--- /dev/null
+++ b/debian/docs
@@ -0,0 +1,2 @@
+README
+changes.html
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..cec628c
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,2 @@
+[DEFAULT]
+pristine-tar = True
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..e69de29
diff --git a/debian/prooftree.doc-base b/debian/prooftree.doc-base
new file mode 100644
index 0000000..c5e9aa1
--- /dev/null
+++ b/debian/prooftree.doc-base
@@ -0,0 +1,9 @@
+Document: prooftree-changes
+Title: List of Changes for Prooftree
+Author: Hendrik Tews
+Abstract: list of changes
+Section: Science/Mathematics
+
+Format: HTML
+Index: /usr/share/doc/prooftree/changes.html
+Files: /usr/share/doc/prooftree/changes.html
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..7e413f8
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,32 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# Sample debian/rules that uses debhelper.
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+
+# Uncomment this to turn on verbose mode.
+export DH_VERBOSE=1
+export DH_OPTIONS=-v
+
+include /usr/share/ocaml/ocamlvars.mk
+
+# This has to be exported to make some magic below work.
+export DH_OPTIONS
+
+%:
+       dh $@ --with ocaml
+
+.PHONY: override_dh_auto_clean
+override_dh_auto_clean:
+       dh_auto_clean
+       rm -f Makefile
+
+.PHONY: override_dh_auto_configure
+override_dh_auto_configure:
+       ./configure --prefix /usr
+
+.PHONY: override_dh_gencontrol
+override_dh_gencontrol:
+       dh_gencontrol -- -VF:OCamlABI="$(OCAML_ABI)"
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..8300179
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,8 @@
+# try uscan(1)
+
+# Compulsory line, this is a version 3 file
+version=3
+
+# Uncomment to examine a Webpage
+# <Webpage URL> <string match>
+http://askra.de/software/prooftree/ releases/prooftree-([0-9.]*)\.tar\.gz

-- 
prooftree packaging

_______________________________________________
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

Reply via email to