debian/0000755000000000000000000000000012256024205007164 5ustar debian/changelog0000644000000000000000000001620412256024205011041 0ustar planets (0.1.13-14build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 12:11:49 +0000 planets (0.1.13-14) unstable; urgency=low [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.01.0 (Closes: #731218) * Add tk-dev to Build-Depends * Update Vcs-* [ Ralf Treinen ] * Standards-Version 3.9.5 (no change) * Recompile with ocaml 4.01.0 (no source change) * debian/copyright: convert to machine-readable format 1.0 -- Stéphane Glondu Sat, 07 Dec 2013 09:17:24 +0100 planets (0.1.13-13) unstable; urgency=low * Team upload * Recompile with ocaml 3.12.1 (no source changes) -- Stéphane Glondu Tue, 01 Nov 2011 21:26:53 +0100 planets (0.1.13-12) unstable; urgency=low [ Ralf Treinen ] * debian/rules: migrate to dh, bump version of debhelper * Standards-version: 3.9.2 (no change) * Use dh-ocaml to compute dependency on ocaml runtime (closes: #599327) * Bump versions on dh-ocaml and ocaml-nox [ Stéphane Glondu ] * Switch packaging to git -- Ralf Treinen Sun, 17 Apr 2011 20:29:58 +0200 planets (0.1.13-11) unstable; urgency=low * modified debian/patches/fix_desktop: added Science to desktop entry categories list. Thanks to Petter Reinholdtsen for the patch. (Closes: #576497). * Removed Zack from uploaders on his request. -- Ralf Treinen Tue, 22 Jun 2010 20:01:09 +0200 planets (0.1.13-10) unstable; urgency=low * Convert to source format 3.0 (quilt) - debian/paches quilt style - no more patching in debian/rules - added debian/source/format * Standards-version 3.8.4 (no change) * Recompile for ocaml 3.11.2 -- Ralf Treinen Mon, 08 Feb 2010 21:35:07 +0100 planets (0.1.13-9) unstable; urgency=low * debian/control: added Homepage * Standards-Version: 3.8.2 (no change) * Rebuild for ocaml 3.11.1 -- Ralf Treinen Wed, 24 Jun 2009 23:05:16 +0200 planets (0.1.13-8) unstable; urgency=low [ Stephane Glondu ] * Remove Julien from Uploaders [ Ralf Treinen ] * Add build-dependency on dh-ocaml * Relaxed build-dependency on ocaml to >= 3.04 * Removed spurious dependency on ocaml-base | ocaml * Add dependency on ${misc:Depends} * debian/rules, cdbs: class/ocaml.mk -> rules/ocaml.mk * debian/rules: use variable $(DEB_DESTDIR) for install commands -- Ralf Treinen Sat, 07 Mar 2009 21:04:45 +0100 planets (0.1.13-7) unstable; urgency=low * debian/control: Bump Standards-Version (no changes necessary). * debian/control: Switch from Tk 8.4 to Tk 8.5. * debian/control: Add dependency ocaml-base | ocaml, to provide a real package alternative to ocaml-base-$ABI, and satisfy lintian. -- Martin Pitt Sat, 06 Sep 2008 10:59:43 +0200 planets (0.1.13-6) unstable; urgency=low * Added watch file. * Recompile for ocaml 3.10.2 * Clean up uploaders, added myself -- Ralf Treinen Mon, 19 May 2008 22:02:06 +0200 planets (0.1.13-5) unstable; urgency=low * Convert to cdbs. * Split out formerly inline patches to debian/patches/, using simple-patchsys.mk. * debian/copyright: Add actual copyright declaration. * Add Vcs-{Svn,Browser} fields. * debian/control: Fix build dependencies. -- Martin Pitt Tue, 25 Mar 2008 18:35:51 +0100 planets (0.1.13-4) unstable; urgency=medium * Rebuilt against OCaml 3.10.1 * Bump urgency to medium for the OCaml transition * Bump standards-version, no changes needed -- Stefano Zacchiroli Sun, 02 Mar 2008 14:46:33 +0100 planets (0.1.13-3) unstable; urgency=low * Ocaml 3.10 is in unstable, upload previous experimental version to unstable, too. -- Martin Pitt 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 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 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 ! -- Martin Pitt 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 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 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 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 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 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 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 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 Wed, 14 May 2003 10:04:14 +0200 planets (0.1.10-1) unstable; urgency=low * Initial release (closes: #187988) -- Martin Pitt Thu, 1 May 2003 22:25:33 +0200 debian/menu0000644000000000000000000000015012250553340010050 0ustar ?package(planets):needs="X11" section="Games/Simulation" \ title="planets" command="/usr/bin/planets" debian/rules0000755000000000000000000000060312250553340010244 0ustar #!/usr/bin/make -f DEB_DESTDIR := $(CURDIR)/debian/planets %: dh $@ --with ocaml override_dh_auto_build: $(MAKE) planets.bc override_dh_auto_install: install -D planets.bc $(DEB_DESTDIR)/usr/bin/planets install -D -m 644 debian/README.examples \ $(DEB_DESTDIR)/usr/share/doc/planets/examples/README install -D -m 644 CHANGES \ $(DEB_DESTDIR)/usr/share/doc/planets/changelog debian/README.examples0000644000000000000000000000054112250553340011662 0ustar 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 , Sat, 19 Apr 2003 12:21:46 +0200 debian/README.Debian0000644000000000000000000000047412250553340011233 0ustar 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 , Mon Nov 24 00:39:24 CET 2003 debian/doc-base.planets-keys0000644000000000000000000000035612250553340013207 0ustar 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 debian/planets.docs0000644000000000000000000000005212250553340011502 0ustar KEYBINDINGS.txt getting_started.html TODO debian/gbp.conf0000644000000000000000000000003612250553340010603 0ustar [DEFAULT] pristine-tar = True debian/doc-base.planets-intro0000644000000000000000000000053312250553340013364 0ustar 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 debian/control0000644000000000000000000000204712250554521010575 0ustar Source: planets Section: science Priority: extra Maintainer: Debian OCaml Maintainers Uploaders: Martin Pitt , Samuel Mimram , Ralf Treinen Build-Depends: debhelper (>= 7.0.50~), dh-ocaml (>= 0.9~), tk-dev, ocaml (>= 3.11.1-3~), ocaml-nox (>= 3.11.1-3~) Build-Depends-Indep: tk8.5-dev, camlp4 Standards-Version: 3.9.5 Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/planets.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/planets.git Homepage: http://planets.homedns.org/ Package: planets Architecture: all Depends: tk8.5, ${ocaml:Depends}, ${misc:Depends} 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). debian/planets.install0000644000000000000000000000010712250553340012221 0ustar planets.desktop usr/share/applications/ planets.png usr/share/pixmaps/ debian/copyright0000644000000000000000000000213412250553340011120 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: planets Upstream-Contact: Yaron Minsky raise Not_found +let german word = match word with + | `paused -> "Angehalten" + | `tracing -> "Spurverfolgung" + | `true_bounce -> "Bouncing (experimentell)" + | `trace_length -> "Spurlänge" + | `disp_period -> "Bilddauer (ms)" + | `g -> "G" + | `grav_exp -> "exp. G" + | `diam_mult -> "Mittlerer Durchmesser" + | `rand_vel_mult -> "Durchschnittsgeschwindigkeit" + | `log_k_energy -> "log k Energie" + | `log_p_energy -> "log p Energie" + | `log_energy -> "log. Energie" + | `num_planets -> "Anzahl Planeten" + | `add_planet -> "Planet hinzufügen" + | `zoom_in -> "Hereinzoomen" + | `zoom_out -> "Herauszoomen" + | `iter_display -> "Iterationen/Bild" + | `time_step -> "Zeitschritt" + | `toggle_true_bounce -> "Echtes abprallen ein/aus" + | `toggle_bounce -> "Abprallen ein/aus" + | `center -> "Zentrieren" + | `option_dialog -> "Optionsdialog anzeigen" + | `change_all_colors -> "Alle Farben ändern" + | `quit -> "Beenden" + | `reset -> "Auf leeres Universum zurücksetzen" + | `save -> "Universum speichern" + | `load -> "Universum laden" + | `undo -> "Letzen hinzugefügten Planet löschen" + | `goback -> "Zuletzt hinzugefügten Planeten löschen" + | `toggle_pause -> "Animation pausieren/weiter" + | `toggle_trace -> "Spur ein/aus" + | `double_trace -> "Spurlänge verdoppeln" + | `halve_trace -> "Spurlänge halbieren" + | `place_random_orbital -> "Zufälligen orbitalen Planeten hinzufügen" + | `place_random_orbital_uni -> "Zufälligen orbitalen Planeten hinzufügen (unidirektional)" + | `place_random -> "Zufälligen Planeten hinzufügen" + | `cancel_com -> "Verfolgung des Massezentrums abschalten" + | `pan_up -> "Aufwärts scrollen" + | `pan_down -> "Abwärts scrollen" + | `pan_left -> "Nach links scrollen" + | `pan_right -> "Nach rechts scrollen" + | `display_help -> "Dieses Hilfefenster anzeigen" + | `help -> "Hilfe" + | `dismiss -> "Schließen" + | `options -> "Optionen" + | `at_startup -> "Diese Hilfe beim Start anzeigen?" + | `random_bodies -> "Neue zufällige Planeten:" + | `prologue -> "Willkommen zu planets! +Planets ist ein einfacher Simulator für die orbitale Bewegung von +Planeten. Eine kurze Einführung ist zu finden unter: + http://planets.homedns.org/getting_started.html + +Es folgt die Tastenbelegung. Eine Beschreibung der Tasten ist in der Datei +KEYBINDINGS.txt zu finden, die mit diesem Programm ausgeliefert wird. + +" + | _ -> raise Not_found + let maxsub string ~pos ~len = let len = min len (String.length string - pos) in String.sub string ~pos ~len @@ -160,6 +219,7 @@ match maxsub ~pos:0 ~len:2 (Sys.getenv "LANG") with | "en" -> english word | "da" -> danish word + | "de" -> german word | _ -> english word ) with Not_found -> english word debian/patches/ocaml4_typing0000644000000000000000000000662512250554521013323 0ustar Description: Fix compilation with OCaml 4.01.0 Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731218 diff --git a/options.ml b/options.ml index 0b5e47a..94fc28b 100644 --- a/options.ml +++ b/options.ml @@ -93,7 +93,7 @@ end (*********************************************************************) (* 'a is the data type, 'b is the widget type *) -class virtual ['a,'b] option ?name ~text ~set:(set:'a->unit) ~get () = +class virtual ['a,'b,'c] option ?name ~text ~set:(set:'a->unit) ~get () = let name = (match name with None -> random_name 10 | Some name -> name ) in @@ -104,7 +104,7 @@ object (self) val name = name val text = (text : string) - method virtual build_widget : live:bool -> 'b + method virtual build_widget : live:bool -> 'b method display ~live parent = ignore (self#build_widget ~live parent); match widget with @@ -126,9 +126,9 @@ end (*********************) -class ['b] toggle_option ?name ~text ~set ~get () = +class ['b,'c] toggle_option ?name ~text ~set ~get () = object (self) - inherit [bool,'b] option ?name ~text ~set ~get () + inherit [bool,'b,'c] option ?name ~text ~set ~get () method set_tk bool = Textvariable.set tk_var (if bool then "true" else "false") @@ -153,9 +153,9 @@ end (*********************) -class ['b] int_scale_option ?name ~min ~max ~text ~set ~get () = +class ['b,'c] int_scale_option ?name ~min ~max ~text ~set ~get () = object (self) - inherit [int,'b] option ?name ~text ~set ~get () + inherit [int,'b,'c] option ?name ~text ~set ~get () val min = min val max = max @@ -192,10 +192,10 @@ end (*******************************************************) -class ['b] float_scale_option ?name ~min ~max ?(resolution=1.0) +class ['b, 'c] float_scale_option ?name ~min ~max ?(resolution=1.0) ~text ~set ~get () = object (self) - inherit [float, 'b] option ?name ~text ~set ~get () + inherit [float, 'b, 'c] option ?name ~text ~set ~get () val min = min val max = max @@ -236,10 +236,10 @@ let string_of_float x = then string ^ "0" else string -class ['b] float_entry_option ?name ?(mult=1.1) +class ['b, 'c] float_entry_option ?name ?(mult=1.1) ~text ~set ~get () = object (self) - inherit [float, 'b] option ?name ~text ~set ~get () + inherit [float, 'b, 'c] option ?name ~text ~set ~get () val mutable entry = None @@ -303,9 +303,9 @@ end (*******************************************************) -class ['b] float_entry_display ?name ~text ~set ~get () = +class ['b, 'c] float_entry_display ?name ~text ~set ~get () = object (self) - inherit [float, 'b] option ?name ~text ~set ~get () + inherit [float, 'b, 'c] option ?name ~text ~set ~get () val mutable display = None @@ -337,9 +337,9 @@ end (*******************************************************) -class ['b] int_entry_display ?name ~text ~set ~get () = +class ['b, 'c] int_entry_display ?name ~text ~set ~get () = object (self) - inherit [int, 'b] option ?name ~text ~set ~get () + inherit [int, 'b, 'c] option ?name ~text ~set ~get () val mutable display = None @@ -371,9 +371,9 @@ end (*******************************************************) -class ['b] void_entry_display ?name ~text () = +class ['b, 'c] void_entry_display ?name ~text () = object (self) - inherit [unit, 'b] option ?name ~text + inherit [unit, 'b, 'c] option ?name ~text ~set:(fun x -> ()) ~get:(fun () -> ()) () debian/patches/string_random_bodies0000644000000000000000000000157712250553340014744 0ustar Description: Fix crash in C locale due to un-i18n'ed string Fixes-bug: 194402 --- trunk/display.ml 2007-06-20 04:20:50.000000000 +0200 +++ trunk.new/display.ml 2008-03-04 09:31:13.000000000 +0100 @@ -237,7 +237,7 @@ Options.add_option obox (new Options.void_entry_display - ~text:"New random bodies:" ()); + ~text:(Lstrings.get `random_bodies) ()); Options.add_option_live obox diameter_multiplier (new Options.float_entry_option --- trunk/lstrings.ml 2007-06-20 04:20:50.000000000 +0200 +++ trunk.new/lstrings.ml 2008-03-04 09:31:13.000000000 +0100 @@ -68,6 +68,7 @@ | `dismiss -> "Dismiss" | `options -> "Options" | `at_startup -> "Display this screen at startup?" + | `random_bodies -> "New random bodies:" | `prologue -> "Welcome to Planets! Planets is a simple orbital planetary simulator. A short introduction to planets can be found at: debian/compat0000644000000000000000000000000212250553340010363 0ustar 5 debian/planets.examples0000644000000000000000000000000612250553340012367 0ustar uni.9