]> matita.cs.unibo.it Git - helm.git/commitdiff
Synced debian dir.
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 25 Nov 2001 13:52:41 +0000 (13:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 25 Nov 2001 13:52:41 +0000 (13:52 +0000)
12 files changed:
helm/DEVEL/lablgtkmathview/debian/changelog [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/control [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/copyright [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/dirs [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/docs [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/debian/rules [new file with mode: 0755]
helm/DEVEL/mlminidom/debian/changelog [new file with mode: 0644]
helm/DEVEL/mlminidom/debian/control [new file with mode: 0644]
helm/DEVEL/mlminidom/debian/copyright [new file with mode: 0644]
helm/DEVEL/mlminidom/debian/dirs [new file with mode: 0644]
helm/DEVEL/mlminidom/debian/docs [new file with mode: 0644]
helm/DEVEL/mlminidom/debian/rules [new file with mode: 0755]

diff --git a/helm/DEVEL/lablgtkmathview/debian/changelog b/helm/DEVEL/lablgtkmathview/debian/changelog
new file mode 100644 (file)
index 0000000..e2cab05
--- /dev/null
@@ -0,0 +1,34 @@
+lablgtkmathview (0.2.8helm-1) unstable; urgency=low
+
+  * New upstream release.
+  * Helm version: depends on Helm version of lablgtk.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sat, 17 Nov 2001 09:40:37 +0100
+
+lablgtkmathview (0.2.4-4) unstable; urgency=low
+
+  * Rebuilt with libgtkmathview 0.2.7
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue,  4 Sep 2001 22:16:35 +0200
+
+lablgtkmathview (0.2.4-3) unstable; urgency=low
+
+  *  Rebuilt with ocaml 3.02 and lablgtk 1.2.1
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 21 Aug 2001 15:20:05 +0200
+
+lablgtkmathview (0.2.4-2) unstable; urgency=low
+
+  * Added build-dep on libxml2-dev (closes: Bug#102715).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Fri, 29 Jun 2001 12:39:57 +0200
+
+lablgtkmathview (0.2.4-1) unstable; urgency=low
+
+  * Initial Release (closes: Bug#93105).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed,  4 Apr 2001 23:27:07 +0200
+
+Local variables:
+mode: debian-changelog
+End:
diff --git a/helm/DEVEL/lablgtkmathview/debian/control b/helm/DEVEL/lablgtkmathview/debian/control
new file mode 100644 (file)
index 0000000..71d2dfb
--- /dev/null
@@ -0,0 +1,15 @@
+Source: lablgtkmathview
+Section: devel
+Priority: optional
+Maintainer: Stefano Zacchiroli <zack@debian.org>
+Build-Depends: debhelper (>> 2.0.0), ocaml (>= 3.02), lablgtk (= 1.2.1helm-1), mlminidom (>= 0.2.1), libgtk1.2-dev, libgtkmathview-dev (>= 0.2.8), libminidom-dev (>= 0.1.3), libxml2-dev, ocaml-findlib
+Standards-Version: 3.5.2
+
+Package: lablgtkmathview
+Architecture: any
+Depends: ${shlibs:Depends}
+Recommends: ocaml, libgtkmathview0
+Description: OCaml binding for libgtkmathview
+ This is the Ocaml binding for the GtkMathView widget, that is
+ currently available in the libgtkmathview0 package.
+
diff --git a/helm/DEVEL/lablgtkmathview/debian/copyright b/helm/DEVEL/lablgtkmathview/debian/copyright
new file mode 100644 (file)
index 0000000..75643d1
--- /dev/null
@@ -0,0 +1,33 @@
+This package was debianized by Stefano Zacchiroli <zack@debian.org> on
+Wed,  4 Apr 2001 23:27:07 +0200.
+
+It was packed from source obtained via cvs, with this CVSROOT:
+ :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/
+
+Authors:
+ Luca Padovani <luca.padovani@cs.unibo.it>
+ Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+
+Copyright:
+
+ Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+ This file is part of lablgtkmathview, the Ocaml binding
+ for the GtkMathView widget.
+ lablgtkmathview 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 2
+ of the License, or (at your option) any later version.
+ lablgtkmathview 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 lablgtkmathview; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ For details, send a mail to the author.
diff --git a/helm/DEVEL/lablgtkmathview/debian/dirs b/helm/DEVEL/lablgtkmathview/debian/dirs
new file mode 100644 (file)
index 0000000..00a96ae
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml
diff --git a/helm/DEVEL/lablgtkmathview/debian/docs b/helm/DEVEL/lablgtkmathview/debian/docs
new file mode 100644 (file)
index 0000000..e845566
--- /dev/null
@@ -0,0 +1 @@
+README
diff --git a/helm/DEVEL/lablgtkmathview/debian/rules b/helm/DEVEL/lablgtkmathview/debian/rules
new file mode 100755 (executable)
index 0000000..1f01a99
--- /dev/null
@@ -0,0 +1,85 @@
+#!/usr/bin/make -f
+# Sample debian/rules that uses debhelper.
+# GNU copyright 1997 to 1999 by Joey Hess.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+# This is the debhelper compatability version to use.
+export DH_COMPAT=2
+
+configure: configure-stamp
+configure-stamp:
+       dh_testdir
+       # Add here commands to configure the package.
+       ./configure
+
+       touch configure-stamp
+
+build: configure-stamp build-stamp
+build-stamp:
+       dh_testdir
+
+       # Add here commands to compile the package.
+       $(MAKE)
+       -$(MAKE) opt
+       #/usr/bin/docbook-to-man debian/lablgtkmathview.sgml > lablgtkmathview.1
+
+       touch build-stamp
+
+clean:
+       dh_testdir
+       dh_testroot
+       rm -f build-stamp configure-stamp
+
+       # Add here commands to clean up after the build process.
+       -$(MAKE) distclean
+
+       dh_clean
+
+install: build
+       dh_testdir
+       dh_testroot
+       dh_clean -k
+       dh_installdirs
+
+       # Add here commands to install the package into debian/lablgtkmathview.
+       $(MAKE) install DESTDIR=$(CURDIR)/debian/lablgtkmathview/usr/lib/ocaml
+
+
+# Build architecture-independent files here.
+binary-indep: build install
+# We have nothing to do by default.
+
+# Build architecture-dependent files here.
+binary-arch: build install
+       dh_testdir
+       dh_testroot
+#      dh_installdebconf       
+       dh_installdocs
+       dh_installexamples
+       dh_installmenu
+#      dh_installlogrotate
+#      dh_installemacsen
+#      dh_installpam
+#      dh_installmime
+#      dh_installinit
+       dh_installcron
+       dh_installmanpages
+       dh_installinfo
+#      dh_undocumented
+       dh_installchangelogs ChangeLog
+       dh_link
+       dh_strip
+       dh_compress
+       dh_fixperms
+#      dh_makeshlibs
+       dh_installdeb
+#      dh_perl
+       dh_shlibdeps
+       dh_gencontrol
+       dh_md5sums
+       dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install configure
diff --git a/helm/DEVEL/mlminidom/debian/changelog b/helm/DEVEL/mlminidom/debian/changelog
new file mode 100644 (file)
index 0000000..450dda8
--- /dev/null
@@ -0,0 +1,41 @@
+mlminidom (0.2.1-2) unstable; urgency=low
+
+  * Bug fix: moved automagically generated configure from diff.gz to
+    original tar.gz archive.
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 20 Nov 2001 01:06:27 +0100
+
+mlminidom (0.2.1-1) unstable; urgency=low
+
+  * New upstream release
+
+ -- Stefano Zacchiroli <zack@debian.org>  Sat, 17 Nov 2001 09:24:02 +0100
+
+mlminidom (0.2.0-1) unstable; urgency=low
+
+  * New upstream release
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 13 Nov 2001 19:41:58 +0100
+
+mlminidom (0.1.0-3) unstable; urgency=low
+
+  * Fixed build on architecture which doesn't have native code compiler
+    (closes: Bug#104702).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Tue, 21 Aug 2001 11:14:51 +0200
+
+mlminidom (0.1.0-2) unstable; urgency=low
+
+  * Added build-dep on libxml2-dev (closes: Bug#9887).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Mon, 28 May 2001 12:28:25 +0200
+
+mlminidom (0.1.0-1) unstable; urgency=low
+
+  * Initial Release (closes: Bug#93106).
+
+ -- Stefano Zacchiroli <zack@debian.org>  Wed,  4 Apr 2001 22:50:43 +0200
+
+Local variables:
+mode: debian-changelog
+End:
diff --git a/helm/DEVEL/mlminidom/debian/control b/helm/DEVEL/mlminidom/debian/control
new file mode 100644 (file)
index 0000000..0710f90
--- /dev/null
@@ -0,0 +1,14 @@
+Source: mlminidom
+Section: devel
+Priority: optional
+Maintainer: Stefano Zacchiroli <zack@debian.org>
+Build-Depends: debhelper (>> 2.0.0), ocaml, libglib1.2-dev, libminidom-dev, libxml2-dev, ocaml-findlib
+Standards-Version: 3.5.2
+
+Package: mlminidom
+Architecture: any
+Depends: ${shlibs:Depends}
+Recommends: ocaml, libminidom0
+Description: OCaml binding for minidom
+ This is the OCaml binding for minidom, that is currently available in
+ the libminidom0 package.
diff --git a/helm/DEVEL/mlminidom/debian/copyright b/helm/DEVEL/mlminidom/debian/copyright
new file mode 100644 (file)
index 0000000..458a470
--- /dev/null
@@ -0,0 +1,31 @@
+This package was debianized by Stefano Zacchiroli <zack@debian.org> on
+Wed,  4 Apr 2001 22:50:43 +0200.
+
+It was packed from source obtained via cvs, with this CVSROOT:
+ :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/
+
+Upstream Author(s):
+ Luca Padovani <luca.padovani@cs.unibo.it>
+ Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+
+Copyright:
+ Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+
+ This file is part of mlminidom, the Ocaml binding for minidom.
+ mlminidom 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 2
+ of the License, or (at your option) any later version.
+
+ mlminidom 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 mlminidom; if not, write to the Free Software
+ Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
+ For details, send a mail to the author.
+
diff --git a/helm/DEVEL/mlminidom/debian/dirs b/helm/DEVEL/mlminidom/debian/dirs
new file mode 100644 (file)
index 0000000..00a96ae
--- /dev/null
@@ -0,0 +1 @@
+usr/lib/ocaml
diff --git a/helm/DEVEL/mlminidom/debian/docs b/helm/DEVEL/mlminidom/debian/docs
new file mode 100644 (file)
index 0000000..e845566
--- /dev/null
@@ -0,0 +1 @@
+README
diff --git a/helm/DEVEL/mlminidom/debian/rules b/helm/DEVEL/mlminidom/debian/rules
new file mode 100755 (executable)
index 0000000..f01db16
--- /dev/null
@@ -0,0 +1,85 @@
+#!/usr/bin/make -f
+# Sample debian/rules that uses debhelper.
+# GNU copyright 1997 to 1999 by Joey Hess.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+# This is the debhelper compatability version to use.
+export DH_COMPAT=2
+
+configure: configure-stamp
+configure-stamp:
+       dh_testdir
+       # Add here commands to configure the package.
+       ./configure
+
+       touch configure-stamp
+
+build: configure-stamp build-stamp
+build-stamp:
+       dh_testdir
+
+       # Add here commands to compile the package.
+       $(MAKE)
+       -$(MAKE) opt
+       #/usr/bin/docbook-to-man debian/mlminidom.sgml > mlminidom.1
+
+       touch build-stamp
+
+clean:
+       dh_testdir
+       dh_testroot
+       rm -f build-stamp configure-stamp
+
+       # Add here commands to clean up after the build process.
+       -$(MAKE) distclean
+
+       dh_clean
+
+install: build
+       dh_testdir
+       dh_testroot
+       dh_clean -k
+       dh_installdirs
+
+       # Add here commands to install the package into debian/mlminidom.
+       $(MAKE) install DESTDIR=$(CURDIR)/debian/mlminidom/usr/lib/ocaml
+
+
+# Build architecture-independent files here.
+binary-indep: build install
+# We have nothing to do by default.
+
+# Build architecture-dependent files here.
+binary-arch: build install
+       dh_testdir
+       dh_testroot
+#      dh_installdebconf       
+       dh_installdocs
+       dh_installexamples
+       dh_installmenu
+#      dh_installlogrotate
+#      dh_installemacsen
+#      dh_installpam
+#      dh_installmime
+#      dh_installinit
+       dh_installcron
+       dh_installmanpages
+       dh_installinfo
+#      dh_undocumented
+       dh_installchangelogs ChangeLog
+       dh_link
+       dh_strip
+       dh_compress
+       dh_fixperms
+#      dh_makeshlibs
+       dh_installdeb
+#      dh_perl
+       dh_shlibdeps
+       dh_gencontrol
+       dh_md5sums
+       dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install configure