debian/0000755000000000000000000000000012256116240007165 5ustar debian/changelog0000644000000000000000000000520612256116240011042 0ustar laby (0.6.3-1build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 20:27:13 +0000 laby (0.6.3-1) unstable; urgency=low * New upstream release * Switch to 3.0 (quilt) source format. * Bump Standards-Version to 3.9.2, no changes required. -- Mehdi Dogguy Mon, 26 Sep 2011 14:09:54 +0200 laby (0.5.5-1) unstable; urgency=low * New upstream release - Uses lablgtk2 (>= 2.14) which brings bindings for gtksourceview2 (Closes: #541958). * Use new features of dh-ocaml: automatic computation of dependencies -- Mehdi Dogguy Tue, 01 Dec 2009 23:40:22 +0100 laby (0.5.4-1) unstable; urgency=low * New upstream release + Prolog mode * Choose the same icon as upstream * Add executable bit to all '/usr/share/laby/mods/*/lib/defs' * Bump debhelper's version to (>= 7.0.50~) in build-dependencies * Bump standards version to 3.8.3 * Build-depend on ocaml-findlib (used to be a dependency of liblablgtksourceview) (Closes: #549830). -- Mehdi Dogguy Sat, 12 Sep 2009 11:35:09 +0200 laby (0.5.3-1) unstable; urgency=low * New Upstream Version * Remove DMUA, not needed anymore * Use my Debian address for the maintainer field -- Mehdi Dogguy Mon, 24 Aug 2009 11:45:11 +0200 laby (0.5.2-1) unstable; urgency=low * New Upstream Version - Ruby mode - New uptream homepage * Add ruby to the list of compilers in the dependency field and as a suggestion. * Update watch file * Update homepage field * Update the category in menus (menu, desktop): LogicGame * Bump standards version to 3.8.2 * Fix permission of run/*/command files (add executable bit) -- Mehdi Dogguy Tue, 04 Aug 2009 14:14:54 +0200 laby (0.5.1-1) unstable; urgency=low * New Upstream Version * Update manpage: add --tile-size * Update OCaml version in build-deps -- Mehdi Dogguy Fri, 05 Jun 2009 12:43:47 +0200 laby (0.5.0-1) unstable; urgency=low * New Upstream Version * Remove menhir from build-dependencies: not used. * alsa-utils is now a Recommends: used only for sound effects. -- Mehdi Dogguy Mon, 01 Jun 2009 21:35:00 +0200 laby (0.4.5-2) unstable; urgency=low * Fix FTBFS on non-native architectures: compiling using OCAML_BEST. * Add gbp.conf to force use of pristine-tar. -- Mehdi Dogguy Sat, 23 May 2009 10:58:54 +0200 laby (0.4.5-1) unstable; urgency=low * Initial release (Closes: #515617) -- Mehdi Dogguy Wed, 13 May 2009 18:56:57 +0200 debian/laby.xml0000644000000000000000000001025011640062101010624 0ustar laby"> ]> Mehdi Dogguy dogguy@pps.jussieu.fr 2009 Mehdi Dogguy May 13, 2009 laby 6 laby Games &dhprg; Learn programming playing with ants and spider webs &dhprg; options DESCRIPTION This manual page documents briefly the &dhprg; command. In this game, you will have to move an ant out of a labyrinth, avoid spider webs, move rocks, etc... You have to click on "Reload" at startup. OPTIONS Display help message Show versioning information l Select a programming language Enable/Disable sounds n Set tile's size in pixels Set a configuration key key Describe a configuration key Dump a configutation key d Select debug level where d is an integer LICENSE This manual page was written by Mehdi Dogguy dogguy@pps.jussieu.fr for the Debian GNU/Linux system (but may be used by others). Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License, Version 3 or any later version published by the Free Software Foundation; considering as source code all the file that enable the production of this manpage. debian/laby.desktop0000644000000000000000000000037511640062101011504 0ustar [Desktop Entry] Name=Laby Comment=Learn how to program with ants and spider webs Comment[fr]=Apprendre à programmer avec des fourmis Exec=/usr/games/laby Icon=laby Terminal=false Type=Application Categories=GNOME;GTK;Game;LogicGame; StartupNotify=true debian/menu0000644000000000000000000000020311640062101010037 0ustar ?package(laby):needs="X11" section="Games/Puzzles" \ title="Laby" command="/usr/games/laby" \ icon="/usr/share/pixmaps/laby.xpm" debian/rules0000755000000000000000000000171211640065735010256 0ustar #!/usr/bin/make -f # -*- makefile -*- export DH_VERBOSE=1 include /usr/share/ocaml/ocamlvars.mk include /usr/share/ocaml/ocamlinit.mk OCAML_BEST = $(if $(OCAML_OPT_ARCH),native,byte) override_dh_auto_build: $(MAKE) $(OCAML_BEST) override_dh_auto_install: cp $(shell readlink -f laby) $(CURDIR)/debian/laby/usr/games/laby cp -r data/* $(CURDIR)/debian/laby/usr/share/laby/ find $(CURDIR)/debian/laby/usr/share/laby/mods/ -type f -name defs -print0 2>/dev/null | xargs -0r chmod a+x cp data/tiles/ant-e.svg $(CURDIR)/debian/laby/usr/share/icons/hicolor/scalable/apps/laby.svg cp debian/laby.xpm $(CURDIR)/debian/laby/usr/share/pixmaps/ cp debian/laby.desktop $(CURDIR)/debian/laby/usr/share/applications/ %: dh --with ocaml $@ laby.6: laby.xml # Verification -xmllint --nonet --noout --postvalid --xinclude $^ # Compilation xsltproc --output $@ --nonet --xinclude \ /usr/share/xml/docbook/stylesheet/nwalsh/manpages/docbook.xsl \ $^ .PHONY: laby.6 debian/README.source0000644000000000000000000000110611640062100011331 0ustar laby Debian source package ========================== Patching upstream sources ------------------------- This source package uses quilt to apply and remove its patches. Please refer to `/usr/share/doc/quilt/README.source' for information about how to use quilt for source packages. The quilt series is generated from the Git repository, using dom-{apply,save}-patches, from the dh-ocaml (>= 0.4.2) package. Please refer to the appendix about Git in the Debian OCaml Packaging Policy (from the same package). -- Mehdi Dogguy , Fri, 13 Nov 2009 08:59:06 +0100 debian/gbp.conf0000644000000000000000000000036011640062101010573 0ustar # Configuration file for git-buildpackage and friends [DEFAULT] # the default branch for upstream sources: upstream-branch = upstream # the default branch for the debian patch: debian-branch = master # use pristine-tar: pristine-tar = True debian/manpages0000644000000000000000000000001611640062101010670 0ustar debian/laby.6 debian/control0000644000000000000000000000216711640066001010571 0ustar Source: laby Section: games Priority: extra Maintainer: Debian OCaml Maintainers Uploaders: Mehdi Dogguy Build-Depends: debhelper (>= 7.0.50~), ocaml-nox (>= 3.11.1), ocaml-findlib, dh-ocaml (>= 0.9.0), liblablgtk2-ocaml-dev (>= 2.14), liblablgtksourceview2-ocaml-dev (>= 2.14) Standards-Version: 3.9.2 Homepage: http://www.pps.jussieu.fr/~gimenez/laby/ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/laby.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/laby.git Package: laby Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends}, ocaml-nox | java-compiler | c-compiler | ruby | gprolog Recommends: alsa-utils Suggests: java-compiler, c-compiler, gprolog, ruby, ocaml-nox Description: Learn how to program with ants and spider webs Laby is a small program to learn how to program with ants and spider webs. You have to move an ant out of a labyrinth, avoid spider webs, move rocks, etc. . Using Laby, you can learn OCaml, C and Java. Other bindings can be added later to support new programming languages. debian/copyright0000644000000000000000000000076711640062101011122 0ustar Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat Packaged-By: Mehdi Dogguy (and al.) Files: * Copyright: © 2007-2009 The laby team Licence: GPL-3+ See `/usr/share/common-licenses/GPL-3'. Files: debian/* Copyright: © 2009 Mehdi Dogguy License: GPL-3+ debian/source/0000755000000000000000000000000011640066001010460 5ustar debian/source/format0000644000000000000000000000001411640066001011666 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000011711640062101010205 0ustar version=3 http://www.pps.jussieu.fr/~gimenez/data/fdls/laby-(.*\..*)\.tar\.gz debian/laby.xpm0000644000000000000000000000364611640062101010643 0ustar /* XPM */ static char *laby[] = { /* columns rows colors chars-per-pixel */ "29 26 69 1", " c black", ". c #010101", "X c #020202", "o c gray1", "O c #040404", "+ c gray2", "@ c #060606", "# c #070707", "$ c gray3", "% c #090909", "& c gray4", "* c #0C0C0C", "= c gray6", "- c gray7", "; c #131313", ": c gray8", "> c #161616", ", c gray9", "< c #181818", "1 c #191919", "2 c #1B1B1B", "3 c gray11", "4 c #1D1D1D", "5 c gray12", "6 c #202020", "7 c #222222", "8 c #232323", "9 c gray15", "0 c gray16", "q c #2A2A2A", "w c gray17", "e c #2D2D2D", "r c gray18", "t c gray20", "y c gray22", "u c #393939", "i c #3A3A3A", "p c gray23", "a c gray26", "s c #434343", "d c #444444", "f c gray27", "g c gray28", "h c #494949", "j c #4B4B4B", "k c gray31", "l c #505050", "z c #555555", "x c gray34", "c c #5A5A5A", "v c #5B5B5B", "b c #5D5D5D", "n c #5F5F5F", "m c #6A6A6A", "M c #6D6D6D", "N c #6F6F6F", "B c gray44", "V c #747474", "C c gray46", "Z c gray47", "A c #797979", "S c gray48", "D c #7B7B7B", "F c #7C7C7C", "G c gray49", "H c #7E7E7E", "J c #7F7F7F", "K c #808080", "L c None", /* pixels */ "LLLLLLLLLLLLLLLLLLLLLLLLLLLLL", "LLLLLLLLLLLLLL LLLLLLLLLLLLL", "LLLLLLLLLLLL@@<5##LLLLLLLLLLL", "LLLLLLLLLLL.9AKKFq LLLLLLLLLL", "LLLLLLLLLLL=;HKKKw2LLLLLLLLLL", "LLLLL LLLL@hZKKKKKz%LLLLLLLLL", "LLLLLL LLL%kKKKKKKv%LLLLLLLLL", "LLLLLL LLLwKKKKKKyOLLLLL LLL", "LLLLLLL LLL@lKKKKc+LLLLLL LLL", "LLLLLLLL LL@4df7@LLLLLL LLLL", "LLLLLLLLLL *gpikr#L LLLL", "LLLL LLLLLL#nKKKKG% LLLLLLLLL", "LLLLL LLLLLXHKKKKKqLLLLLLL LL", "LLLLLL LoZKKKKK6LLLLLL LLL", "LLLLLLLLLL +sKKKKNO LLL LLLL", "LLLLLLLLLL#*&fCDb-:X LLLLL", "LLLLLLLLLL;DB0#o,xKa#LLLLLLLL", "LLLLLLLLLoMKKKJGKKKJ2LLLLLLLL", "LLLLLLL ;KKKKKKKKKKgX LLLLL", "LLLLL L eKKKKKKKKKKb#LL LLLL", "LLLL LLL>KKKKKKKKKKj$LLL LLL", "LLL LLLLoVKKKKKKKKK8LLLL LL", "LL LLLLLO3JKKKKKKKk@LLLLL LL", "L LLLLLLL#2mKKKKSuOLLLLLLL L", " LLLLLLLLLLO1tp6@#LLLLLLLL L", "LLLLLLLLLLLLLLLXLLLLLLLLLLLLL" }; debian/compat0000644000000000000000000000000211640062100010352 0ustar 7 debian/dirs0000644000000000000000000000015511640062101010042 0ustar usr/games/ usr/share/laby/ usr/share/icons/hicolor/scalable/apps/ usr/share/applications/ usr/share/pixmaps/ debian/laby.60000644000000000000000000000425211640062101010176 0ustar '\" t .\" Title: laby .\" Author: Mehdi Dogguy .\" Generator: DocBook XSL Stylesheets v1.75.0 .\" Date: May 13, 2009 .\" Manual: Games .\" Source: laby .\" Language: English .\" .TH "LABY" "6" "May 13, 2009" "laby" "Games" .\" ----------------------------------------------------------------- .\" * set default formatting .\" ----------------------------------------------------------------- .\" disable hyphenation .nh .\" disable justification (adjust text to left margin only) .ad l .\" ----------------------------------------------------------------- .\" * MAIN CONTENT STARTS HERE * .\" ----------------------------------------------------------------- .SH "NAME" laby \- Learn programming playing with ants and spider webs .SH "SYNOPSIS" .HP \w'\fBlaby\fR\ 'u \fBlaby\fR [options] .SH "DESCRIPTION" .PP This manual page documents briefly the \fBlaby\fR command\&. .PP In this game, you will have to move an ant out of a labyrinth, avoid spider webs, move rocks, etc\&.\&.\&. You have to click on "Reload" at startup\&. .SH "OPTIONS" .PP \fB\-\-help\fR .RS 4 Display help message .RE .PP \fB\-\-version\fR .RS 4 Show versioning information .RE .PP \fB\-\-lang=\fRl .RS 4 Select a programming language .RE .PP \fB\-\-sound\fR .RS 4 Enable/Disable sounds .RE .PP \fB\-\-tile\-size=\fRn .RS 4 Set tile\'s size in pixels .RE .PP \fB\-\-conf\fR .RS 4 Set a configuration key .RE .PP \fB\-\-conf\-descr=\fRkey .RS 4 Describe a configuration key .RE .PP \fB\-\-conf\-dump\fR .RS 4 Dump a configutation key .RE .PP \fB\-\-debug=\fRd .RS 4 Select debug level where d is an integer .RE .SH "LICENSE" .PP This manual page was written by Mehdi Dogguy dogguy@pps\&.jussieu\&.fr for the Debian GNU/Linux system (but may be used by others)\&. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License, Version 3 or any later version published by the Free Software Foundation; considering as source code all the file that enable the production of this manpage\&. .SH "AUTHOR" .PP \fBMehdi Dogguy\fR <\&dogguy@pps\&.jussieu\&.fr\&> .RS 4 .RE .SH "COPYRIGHT" .br Copyright \(co 2009 Mehdi Dogguy .br