[Pkg-ocaml-maint-commits] r5287 - in /trunk/packages/planets: ./ trunk/ trunk/debian/

mpitt at users.alioth.debian.org mpitt at users.alioth.debian.org
Tue Mar 4 07:38:58 UTC 2008


Author: mpitt
Date: Tue Mar  4 07:38:57 2008
New Revision: 5287

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5287
Log:
first import of 0.1.13-3

Added:
    trunk/packages/planets/
    trunk/packages/planets/trunk/
    trunk/packages/planets/trunk/debian/
    trunk/packages/planets/trunk/debian/README.Debian
    trunk/packages/planets/trunk/debian/README.examples
    trunk/packages/planets/trunk/debian/changelog
    trunk/packages/planets/trunk/debian/compat
    trunk/packages/planets/trunk/debian/control
    trunk/packages/planets/trunk/debian/copyright
    trunk/packages/planets/trunk/debian/doc-base.planets-intro
    trunk/packages/planets/trunk/debian/doc-base.planets-keys
    trunk/packages/planets/trunk/debian/menu
    trunk/packages/planets/trunk/debian/rules   (with props)

Added: trunk/packages/planets/trunk/debian/README.Debian
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/README.Debian?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/README.Debian (added)
+++ trunk/packages/planets/trunk/debian/README.Debian Tue Mar  4 07:38:57 2008
@@ -1,0 +1,12 @@
+planets for Debian
+------------------
+
+planets contains an example universe (see examples/README). 
+
+There is also a web forum at
+
+	http://www.quicktopic.com/11/H/eJgLbyJ8i3agK 
+
+where users can exchange interesting universes and talk about planets.
+
+ -- Martin Pitt <mpitt at debian.org>, Mon Nov 24 00:39:24 CET 2003

Added: trunk/packages/planets/trunk/debian/README.examples
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/README.examples?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/README.examples (added)
+++ trunk/packages/planets/trunk/debian/README.examples Tue Mar  4 07:38:57 2008
@@ -1,0 +1,8 @@
+How to install the example universe
+-----------------------------------
+
+uni.9 (in /usr/share/doc/planets/examples/) is a nice example universe for
+planets. Copy this file to ~/.planets/ (the directory all universes are stored
+in) and press 'l' and then '9' in the program to use it.
+
+ -- Martin Pitt <mpitt at debian.org>, Sat, 19 Apr 2003 12:21:46 +0200

Added: trunk/packages/planets/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/changelog?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/changelog (added)
+++ trunk/packages/planets/trunk/debian/changelog Tue Mar  4 07:38:57 2008
@@ -1,0 +1,104 @@
+planets (0.1.13-3) unstable; urgency=low
+
+  * Ocaml 3.10 is in unstable, upload previous experimental version to
+    unstable, too.
+
+ -- Martin Pitt <mpitt at debian.org>  Sun, 16 Sep 2007 13:39:12 +0200
+
+planets (0.1.13-2) experimental; urgency=low
+
+  * Build against ocaml 3.10 in experimental.
+  * debian/control: Build-Depend on camlp4, it is a separate package now.
+    (Closes: #441507)
+
+ -- Martin Pitt <mpitt at debian.org>  Sun, 29 Jul 2007 12:05:52 +0200
+
+planets (0.1.13-1) unstable; urgency=low
+
+  * New upstream release.
+  * debian/control: Move debhelper from B-D-I to B-D so that clean always
+    works.
+  * debian/copyright: Update FSF address, fix reference to GPL version ("2 or
+    later", not "2 only").
+  * debian/control: Set maintainer to Debian OCaml Maintainers team.
+
+ -- Martin Pitt <mpitt at debian.org>  Sun, 22 Jul 2007 14:00:50 +0200
+
+planets (0.1.12-7) unstable; urgency=low
+
+  * Build against the current ocaml ABI.
+  * Bump Standards-Version to 3.7.2.
+  * Install existing desktop file and icon. Thanks to Barry deFreese
+    <bddebian at comcast.net>!
+
+ -- Martin Pitt <mpitt at debian.org>  Sun, 21 May 2006 13:03:28 +0200
+
+planets (0.1.12-6) unstable; urgency=low
+
+  * debian/rules: Build-depend against unversioned ocaml.
+  * debian/rules, debian/control: Determine ocaml version at build time and
+    use a variable instead of hardcoding the ocaml version. Thanks to Julien
+    Cristau for the patch!
+
+ -- Martin Pitt <mpitt at debian.org>  Fri, 13 Jan 2006 18:47:55 +0100
+
+planets (0.1.12-5) unstable; urgency=low
+
+  * debian/control: Update dependencies to ocaml 3.09.0.
+
+ -- Martin Pitt <mpitt at debian.org>  Thu, 17 Nov 2005 19:48:04 +0100
+
+planets (0.1.12-4) unstable; urgency=high
+
+  * debian/control: Update dependencies to ocaml 3.08.3. (closes: #304161)
+  * Urgency high since this fixes an RC bug and no source changes were made.
+
+ -- Martin Pitt <mpitt at debian.org>  Tue, 12 Apr 2005 12:39:58 +0200
+
+planets (0.1.12-3) unstable; urgency=low
+
+  * recompiled with and changed dependencies to ocaml 3.08 (closes: #262357)
+  * quoted all values in menu file
+
+ -- Martin Pitt <mpitt at debian.org>  Sun,  1 Aug 2004 20:59:23 +0200
+
+planets (0.1.12-2) unstable; urgency=low
+
+  * added German translation
+  * added README.Debian with forum link
+  * doc-base entries, menu: consistent section Games/Simulation
+  * updated my maintainer address
+
+ -- Martin Pitt <mpitt at debian.org>  Mon, 24 Nov 2003 00:30:04 +0100
+
+planets (0.1.12-1) unstable; urgency=low
+
+  * new upstream version which works with ocaml 3.07
+  * updated dependencies to work with ocaml 3.07 and tk 8.4
+  * updated to Standards-Version 3.6.1
+  * debian/rules now respects DEB_BUILD_OPTIONS
+  * moved menu entry to new section Games/Simulation
+
+ -- Martin Pitt <martin at piware.de>  Fri,  3 Oct 2003 01:22:19 +0200
+
+planets (0.1.10-3) unstable; urgency=low
+
+  * lstrings.ml: fixed program crash with LANG=C (closes: #194402)
+
+ -- Martin Pitt <martin at piware.de>  Fri, 23 May 2003 13:58:52 +0200
+
+planets (0.1.10-2) unstable; urgency=low
+
+  * 0.1.10-1 was rejected because the alternative package with a natively
+    compiled version on supporting architectures was regarded confusing
+  * updated initial release (closes: #187988)
+  * removed native package planets, renamed planets-byte to planets
+  * removed README.Debian, since it only talked about native/bytecode versions
+
+ -- Martin Pitt <martin at piware.de>  Wed, 14 May 2003 10:04:14 +0200
+
+planets (0.1.10-1) unstable; urgency=low
+
+  * Initial release (closes: #187988)
+
+ -- Martin Pitt <martin at piware.de>  Thu,  1 May 2003 22:25:33 +0200

Added: trunk/packages/planets/trunk/debian/compat
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/compat?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/compat (added)
+++ trunk/packages/planets/trunk/debian/compat Tue Mar  4 07:38:57 2008
@@ -1,0 +1,1 @@
+4

Added: trunk/packages/planets/trunk/debian/control
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/control?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/control (added)
+++ trunk/packages/planets/trunk/debian/control Tue Mar  4 07:38:57 2008
@@ -1,0 +1,20 @@
+Source: planets
+Section: science
+Priority: extra
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders: Martin Pitt <mpitt at debian.org>, Sven Luther <luther at debian.org>, Stefano Zacchiroli <zack at debian.org>, Julien Cristau <julien.cristau at ens-lyon.org>, Samuel Mimram <smimram at debian.org>
+Build-Depends: debhelper (>> 4.0.0)
+Build-Depends-Indep: ocaml, tk8.4-dev, camlp4
+Standards-Version: 3.7.2
+
+Package: planets
+Architecture: all
+Depends: tk8.4, ocaml-base-${OCamlABI}
+Suggests: doc-base
+Description: Gravitation simulation of planetary bodies
+ Planets is a simple interactive program for playing with simulations
+ of planetary systems. It is great for teaching gravitation on planet
+ level.
+ .
+ The user interface is aimed at being simple enough for a fairly young
+ kid to enjoy it (it has a special kid-mode for this purpose).

Added: trunk/packages/planets/trunk/debian/copyright
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/copyright?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/copyright (added)
+++ trunk/packages/planets/trunk/debian/copyright Tue Mar  4 07:38:57 2008
@@ -1,0 +1,26 @@
+This package was debianized by Martin Pitt <mpitt at debian.org> on
+Thu, 10 Apr 2003 14:14:21 +0200.
+
+It was downloaded from http://planets.homedns.org
+
+Upstream Author: Yaron M. Minsky <yminsky at cs.cornell.edu>
+
+Copyright:
+
+   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 2 of the License, or
+   (at your option) any later version.
+
+   This package 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, write to the Free Software Foundation, Inc.,
+   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
+
+On Debian GNU/Linux systems, the complete text of the GNU General
+Public License can be found in `/usr/share/common-licenses/GPL'.
+

Added: trunk/packages/planets/trunk/debian/doc-base.planets-intro
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/doc-base.planets-intro?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/doc-base.planets-intro (added)
+++ trunk/packages/planets/trunk/debian/doc-base.planets-intro Tue Mar  4 07:38:57 2008
@@ -1,0 +1,10 @@
+Document: planets-intro
+Title: Getting started with planets
+Author: Yaron M. Minsky
+Abstract: This manual is a quick tutorial introducing the basic steps
+ to define universes and controling the animation.
+Section: Games/Simulation
+
+Format: HTML
+Index: /usr/share/doc/planets/getting_started.html
+Files: /usr/share/doc/planets/getting_started.html

Added: trunk/packages/planets/trunk/debian/doc-base.planets-keys
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/doc-base.planets-keys?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/doc-base.planets-keys (added)
+++ trunk/packages/planets/trunk/debian/doc-base.planets-keys Tue Mar  4 07:38:57 2008
@@ -1,0 +1,9 @@
+Document: planets-keys
+Title: Key bindings for planets
+Author: Yaron M. Minsky
+Abstract: This manual describes the key and mouse bindings for
+ planets.
+Section: Games/Simulation
+
+Format: text
+Files: /usr/share/doc/planets/KEYBINDINGS.txt

Added: trunk/packages/planets/trunk/debian/menu
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/menu?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/menu (added)
+++ trunk/packages/planets/trunk/debian/menu Tue Mar  4 07:38:57 2008
@@ -1,0 +1,2 @@
+?package(planets):needs="X11" section="Games/Simulation" \
+  title="planets" command="/usr/bin/planets"

Added: trunk/packages/planets/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/planets/trunk/debian/rules?rev=5287&op=file
==============================================================================
--- trunk/packages/planets/trunk/debian/rules (added)
+++ trunk/packages/planets/trunk/debian/rules Tue Mar  4 07:38:57 2008
@@ -1,0 +1,51 @@
+#!/usr/bin/make -f
+
+# Uncomment this to turn on verbose mode.
+# export DH_VERBOSE=1
+
+ifneq (,$(findstring nostrip,$(DEB_BUILD_OPTIONS)))
+        MAKEOPTS:=DEBUGFLAGS=-g
+endif
+
+OCAMLABI = $(shell ocamlc -version)
+
+build:
+	dh_testdir
+	$(MAKE) $(MAKEOPTS) planets.bc
+
+clean:
+	dh_testdir
+	dh_testroot
+	-$(MAKE) clean
+	dh_clean
+
+# build planets-byte
+binary-indep: build
+	dh_testdir
+	dh_testroot
+	dh_clean
+
+	install -D planets.bc $(CURDIR)/debian/planets/usr/bin/planets
+
+	dh_installdocs CREDITS KEYBINDINGS.txt TODO getting_started.html
+	dh_installexamples uni.9
+	install -m 644 $(CURDIR)/debian/README.examples $(CURDIR)/debian/planets/usr/share/doc/planets/examples/README
+	dh_install planets.desktop usr/share/applications/
+	dh_install planets.png usr/share/pixmaps/
+	dh_desktop
+	dh_installmenu
+	dh_installman planets.1
+	dh_installchangelogs CHANGES
+
+	dh_compress
+	dh_fixperms
+	dh_installdeb
+	dh_gencontrol -- -VOCamlABI=$(OCAMLABI)
+	dh_md5sums
+	dh_builddeb
+
+binary-arch:
+
+binary: binary-indep
+
+.PHONY: build clean binary-indep binary-arch binary

Propchange: trunk/packages/planets/trunk/debian/rules
------------------------------------------------------------------------------
    svn:executable = 




More information about the Pkg-ocaml-maint-commits mailing list