[debian-edu-commits] debian-edu/lambdacan.git (#2) - master (branch) updated: upstream/2.0-1-g9cb2985
anthony gasperin
nyothan-guest at alioth.debian.org
Mon Aug 19 13:31:30 UTC 2013
The branch, master has been updated
via 9cb2985add040cd31ee4692910bf18705075841d (commit)
from b5e44900f9fa09951c8d141cf1c4846d89fe2199 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 9cb2985add040cd31ee4692910bf18705075841d
Author: Anthony Gasperin <anthony.gasperin at gmail.com>
Date: Mon Aug 19 15:30:11 2013 +0200
a bit of work
-----------------------------------------------------------------------
Summary of changes:
debian/changelog | 4 +
debian/compat | 1 +
debian/control | 25 ++
debian/copyright | 29 ++
debian/docs | 1 +
debian/emacsen-install.ex | 45 +++
debian/emacsen-remove.ex | 15 +
debian/emacsen-startup.ex | 25 ++
debian/files | 1 +
debian/init.d.ex | 154 +++++++++++
debian/install | 1 +
debian/lambdacan.1 | 151 ++++++++++
debian/lambdacan.1~ | 151 ++++++++++
debian/lambdacan.cron.d.ex | 4 +
debian/lambdacan.debhelper.log | 48 ++++
debian/lambdacan.default.ex | 10 +
debian/lambdacan.doc-base.EX | 20 ++
debian/lambdacan.manpages | 1 +
debian/lambdacan.substvars | 2 +
debian/lambdacan/DEBIAN/control | 23 ++
debian/lambdacan/DEBIAN/md5sums | 5 +
debian/lambdacan/usr/bin/lci | Bin 0 -> 11032 bytes
.../lambdacan/usr/share/doc/lambdacan/README | 0
.../usr/share/doc/lambdacan/changelog.Debian.gz | Bin 0 -> 159 bytes
debian/lambdacan/usr/share/doc/lambdacan/copyright | 29 ++
debian/lambdacan/usr/share/man/man1/lambdacan.1.gz | Bin 0 -> 2471 bytes
debian/manpage.1.ex | 59 ++++
debian/manpage.sgml.ex | 154 +++++++++++
debian/manpage.xml.ex | 291 ++++++++++++++++++++
debian/menu.ex | 2 +
debian/postinst.ex | 39 +++
debian/postrm.ex | 37 +++
debian/preinst.ex | 35 +++
debian/prerm.ex | 38 +++
debian/rules | 21 ++
debian/rules.back | 13 +
debian/source/format | 1 +
debian/watch.ex | 24 ++
lci | Bin 0 -> 25252 bytes
lci_ast.o | Bin 0 -> 9072 bytes
lci_main.o | Bin 0 -> 6480 bytes
lci_parse.o | Bin 0 -> 11168 bytes
lci_reduce.o | Bin 0 -> 10656 bytes
lci_var.o | Bin 0 -> 7072 bytes
44 files changed, 1459 insertions(+)
create mode 100644 debian/changelog
create mode 100644 debian/compat
create mode 100644 debian/control
create mode 100644 debian/copyright
create mode 100644 debian/docs
create mode 100644 debian/emacsen-install.ex
create mode 100644 debian/emacsen-remove.ex
create mode 100644 debian/emacsen-startup.ex
create mode 100644 debian/files
create mode 100644 debian/init.d.ex
create mode 100644 debian/install
create mode 100644 debian/lambdacan.1
create mode 100644 debian/lambdacan.1~
create mode 100644 debian/lambdacan.cron.d.ex
create mode 100644 debian/lambdacan.debhelper.log
create mode 100644 debian/lambdacan.default.ex
create mode 100644 debian/lambdacan.doc-base.EX
create mode 100644 debian/lambdacan.manpages
create mode 100644 debian/lambdacan.substvars
create mode 100644 debian/lambdacan/DEBIAN/control
create mode 100644 debian/lambdacan/DEBIAN/md5sums
create mode 100755 debian/lambdacan/usr/bin/lci
copy README => debian/lambdacan/usr/share/doc/lambdacan/README (100%)
create mode 100644 debian/lambdacan/usr/share/doc/lambdacan/changelog.Debian.gz
create mode 100644 debian/lambdacan/usr/share/doc/lambdacan/copyright
create mode 100644 debian/lambdacan/usr/share/man/man1/lambdacan.1.gz
create mode 100644 debian/manpage.1.ex
create mode 100644 debian/manpage.sgml.ex
create mode 100644 debian/manpage.xml.ex
create mode 100644 debian/menu.ex
create mode 100644 debian/postinst.ex
create mode 100644 debian/postrm.ex
create mode 100644 debian/preinst.ex
create mode 100644 debian/prerm.ex
create mode 100755 debian/rules
create mode 100755 debian/rules.back
create mode 100644 debian/source/format
create mode 100644 debian/watch.ex
create mode 100755 lci
create mode 100644 lci_ast.o
create mode 100644 lci_main.o
create mode 100644 lci_parse.o
create mode 100644 lci_reduce.o
create mode 100644 lci_var.o
The diff of changes is:
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..d574902
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,4 @@
+lambdacan (2.0-1) unstable; urgency=low
+
+ * Initial release (Closes: #688901)
+ -- Anthony Gasperin <anthony.gasperin at gmail.com> Sun, 17 Jun 2012 15:14:49 +0200
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..45a4fb7
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+8
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..4113285
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,25 @@
+Source: lambdacan
+Section: math
+Priority: extra
+Maintainer: debian-edu-pkg-team <debian-edu-pkg-team at lists.alioth.debian.org>
+Build-Depends: debhelper (>= 7.0.50~)
+Standards-Version: 3.9.3
+Homepage:http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan.html
+
+Package: lambdacan
+Architecture: any
+Depends: ${shlibs:Depends},${misc:Depends}
+Description: Project LambdaCan implements a reducer for the Lambda Calculus.
+ Project LambdaCan is an amusing exercise in absurdity.
+ It implements a reducer (interpreter) for the Lambda Calculus,
+ formal system (programming language) developed by Alonzo Church in
+ the 1930's to attack the deepest mathematical problem of the day.
+ This was the Entscheidungsproblem, the question of whether or not
+ there exists an algorithm capable of
+ deciding the truth or falsehood of all statements in mathematics.
+ Project LambdaCan takes this tool for exploring the most profound
+ mathematical problems and implements it on a
+ microcontroller better suited to the most mundane of tasks,
+ like running a vending machine or microwave oven.
+ And it sticks the microcontroller in a can that you can connect to
+ your PC using a USB cable.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..436067d
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,29 @@
+Format: http://dep.debian.net/deps/dep5
+Upstream-Name: lambdacan
+Source: http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan.html
+
+Files: *
+Copyright: 2008 Tim Fraser <tfraser at alum.wpi.edu>>
+License: GPL-3.0+
+
+Files: debian/*
+Copyright: 2012 Anthony Gasperin <anthony.gasperin at gmail.com>
+License: GPL-3.0+
+
+License: GPL-3.0+
+ 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 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, see <http://www.gnu.org/licenses/>.
+ .
+ On Debian systems, the complete text of the GNU General
+ Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
+
diff --git a/debian/docs b/debian/docs
new file mode 100644
index 0000000..e845566
--- /dev/null
+++ b/debian/docs
@@ -0,0 +1 @@
+README
diff --git a/debian/emacsen-install.ex b/debian/emacsen-install.ex
new file mode 100644
index 0000000..b5c4829
--- /dev/null
+++ b/debian/emacsen-install.ex
@@ -0,0 +1,45 @@
+#! /bin/sh -e
+# /usr/lib/emacsen-common/packages/install/lambdacan
+
+# Written by Jim Van Zandt <jrv at debian.org>, borrowing heavily
+# from the install scripts for gettext by Santiago Vila
+# <sanvila at ctv.es> and octave by Dirk Eddelbuettel <edd at debian.org>.
+
+FLAVOR=$1
+PACKAGE=lambdacan
+
+if [ ${FLAVOR} = emacs ]; then exit 0; fi
+
+echo install/${PACKAGE}: Handling install for emacsen flavor ${FLAVOR}
+
+#FLAVORTEST=`echo $FLAVOR | cut -c-6`
+#if [ ${FLAVORTEST} = xemacs ] ; then
+# SITEFLAG="-no-site-file"
+#else
+# SITEFLAG="--no-site-file"
+#fi
+FLAGS="${SITEFLAG} -q -batch -l path.el -f batch-byte-compile"
+
+ELDIR=/usr/share/emacs/site-lisp/${PACKAGE}
+ELCDIR=/usr/share/${FLAVOR}/site-lisp/${PACKAGE}
+
+# Install-info-altdir does not actually exist.
+# Maybe somebody will write it.
+if test -x /usr/sbin/install-info-altdir; then
+ echo install/${PACKAGE}: install Info links for ${FLAVOR}
+ install-info-altdir --quiet --section "" "" --dirname=${FLAVOR} /usr/share/info/${PACKAGE}.info.gz
+fi
+
+install -m 755 -d ${ELCDIR}
+cd ${ELDIR}
+FILES=`echo *.el`
+cd ${ELCDIR}
+ln -sf ${ELCDIR}/*.el .
+
+cat << EOF > path.el
+(setq load-path (cons "." load-path) byte-compile-warnings nil)
+EOF
+${FLAVOR} ${FLAGS} ${FILES}
+rm -f path.el
+
+exit 0
diff --git a/debian/emacsen-remove.ex b/debian/emacsen-remove.ex
new file mode 100644
index 0000000..1daba40
--- /dev/null
+++ b/debian/emacsen-remove.ex
@@ -0,0 +1,15 @@
+#!/bin/sh -e
+# /usr/lib/emacsen-common/packages/remove/lambdacan
+
+FLAVOR=$1
+PACKAGE=lambdacan
+
+if [ ${FLAVOR} != emacs ]; then
+ if test -x /usr/sbin/install-info-altdir; then
+ echo remove/${PACKAGE}: removing Info links for ${FLAVOR}
+ install-info-altdir --quiet --remove --dirname=${FLAVOR} /usr/share/info/lambdacan.info.gz
+ fi
+
+ echo remove/${PACKAGE}: purging byte-compiled files for ${FLAVOR}
+ rm -rf /usr/share/${FLAVOR}/site-lisp/${PACKAGE}
+fi
diff --git a/debian/emacsen-startup.ex b/debian/emacsen-startup.ex
new file mode 100644
index 0000000..6523d94
--- /dev/null
+++ b/debian/emacsen-startup.ex
@@ -0,0 +1,25 @@
+;; -*-emacs-lisp-*-
+;;
+;; Emacs startup file, e.g. /etc/emacs/site-start.d/50lambdacan.el
+;; for the Debian lambdacan package
+;;
+;; Originally contributed by Nils Naumann <naumann at unileoben.ac.at>
+;; Modified by Dirk Eddelbuettel <edd at debian.org>
+;; Adapted for dh-make by Jim Van Zandt <jrv at debian.org>
+
+;; The lambdacan package follows the Debian/GNU Linux 'emacsen' policy and
+;; byte-compiles its elisp files for each 'emacs flavor' (emacs19,
+;; xemacs19, emacs20, xemacs20...). The compiled code is then
+;; installed in a subdirectory of the respective site-lisp directory.
+;; We have to add this to the load-path:
+(let ((package-dir (concat "/usr/share/"
+ (symbol-name flavor)
+ "/site-lisp/lambdacan")))
+;; If package-dir does not exist, the lambdacan package must have
+;; removed but not purged, and we should skip the setup.
+ (when (file-directory-p package-dir)
+ (setq load-path (cons package-dir load-path))
+ (autoload 'lambdacan-mode "lambdacan-mode"
+ "Major mode for editing lambdacan files." t)
+ (add-to-list 'auto-mode-alist '("\\.lambdacan$" . lambdacan-mode))))
+
diff --git a/debian/files b/debian/files
new file mode 100644
index 0000000..505c096
--- /dev/null
+++ b/debian/files
@@ -0,0 +1 @@
+lambdacan_2.0-1_amd64.deb math extra
diff --git a/debian/init.d.ex b/debian/init.d.ex
new file mode 100644
index 0000000..64efbb4
--- /dev/null
+++ b/debian/init.d.ex
@@ -0,0 +1,154 @@
+#!/bin/sh
+### BEGIN INIT INFO
+# Provides: lambdacan
+# Required-Start: $network $local_fs
+# Required-Stop:
+# Default-Start: 2 3 4 5
+# Default-Stop: 0 1 6
+# Short-Description: <Enter a short description of the software>
+# Description: <Enter a long description of the software>
+# <...>
+# <...>
+### END INIT INFO
+
+# Author: Anthony Gasperin <anthony.gasperin at gmail.com>
+
+# PATH should only include /usr/* if it runs after the mountnfs.sh script
+PATH=/sbin:/usr/sbin:/bin:/usr/bin
+DESC=lambdacan # Introduce a short description here
+NAME=lambdacan # Introduce the short server's name here
+DAEMON=/usr/sbin/lambdacan # Introduce the server's location here
+DAEMON_ARGS="" # Arguments to run the daemon with
+PIDFILE=/var/run/$NAME.pid
+SCRIPTNAME=/etc/init.d/$NAME
+
+# Exit if the package is not installed
+[ -x $DAEMON ] || exit 0
+
+# Read configuration variable file if it is present
+[ -r /etc/default/$NAME ] && . /etc/default/$NAME
+
+# Load the VERBOSE setting and other rcS variables
+. /lib/init/vars.sh
+
+# Define LSB log_* functions.
+# Depend on lsb-base (>= 3.0-6) to ensure that this file is present.
+. /lib/lsb/init-functions
+
+#
+# Function that starts the daemon/service
+#
+do_start()
+{
+ # Return
+ # 0 if daemon has been started
+ # 1 if daemon was already running
+ # 2 if daemon could not be started
+ start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $DAEMON --test > /dev/null \
+ || return 1
+ start-stop-daemon --start --quiet --pidfile $PIDFILE --exec $DAEMON -- \
+ $DAEMON_ARGS \
+ || return 2
+ # Add code here, if necessary, that waits for the process to be ready
+ # to handle requests from services started subsequently which depend
+ # on this one. As a last resort, sleep for some time.
+}
+
+#
+# Function that stops the daemon/service
+#
+do_stop()
+{
+ # Return
+ # 0 if daemon has been stopped
+ # 1 if daemon was already stopped
+ # 2 if daemon could not be stopped
+ # other if a failure occurred
+ start-stop-daemon --stop --quiet --retry=TERM/30/KILL/5 --pidfile $PIDFILE --name $NAME
+ RETVAL="$?"
+ [ "$RETVAL" = 2 ] && return 2
+ # Wait for children to finish too if this is a daemon that forks
+ # and if the daemon is only ever run from this initscript.
+ # If the above conditions are not satisfied then add some other code
+ # that waits for the process to drop all resources that could be
+ # needed by services started subsequently. A last resort is to
+ # sleep for some time.
+ start-stop-daemon --stop --quiet --oknodo --retry=0/30/KILL/5 --exec $DAEMON
+ [ "$?" = 2 ] && return 2
+ # Many daemons don't delete their pidfiles when they exit.
+ rm -f $PIDFILE
+ return "$RETVAL"
+}
+
+#
+# Function that sends a SIGHUP to the daemon/service
+#
+do_reload() {
+ #
+ # If the daemon can reload its configuration without
+ # restarting (for example, when it is sent a SIGHUP),
+ # then implement that here.
+ #
+ start-stop-daemon --stop --signal 1 --quiet --pidfile $PIDFILE --name $NAME
+ return 0
+}
+
+case "$1" in
+ start)
+ [ "$VERBOSE" != no ] && log_daemon_msg "Starting $DESC " "$NAME"
+ do_start
+ case "$?" in
+ 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;;
+ 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;;
+ esac
+ ;;
+ stop)
+ [ "$VERBOSE" != no ] && log_daemon_msg "Stopping $DESC" "$NAME"
+ do_stop
+ case "$?" in
+ 0|1) [ "$VERBOSE" != no ] && log_end_msg 0 ;;
+ 2) [ "$VERBOSE" != no ] && log_end_msg 1 ;;
+ esac
+ ;;
+ status)
+ status_of_proc "$DAEMON" "$NAME" && exit 0 || exit $?
+ ;;
+ #reload|force-reload)
+ #
+ # If do_reload() is not implemented then leave this commented out
+ # and leave 'force-reload' as an alias for 'restart'.
+ #
+ #log_daemon_msg "Reloading $DESC" "$NAME"
+ #do_reload
+ #log_end_msg $?
+ #;;
+ restart|force-reload)
+ #
+ # If the "reload" option is implemented then remove the
+ # 'force-reload' alias
+ #
+ log_daemon_msg "Restarting $DESC" "$NAME"
+ do_stop
+ case "$?" in
+ 0|1)
+ do_start
+ case "$?" in
+ 0) log_end_msg 0 ;;
+ 1) log_end_msg 1 ;; # Old process is still running
+ *) log_end_msg 1 ;; # Failed to start
+ esac
+ ;;
+ *)
+ # Failed to stop
+ log_end_msg 1
+ ;;
+ esac
+ ;;
+ *)
+ #echo "Usage: $SCRIPTNAME {start|stop|restart|reload|force-reload}" >&2
+ echo "Usage: $SCRIPTNAME {start|stop|status|restart|force-reload}" >&2
+ exit 3
+ ;;
+esac
+
+:
diff --git a/debian/install b/debian/install
new file mode 100644
index 0000000..f10fa9d
--- /dev/null
+++ b/debian/install
@@ -0,0 +1 @@
+lci usr/bin
diff --git a/debian/lambdacan.1 b/debian/lambdacan.1
new file mode 100644
index 0000000..1bdc465
--- /dev/null
+++ b/debian/lambdacan.1
@@ -0,0 +1,151 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH Lambdacan 1 "July 15, 2012"
+
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+lambdacan \- Lambda-calculus interpreter in a can !
+.SH SYNOPSIS
+.B lambdacan
+.RI [ options ] " files" ...
+.br
+.\".B bar
+.\".RI [ options ] " files" ...
+.SH DESCRIPTION
+This manual page documents briefly the
+.B lambdacan project
+.RI
+and detailled briefly the use of the given
+.I lambda-calculus interpreter
+.br
+.B lci
+
+
+.\"and
+.\".B bar
+.\"commands.
+.PP
+Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsproblem, the question of whether or not there exists an algorithm capable of deciding the truth or falsehood of all statements in mathematics.
+
+Project LambdaCan takes this tool for exploring the most profound mathematical problems and implements it on a microcontroller better suited to the most mundane of tasks, like running a vending machine or microwave oven. And it sticks the microcontroller in a can that you can connect to your PC using a USB cable.
+
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+.\"\fBlambdacan\fP is a program that...
+
+.SH SYNTAX
+The syntax of the Lambda Calculus is very simple: it has variables like x and functions like (\x.x). This function, for example, takes one argument x and returns the value of that argument---it's the identity function. In Church's original syntax, the \ would be a lambda. The period is a little syntactic sugar to make the function more readable by visually separating parameters from body. The Lambda Calculus also includes applications of functions. For example, ((\x.x) A) applies the above identity function to the argument A. Reducing expressions, at least in the simplest cases, amounts to syntactically substituting arguments for formal parameters in function bodies, like so:
+
+>> ((\\x.x) A);;
+.br
+-> A
+.br
+\\>
+.br
+
+To reduce, we match the argument A with the formal parameter x, and then replace all occurrences of x in the body with A. The -> symbol indicates one step of reduction, the \\> symbol indicates no further reduction is possible.
+
+Here's the formal grammar LambdaCan uses. Note that you can put spaces and carriage returns anywhere you want, but you must end your input with ;;
+
+START ::= FORMULA ';;
+.br
+
+FORMULA ::= VARIABLE
+.br
+ | '(' FORMULA FORMULA ')'
+.br
+ | '(' '\\' VARIABLE '.' FORMULA ')'
+.br
+VARIABLE ::= [A-Z,a-z]
+.br
+
+ In it's most basic form, there are no numbers or strings in the Lambda Calculus---only functions. However, you can invent conventions on how to encode numbers as functions. One such convention called "Church numerals" encodes numbers as follows:
+.br
+ 0 = (\\s.(\\z.z))
+.br
+ 1 = (\\s.(\\z.(s z)))
+.br
+ 2 = (\\s.(\\z.(s (s z))))
+.br
+Every number is represented by a distinct function of two arguments: s and z. The number of applications of s encodes the numeric value: zero for 0, one for 1, two for 2 and so on. Using this convention, you encode the operation M + N as follows:
+.br
+ (\\M.(\\N.(\\s.(\\z.(M (s (N (s z))))))))
+.br
+ So when asked to calculate 1 + 1 = 2, LambdaCan produces the following output:
+.br
+ >> ((
+.br
+ >> (\\M.(\\N.(\\s.(\\z.((M s) ((N s) z))))))
+.br
+ >> (\\s.(\\z.(s z))))
+.br
+ >> (\\s.(\\z.(s z))))
+.br
+ >> ;;
+.br
+ -> ((\\N.(\\s.(\\z.(((\\s.(\\z.(s z))) s) ((N s) z))))) (\\s.(\\z.(s z))))
+.br
+ -> (\\s.(\\z.(((\\s.(\\z.(s z))) s) (((\\s.(\\z.(s z))) s) z))))
+.br
+ -> (\\s.(\\z.(((\\s.(\\z.(s z))) s) ((\\z.(s z)) z))))
+.br
+ -> (\\s.(\\z.(((\\s.(\\z.(s z))) s) (s z))))
+.br
+ -> (\\s.(\\z.((\\z.(s z)) (s z))))
+.br
+ -> (\\s.(\\z.(s (s z))))A
+
+
+
+.SH ARDUINO PLATFORMS
+Lamdacan Project comes with the
+.B lci
+program which is a posix lambda-calculus interpreter.
+It also cames with the possibility to make one for Arduino platforms. Run
+.RS
+.B make
+.I -f Makefile-arduino
+.RE
+to build. To upload, press the reset button on the board and immediately afterwards run
+.RS
+.B make
+.I -f Makefile-arduino upload
+.br
+.\"OPTIONS
+.\"These programs follow the usual GNU command line syntax, with long
+.\"options starting with two dashes (`-').
+.\"A summary of options is included below.
+.\"For a complete description, see the Info files.
+.\".TP
+.\".B \-h, \-\-help
+.\"Show summary of options.
+.\".TP
+.\".B \-v, \-\-version
+.\"Show version of program.
+
+.\".SH SEE ALSO
+.\".BR bar (1),
+.\".BR baz (1).
+.\".br
+.\"The programs are documented fully by
+.\".IR "The Rise and Fall of a Fooish Bar" ,
+.\"available via the Info system.
+.SH AUTHOR
+lambdacan was written by Tim Fraser.
+.PP
+This manual page was written by Anthony Gasperin <anthony.gasperin at gmail.com>,
+for the Debian project (and may be used by others).
diff --git a/debian/lambdacan.1~ b/debian/lambdacan.1~
new file mode 100644
index 0000000..8287b52
--- /dev/null
+++ b/debian/lambdacan.1~
@@ -0,0 +1,151 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH Lambdacan 1 "July 15, 2012"
+
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+lambdacan \- Lambda-calculus interpreter in a can !
+.SH SYNOPSIS
+.B lambdacan
+.RI [ options ] " files" ...
+.br
+.\".B bar
+.\".RI [ options ] " files" ...
+.SH DESCRIPTION
+This manual page documents described briefly the
+.B lambdacan project
+.RI
+and detailled briefly the use of the given
+.I lambda-calculus interpreter
+.br
+.B lci
+
+
+.\"and
+.\".B bar
+.\"commands.
+.PP
+Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo Church in the 1930's to attack the deepest mathematical problem of the day. This was the Entscheidungsproblem, the question of whether or not there exists an algorithm capable of deciding the truth or falsehood of all statements in mathematics.
+
+Project LambdaCan takes this tool for exploring the most profound mathematical problems and implements it on a microcontroller better suited to the most mundane of tasks, like running a vending machine or microwave oven. And it sticks the microcontroller in a can that you can connect to your PC using a USB cable.
+
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+.\"\fBlambdacan\fP is a program that...
+
+.SH SYNTAX
+The syntax of the Lambda Calculus is very simple: it has variables like x and functions like (\x.x). This function, for example, takes one argument x and returns the value of that argument---it's the identity function. In Church's original syntax, the \ would be a lambda. The period is a little syntactic sugar to make the function more readable by visually separating parameters from body. The Lambda Calculus also includes applications of functions. For example, ((\x.x) A) applies the above identity function to the argument A. Reducing expressions, at least in the simplest cases, amounts to syntactically substituting arguments for formal parameters in function bodies, like so:
+
+>> ((\\x.x) A);;
+.br
+-> A
+.br
+\\>
+.br
+
+To reduce, we match the argument A with the formal parameter x, and then replace all occurrences of x in the body with A. The -> symbol indicates one step of reduction, the \\> symbol indicates no further reduction is possible.
+
+Here's the formal grammar LambdaCan uses. Note that you can put spaces and carriage returns anywhere you want, but you must end your input with ;;
+
+START ::= FORMULA ';;
+.br
+
+FORMULA ::= VARIABLE
+.br
+ | '(' FORMULA FORMULA ')'
+.br
+ | '(' '\\' VARIABLE '.' FORMULA ')'
+.br
+VARIABLE ::= [A-Z,a-z]
+.br
+
+ In it's most basic form, there are no numbers or strings in the Lambda Calculus---only functions. However, you can invent conventions on how to encode numbers as functions. One such convention called "Church numerals" encodes numbers as follows:
+.br
+ 0 = (\\s.(\\z.z))
+.br
+ 1 = (\\s.(\\z.(s z)))
+.br
+ 2 = (\\s.(\\z.(s (s z))))
+.br
+Every number is represented by a distinct function of two arguments: s and z. The number of applications of s encodes the numeric value: zero for 0, one for 1, two for 2 and so on. Using this convention, you encode the operation M + N as follows:
+.br
+ (\\M.(\\N.(\\s.(\\z.(M (s (N (s z))))))))
+.br
+ So when asked to calculate 1 + 1 = 2, LambdaCan produces the following output:
+.br
+ >> ((
+.br
+ >> (\\M.(\\N.(\\s.(\\z.((M s) ((N s) z))))))
+.br
+ >> (\\s.(\\z.(s z))))
+.br
+ >> (\\s.(\\z.(s z))))
+.br
+ >> ;;
+.br
+ -> ((\\N.(\\s.(\\z.(((\\s.(\\z.(s z))) s) ((N s) z))))) (\\s.(\\z.(s z))))
+.br
+ -> (\\s.(\\z.(((\\s.(\\z.(s z))) s) (((\\s.(\\z.(s z))) s) z))))
+.br
+ -> (\\s.(\\z.(((\\s.(\\z.(s z))) s) ((\\z.(s z)) z))))
+.br
+ -> (\\s.(\\z.(((\\s.(\\z.(s z))) s) (s z))))
+.br
+ -> (\\s.(\\z.((\\z.(s z)) (s z))))
+.br
+ -> (\\s.(\\z.(s (s z))))A
+
+
+
+.SH ARDUINO PLATFORMS
+Lamdacan Project comes with the
+.B lci
+program which is a posix lambda-calculus interpreter.
+It also cames with the possibility to make one for Arduino platforms. Run
+.RS
+.B make
+.I -f Makefile-arduino
+.RE
+to build. To upload, press the reset button on the board and immediately afterwards run
+.RS
+.B make
+.I -f Makefile-arduino upload
+.br
+.\"OPTIONS
+.\"These programs follow the usual GNU command line syntax, with long
+.\"options starting with two dashes (`-').
+.\"A summary of options is included below.
+.\"For a complete description, see the Info files.
+.\".TP
+.\".B \-h, \-\-help
+.\"Show summary of options.
+.\".TP
+.\".B \-v, \-\-version
+.\"Show version of program.
+
+.\".SH SEE ALSO
+.\".BR bar (1),
+.\".BR baz (1).
+.\".br
+.\"The programs are documented fully by
+.\".IR "The Rise and Fall of a Fooish Bar" ,
+.\"available via the Info system.
+.SH AUTHOR
+lambdacan was written by Tim Fraser.
+.PP
+This manual page was written by Anthony Gasperin <anthony.gasperin at gmail.com>,
+for the Debian project (and may be used by others).
diff --git a/debian/lambdacan.cron.d.ex b/debian/lambdacan.cron.d.ex
new file mode 100644
index 0000000..736c6a9
--- /dev/null
+++ b/debian/lambdacan.cron.d.ex
@@ -0,0 +1,4 @@
+#
+# Regular cron jobs for the lambdacan package
+#
+0 4 * * * root [ -x /usr/bin/lambdacan_maintenance ] && /usr/bin/lambdacan_maintenance
diff --git a/debian/lambdacan.debhelper.log b/debian/lambdacan.debhelper.log
new file mode 100644
index 0000000..ce685bc
--- /dev/null
+++ b/debian/lambdacan.debhelper.log
@@ -0,0 +1,48 @@
+dh_auto_configure
+dh_auto_build
+dh_auto_test
+dh_prep
+dh_installdirs
+dh_auto_install
+dh_install
+dh_installdocs
+dh_installchangelogs
+dh_installexamples
+dh_installman
+dh_installcatalogs
+dh_installcron
+dh_installdebconf
+dh_installemacsen
+dh_installifupdown
+dh_installinfo
+dh_pysupport
+dh_installinit
+dh_installmenu
+dh_installmime
+dh_installmodules
+dh_installlogcheck
+dh_installlogrotate
+dh_installpam
+dh_installppp
+dh_installudev
+dh_installwm
+dh_installxfonts
+dh_installgsettings
+dh_bugfiles
+dh_ucf
+dh_lintian
+dh_gconf
+dh_icons
+dh_perl
+dh_usrlocal
+dh_link
+dh_compress
+dh_fixperms
+dh_strip
+dh_makeshlibs
+dh_shlibdeps
+dh_installdeb
+dh_gencontrol
+dh_md5sums
+dh_builddeb
+dh_builddeb
diff --git a/debian/lambdacan.default.ex b/debian/lambdacan.default.ex
new file mode 100644
index 0000000..14669b1
--- /dev/null
+++ b/debian/lambdacan.default.ex
@@ -0,0 +1,10 @@
+# Defaults for lambdacan initscript
+# sourced by /etc/init.d/lambdacan
+# installed at /etc/default/lambdacan by the maintainer scripts
+
+#
+# This is a POSIX shell fragment
+#
+
+# Additional options that are passed to the Daemon.
+DAEMON_OPTS=""
diff --git a/debian/lambdacan.doc-base.EX b/debian/lambdacan.doc-base.EX
new file mode 100644
index 0000000..050f811
--- /dev/null
+++ b/debian/lambdacan.doc-base.EX
@@ -0,0 +1,20 @@
+Document: lambdacan
+Title: Debian lambdacan Manual
+Author: Tim Fraser
+Abstract: This manual describes what lambdacan is
+ and how it can be used to
+ manage online manuals on Debian systems.
+Section: unknown
+
+Format: debiandoc-sgml
+Files: /usr/share/doc/lambdacan/lambdacan.sgml.gz
+
+Format: postscript
+Files: /usr/share/doc/lambdacan/lambdacan.ps.gz
+
+Format: text
+Files: /usr/share/doc/lambdacan/lambdacan.text.gz
+
+Format: HTML
+Index: /usr/share/doc/lambdacan/html/index.html
+Files: /usr/share/doc/lambdacan/html/*.html
diff --git a/debian/lambdacan.manpages b/debian/lambdacan.manpages
new file mode 100644
index 0000000..6356553
--- /dev/null
+++ b/debian/lambdacan.manpages
@@ -0,0 +1 @@
+debian/lambdacan.1
diff --git a/debian/lambdacan.substvars b/debian/lambdacan.substvars
new file mode 100644
index 0000000..1b07c40
--- /dev/null
+++ b/debian/lambdacan.substvars
@@ -0,0 +1,2 @@
+shlibs:Depends=libc6 (>= 2.2.5)
+misc:Depends=
diff --git a/debian/lambdacan/DEBIAN/control b/debian/lambdacan/DEBIAN/control
new file mode 100644
index 0000000..9fbb360
--- /dev/null
+++ b/debian/lambdacan/DEBIAN/control
@@ -0,0 +1,23 @@
+Package: lambdacan
+Version: 2.0-1
+Architecture: amd64
+Maintainer: debian-edu-pkg-team <debian-edu-pkg-team at lists.alioth.debian.org>
+Installed-Size: 53
+Depends: libc6 (>= 2.2.5)
+Section: math
+Priority: extra
+Homepage: http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan.html
+Description: Project LambdaCan implements a reducer for the Lambda Calculus.
+ Project LambdaCan is an amusing exercise in absurdity.
+ It implements a reducer (interpreter) for the Lambda Calculus,
+ formal system (programming language) developed by Alonzo Church in
+ the 1930's to attack the deepest mathematical problem of the day.
+ This was the Entscheidungsproblem, the question of whether or not
+ there exists an algorithm capable of
+ deciding the truth or falsehood of all statements in mathematics.
+ Project LambdaCan takes this tool for exploring the most profound
+ mathematical problems and implements it on a
+ microcontroller better suited to the most mundane of tasks,
+ like running a vending machine or microwave oven.
+ And it sticks the microcontroller in a can that you can connect to
+ your PC using a USB cable.
diff --git a/debian/lambdacan/DEBIAN/md5sums b/debian/lambdacan/DEBIAN/md5sums
new file mode 100644
index 0000000..e9edc9a
--- /dev/null
+++ b/debian/lambdacan/DEBIAN/md5sums
@@ -0,0 +1,5 @@
+05e5ae1613f9fa05c1a7b398d3c6cc71 usr/bin/lci
+8910170740df32480f25ae343aa860df usr/share/doc/lambdacan/README
+ea49e02a2112d0c7ef3a40bbb13f2134 usr/share/doc/lambdacan/changelog.Debian.gz
+3cc62874299778ee66a4820f68b8863e usr/share/doc/lambdacan/copyright
+7609a8bd441dd29f3ae32157dd5e618c usr/share/man/man1/lambdacan.1.gz
diff --git a/debian/lambdacan/usr/bin/lci b/debian/lambdacan/usr/bin/lci
new file mode 100755
index 0000000..9bc9de8
Binary files /dev/null and b/debian/lambdacan/usr/bin/lci differ
diff --git a/README b/debian/lambdacan/usr/share/doc/lambdacan/README
similarity index 100%
copy from README
copy to debian/lambdacan/usr/share/doc/lambdacan/README
diff --git a/debian/lambdacan/usr/share/doc/lambdacan/changelog.Debian.gz b/debian/lambdacan/usr/share/doc/lambdacan/changelog.Debian.gz
new file mode 100644
index 0000000..70e83d0
Binary files /dev/null and b/debian/lambdacan/usr/share/doc/lambdacan/changelog.Debian.gz differ
diff --git a/debian/lambdacan/usr/share/doc/lambdacan/copyright b/debian/lambdacan/usr/share/doc/lambdacan/copyright
new file mode 100644
index 0000000..436067d
--- /dev/null
+++ b/debian/lambdacan/usr/share/doc/lambdacan/copyright
@@ -0,0 +1,29 @@
+Format: http://dep.debian.net/deps/dep5
+Upstream-Name: lambdacan
+Source: http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan.html
+
+Files: *
+Copyright: 2008 Tim Fraser <tfraser at alum.wpi.edu>>
+License: GPL-3.0+
+
+Files: debian/*
+Copyright: 2012 Anthony Gasperin <anthony.gasperin at gmail.com>
+License: GPL-3.0+
+
+License: GPL-3.0+
+ 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 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, see <http://www.gnu.org/licenses/>.
+ .
+ On Debian systems, the complete text of the GNU General
+ Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
+
diff --git a/debian/lambdacan/usr/share/man/man1/lambdacan.1.gz b/debian/lambdacan/usr/share/man/man1/lambdacan.1.gz
new file mode 100644
index 0000000..f64d14d
Binary files /dev/null and b/debian/lambdacan/usr/share/man/man1/lambdacan.1.gz differ
diff --git a/debian/manpage.1.ex b/debian/manpage.1.ex
new file mode 100644
index 0000000..99afd65
--- /dev/null
+++ b/debian/manpage.1.ex
@@ -0,0 +1,59 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH LAMBDACAN SECTION "July 15, 2012"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh disable hyphenation
+.\" .hy enable hyphenation
+.\" .ad l left justify
+.\" .ad b justify to both left and right margins
+.\" .nf disable filling
+.\" .fi enable filling
+.\" .br insert line break
+.\" .sp <n> insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+lambdacan \- Lambda-calculus interpreter
+.SH SYNOPSIS
+.B lambdacan
+.RI [ options ] " files" ...
+.br
+.B bar
+.RI [ options ] " files" ...
+.SH DESCRIPTION
+This manual page documents briefly the
+.B lambdacan
+and
+.B bar
+commands.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics,
+.\" respectively.
+\fBlambdacan\fP is a program that...
+.SH OPTIONS
+These programs follow the usual GNU command line syntax, with long
+options starting with two dashes (`-').
+A summary of options is included below.
+For a complete description, see the Info files.
+.TP
+.B \-h, \-\-help
+Show summary of options.
+.TP
+.B \-v, \-\-version
+Show version of program.
+.SH SEE ALSO
+.BR bar (1),
+.BR baz (1).
+.br
+The programs are documented fully by
+.IR "The Rise and Fall of a Fooish Bar" ,
+available via the Info system.
+.SH AUTHOR
+lambdacan was written by Tim Fraser.
+.PP
+This manual page was written by Anthony Gasperin <anthony.gasperin at gmail.com>,
+for the Debian project (and may be used by others).
diff --git a/debian/manpage.sgml.ex b/debian/manpage.sgml.ex
new file mode 100644
index 0000000..346f051
--- /dev/null
+++ b/debian/manpage.sgml.ex
@@ -0,0 +1,154 @@
+<!doctype refentry PUBLIC "-//OASIS//DTD DocBook V4.1//EN" [
+
+<!-- Process this file with docbook-to-man to generate an nroff manual
+ page: `docbook-to-man manpage.sgml > manpage.1'. You may view
+ the manual page with: `docbook-to-man manpage.sgml | nroff -man |
+ less'. A typical entry in a Makefile or Makefile.am is:
+
+manpage.1: manpage.sgml
+ docbook-to-man $< > $@
+
+
+ The docbook-to-man binary is found in the docbook-to-man package.
+ Please remember that if you create the nroff version in one of the
+ debian/rules file targets (such as build), you will need to include
+ docbook-to-man in your Build-Depends control field.
+
+ -->
+
+ <!-- Fill in your name for FIRSTNAME and SURNAME. -->
+ <!ENTITY dhfirstname "<firstname>FIRSTNAME</firstname>">
+ <!ENTITY dhsurname "<surname>SURNAME</surname>">
+ <!-- Please adjust the date whenever revising the manpage. -->
+ <!ENTITY dhdate "<date>June 17, 2012</date>">
+ <!-- SECTION should be 1-8, maybe w/ subsection other parameters are
+ allowed: see man(7), man(1). -->
+ <!ENTITY dhsection "<manvolnum>SECTION</manvolnum>">
+ <!ENTITY dhemail "<email>anthony.gasperin at gmail.com</email>">
+ <!ENTITY dhusername "Anthony Gasperin">
+ <!ENTITY dhucpackage "<refentrytitle>LAMBDACAN</refentrytitle>">
+ <!ENTITY dhpackage "lambdacan">
+
+ <!ENTITY debian "<productname>Debian</productname>">
+ <!ENTITY gnu "<acronym>GNU</acronym>">
+ <!ENTITY gpl "&gnu; <acronym>GPL</acronym>">
+]>
+
+<refentry>
+ <refentryinfo>
+ <address>
+ &dhemail;
+ </address>
+ <author>
+ &dhfirstname;
+ &dhsurname;
+ </author>
+ <copyright>
+ <year>2003</year>
+ <holder>&dhusername;</holder>
+ </copyright>
+ &dhdate;
+ </refentryinfo>
+ <refmeta>
+ &dhucpackage;
+
+ &dhsection;
+ </refmeta>
+ <refnamediv>
+ <refname>&dhpackage;</refname>
+
+ <refpurpose>program to do something</refpurpose>
+ </refnamediv>
+ <refsynopsisdiv>
+ <cmdsynopsis>
+ <command>&dhpackage;</command>
+
+ <arg><option>-e <replaceable>this</replaceable></option></arg>
+
+ <arg><option>--example <replaceable>that</replaceable></option></arg>
+ </cmdsynopsis>
+ </refsynopsisdiv>
+ <refsect1>
+ <title>DESCRIPTION</title>
+
+ <para>This manual page documents briefly the
+ <command>&dhpackage;</command> and <command>bar</command>
+ commands.</para>
+
+ <para>This manual page was written for the &debian; distribution
+ because the original program does not have a manual page.
+ Instead, it has documentation in the &gnu;
+ <application>Info</application> format; see below.</para>
+
+ <para><command>&dhpackage;</command> is a program that...</para>
+
+ </refsect1>
+ <refsect1>
+ <title>OPTIONS</title>
+
+ <para>These programs follow the usual &gnu; command line syntax,
+ with long options starting with two dashes (`-'). A summary of
+ options is included below. For a complete description, see the
+ <application>Info</application> files.</para>
+
+ <variablelist>
+ <varlistentry>
+ <term><option>-h</option>
+ <option>--help</option>
+ </term>
+ <listitem>
+ <para>Show summary of options.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-v</option>
+ <option>--version</option>
+ </term>
+ <listitem>
+ <para>Show version of program.</para>
+ </listitem>
+ </varlistentry>
+ </variablelist>
+ </refsect1>
+ <refsect1>
+ <title>SEE ALSO</title>
+
+ <para>bar (1), baz (1).</para>
+
+ <para>The programs are documented fully by <citetitle>The Rise and
+ Fall of a Fooish Bar</citetitle> available via the
+ <application>Info</application> system.</para>
+ </refsect1>
+ <refsect1>
+ <title>AUTHOR</title>
+
+ <para>This manual page was written by &dhusername; &dhemail; for
+ the &debian; system (and 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 2 any
+ later version published by the Free Software Foundation.
+ </para>
+ <para>
+ On Debian systems, the complete text of the GNU General Public
+ License can be found in /usr/share/common-licenses/GPL.
+ </para>
+
+ </refsect1>
+</refentry>
+
+<!-- Keep this comment at the end of the file
+Local variables:
+mode: sgml
+sgml-omittag:t
+sgml-shorttag:t
+sgml-minimize-attributes:nil
+sgml-always-quote-attributes:t
+sgml-indent-step:2
+sgml-indent-data:t
+sgml-parent-document:nil
+sgml-default-dtd-file:nil
+sgml-exposed-tags:nil
+sgml-local-catalogs:nil
+sgml-local-ecat-files:nil
+End:
+-->
diff --git a/debian/manpage.xml.ex b/debian/manpage.xml.ex
new file mode 100644
index 0000000..da9128f
--- /dev/null
+++ b/debian/manpage.xml.ex
@@ -0,0 +1,291 @@
+<?xml version='1.0' encoding='UTF-8'?>
+<!DOCTYPE refentry PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
+"http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd" [
+
+<!--
+
+`xsltproc -''-nonet \
+ -''-param man.charmap.use.subset "0" \
+ -''-param make.year.ranges "1" \
+ -''-param make.single.year.ranges "1" \
+ /usr/share/xml/docbook/stylesheet/docbook-xsl/manpages/docbook.xsl \
+ manpage.xml'
+
+A manual page <package>.<section> will be generated. You may view the
+manual page with: nroff -man <package>.<section> | less'. A typical entry
+in a Makefile or Makefile.am is:
+
+DB2MAN = /usr/share/sgml/docbook/stylesheet/xsl/docbook-xsl/manpages/docbook.xsl
+XP = xsltproc -''-nonet -''-param man.charmap.use.subset "0"
+
+manpage.1: manpage.xml
+ $(XP) $(DB2MAN) $<
+
+The xsltproc binary is found in the xsltproc package. The XSL files are in
+docbook-xsl. A description of the parameters you can use can be found in the
+docbook-xsl-doc-* packages. Please remember that if you create the nroff
+version in one of the debian/rules file targets (such as build), you will need
+to include xsltproc and docbook-xsl in your Build-Depends control field.
+Alternatively use the xmlto command/package. That will also automatically
+pull in xsltproc and docbook-xsl.
+
+Notes for using docbook2x: docbook2x-man does not automatically create the
+AUTHOR(S) and COPYRIGHT sections. In this case, please add them manually as
+<refsect1> ... </refsect1>.
+
+To disable the automatic creation of the AUTHOR(S) and COPYRIGHT sections
+read /usr/share/doc/docbook-xsl/doc/manpages/authors.html. This file can be
+found in the docbook-xsl-doc-html package.
+
+Validation can be done using: `xmllint -''-noout -''-valid manpage.xml`
+
+General documentation about man-pages and man-page-formatting:
+man(1), man(7), http://www.tldp.org/HOWTO/Man-Page/
+
+-->
+
+ <!-- Fill in your name for FIRSTNAME and SURNAME. -->
+ <!ENTITY dhfirstname "FIRSTNAME">
+ <!ENTITY dhsurname "SURNAME">
+ <!-- dhusername could also be set to "&dhfirstname; &dhsurname;". -->
+ <!ENTITY dhusername "Anthony Gasperin">
+ <!ENTITY dhemail "anthony.gasperin at gmail.com">
+ <!-- SECTION should be 1-8, maybe w/ subsection other parameters are
+ allowed: see man(7), man(1) and
+ http://www.tldp.org/HOWTO/Man-Page/q2.html. -->
+ <!ENTITY dhsection "SECTION">
+ <!-- TITLE should be something like "User commands" or similar (see
+ http://www.tldp.org/HOWTO/Man-Page/q2.html). -->
+ <!ENTITY dhtitle "lambdacan User Manual">
+ <!ENTITY dhucpackage "LAMBDACAN">
+ <!ENTITY dhpackage "lambdacan">
+]>
+
+<refentry>
+ <refentryinfo>
+ <title>&dhtitle;</title>
+ <productname>&dhpackage;</productname>
+ <authorgroup>
+ <author>
+ <firstname>&dhfirstname;</firstname>
+ <surname>&dhsurname;</surname>
+ <contrib>Wrote this manpage for the Debian system.</contrib>
+ <address>
+ <email>&dhemail;</email>
+ </address>
+ </author>
+ </authorgroup>
+ <copyright>
+ <year>2007</year>
+ <holder>&dhusername;</holder>
+ </copyright>
+ <legalnotice>
+ <para>This manual page was written for the Debian system
+ (and may be used by others).</para>
+ <para>Permission is granted to copy, distribute and/or modify this
+ document under the terms of the GNU General Public License,
+ Version 2 or (at your option) any later version published by
+ the Free Software Foundation.</para>
+ <para>On Debian systems, the complete text of the GNU General Public
+ License can be found in
+ <filename>/usr/share/common-licenses/GPL</filename>.</para>
+ </legalnotice>
+ </refentryinfo>
+ <refmeta>
+ <refentrytitle>&dhucpackage;</refentrytitle>
+ <manvolnum>&dhsection;</manvolnum>
+ </refmeta>
+ <refnamediv>
+ <refname>&dhpackage;</refname>
+ <refpurpose>program to do something</refpurpose>
+ </refnamediv>
+ <refsynopsisdiv>
+ <cmdsynopsis>
+ <command>&dhpackage;</command>
+ <!-- These are several examples, how syntaxes could look -->
+ <arg choice="plain"><option>-e <replaceable>this</replaceable></option></arg>
+ <arg choice="opt"><option>--example=<parameter>that</parameter></option></arg>
+ <arg choice="opt">
+ <group choice="req">
+ <arg choice="plain"><option>-e</option></arg>
+ <arg choice="plain"><option>--example</option></arg>
+ </group>
+ <replaceable class="option">this</replaceable>
+ </arg>
+ <arg choice="opt">
+ <group choice="req">
+ <arg choice="plain"><option>-e</option></arg>
+ <arg choice="plain"><option>--example</option></arg>
+ </group>
+ <group choice="req">
+ <arg choice="plain"><replaceable>this</replaceable></arg>
+ <arg choice="plain"><replaceable>that</replaceable></arg>
+ </group>
+ </arg>
+ </cmdsynopsis>
+ <cmdsynopsis>
+ <command>&dhpackage;</command>
+ <!-- Normally the help and version options make the programs stop
+ right after outputting the requested information. -->
+ <group choice="opt">
+ <arg choice="plain">
+ <group choice="req">
+ <arg choice="plain"><option>-h</option></arg>
+ <arg choice="plain"><option>--help</option></arg>
+ </group>
+ </arg>
+ <arg choice="plain">
+ <group choice="req">
+ <arg choice="plain"><option>-v</option></arg>
+ <arg choice="plain"><option>--version</option></arg>
+ </group>
+ </arg>
+ </group>
+ </cmdsynopsis>
+ </refsynopsisdiv>
+ <refsect1 id="description">
+ <title>DESCRIPTION</title>
+ <para>This manual page documents briefly the
+ <command>&dhpackage;</command> and <command>bar</command>
+ commands.</para>
+ <para>This manual page was written for the Debian distribution
+ because the original program does not have a manual page.
+ Instead, it has documentation in the GNU <citerefentry>
+ <refentrytitle>info</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry> format; see below.</para>
+ <para><command>&dhpackage;</command> is a program that...</para>
+ </refsect1>
+ <refsect1 id="options">
+ <title>OPTIONS</title>
+ <para>The program follows the usual GNU command line syntax,
+ with long options starting with two dashes (`-'). A summary of
+ options is included below. For a complete description, see the
+ <citerefentry>
+ <refentrytitle>info</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry> files.</para>
+ <variablelist>
+ <!-- Use the variablelist.term.separator and the
+ variablelist.term.break.after parameters to
+ control the term elements. -->
+ <varlistentry>
+ <term><option>-e <replaceable>this</replaceable></option></term>
+ <term><option>--example=<replaceable>that</replaceable></option></term>
+ <listitem>
+ <para>Does this and that.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-h</option></term>
+ <term><option>--help</option></term>
+ <listitem>
+ <para>Show summary of options.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><option>-v</option></term>
+ <term><option>--version</option></term>
+ <listitem>
+ <para>Show version of program.</para>
+ </listitem>
+ </varlistentry>
+ </variablelist>
+ </refsect1>
+ <refsect1 id="files">
+ <title>FILES</title>
+ <variablelist>
+ <varlistentry>
+ <term><filename>/etc/foo.conf</filename></term>
+ <listitem>
+ <para>The system-wide configuration file to control the
+ behaviour of <application>&dhpackage;</application>. See
+ <citerefentry>
+ <refentrytitle>foo.conf</refentrytitle>
+ <manvolnum>5</manvolnum>
+ </citerefentry> for further details.</para>
+ </listitem>
+ </varlistentry>
+ <varlistentry>
+ <term><filename>${HOME}/.foo.conf</filename></term>
+ <listitem>
+ <para>The per-user configuration file to control the
+ behaviour of <application>&dhpackage;</application>. See
+ <citerefentry>
+ <refentrytitle>foo.conf</refentrytitle>
+ <manvolnum>5</manvolnum>
+ </citerefentry> for further details.</para>
+ </listitem>
+ </varlistentry>
+ </variablelist>
+ </refsect1>
+ <refsect1 id="environment">
+ <title>ENVIRONMENT</title>
+ <variablelist>
+ <varlistentry>
+ <term><envar>FOO_CONF</envar></term>
+ <listitem>
+ <para>If used, the defined file is used as configuration
+ file (see also <xref linkend="files"/>).</para>
+ </listitem>
+ </varlistentry>
+ </variablelist>
+ </refsect1>
+ <refsect1 id="diagnostics">
+ <title>DIAGNOSTICS</title>
+ <para>The following diagnostics may be issued
+ on <filename class="devicefile">stderr</filename>:</para>
+ <variablelist>
+ <varlistentry>
+ <term><errortext>Bad configuration file. Exiting.</errortext></term>
+ <listitem>
+ <para>The configuration file seems to contain a broken configuration
+ line. Use the <option>--verbose</option> option, to get more info.
+ </para>
+ </listitem>
+ </varlistentry>
+ </variablelist>
+ <para><command>&dhpackage;</command> provides some return codes, that can
+ be used in scripts:</para>
+ <segmentedlist>
+ <segtitle>Code</segtitle>
+ <segtitle>Diagnostic</segtitle>
+ <seglistitem>
+ <seg><errorcode>0</errorcode></seg>
+ <seg>Program exited successfully.</seg>
+ </seglistitem>
+ <seglistitem>
+ <seg><errorcode>1</errorcode></seg>
+ <seg>The configuration file seems to be broken.</seg>
+ </seglistitem>
+ </segmentedlist>
+ </refsect1>
+ <refsect1 id="bugs">
+ <!-- Or use this section to tell about upstream BTS. -->
+ <title>BUGS</title>
+ <para>The program is currently limited to only work
+ with the <package>foobar</package> library.</para>
+ <para>The upstreams <acronym>BTS</acronym> can be found
+ at <ulink url="http://bugzilla.foo.tld"/>.</para>
+ </refsect1>
+ <refsect1 id="see_also">
+ <title>SEE ALSO</title>
+ <!-- In alpabetical order. -->
+ <para><citerefentry>
+ <refentrytitle>bar</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry>, <citerefentry>
+ <refentrytitle>baz</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry>, <citerefentry>
+ <refentrytitle>foo.conf</refentrytitle>
+ <manvolnum>5</manvolnum>
+ </citerefentry></para>
+ <para>The programs are documented fully by <citetitle>The Rise and
+ Fall of a Fooish Bar</citetitle> available via the <citerefentry>
+ <refentrytitle>info</refentrytitle>
+ <manvolnum>1</manvolnum>
+ </citerefentry> system.</para>
+ </refsect1>
+</refentry>
+
diff --git a/debian/menu.ex b/debian/menu.ex
new file mode 100644
index 0000000..50a1729
--- /dev/null
+++ b/debian/menu.ex
@@ -0,0 +1,2 @@
+?package(lambdacan):needs="X11|text|vc|wm" section="Applications/see-menu-manual"\
+ title="lambdacan" command="/usr/bin/lambdacan"
diff --git a/debian/postinst.ex b/debian/postinst.ex
new file mode 100644
index 0000000..064a19e
--- /dev/null
+++ b/debian/postinst.ex
@@ -0,0 +1,39 @@
+#!/bin/sh
+# postinst script for lambdacan
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <postinst> `configure' <most-recently-configured-version>
+# * <old-postinst> `abort-upgrade' <new version>
+# * <conflictor's-postinst> `abort-remove' `in-favour' <package>
+# <new-version>
+# * <postinst> `abort-remove'
+# * <deconfigured's-postinst> `abort-deconfigure' `in-favour'
+# <failed-install-package> <version> `removing'
+# <conflicting-package> <version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ configure)
+ ;;
+
+ abort-upgrade|abort-remove|abort-deconfigure)
+ ;;
+
+ *)
+ echo "postinst called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
diff --git a/debian/postrm.ex b/debian/postrm.ex
new file mode 100644
index 0000000..cabd8cb
--- /dev/null
+++ b/debian/postrm.ex
@@ -0,0 +1,37 @@
+#!/bin/sh
+# postrm script for lambdacan
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <postrm> `remove'
+# * <postrm> `purge'
+# * <old-postrm> `upgrade' <new-version>
+# * <new-postrm> `failed-upgrade' <old-version>
+# * <new-postrm> `abort-install'
+# * <new-postrm> `abort-install' <old-version>
+# * <new-postrm> `abort-upgrade' <old-version>
+# * <disappearer's-postrm> `disappear' <overwriter>
+# <overwriter-version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ purge|remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
+ ;;
+
+ *)
+ echo "postrm called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
diff --git a/debian/preinst.ex b/debian/preinst.ex
new file mode 100644
index 0000000..6a655b5
--- /dev/null
+++ b/debian/preinst.ex
@@ -0,0 +1,35 @@
+#!/bin/sh
+# preinst script for lambdacan
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <new-preinst> `install'
+# * <new-preinst> `install' <old-version>
+# * <new-preinst> `upgrade' <old-version>
+# * <old-preinst> `abort-upgrade' <new-version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ install|upgrade)
+ ;;
+
+ abort-upgrade)
+ ;;
+
+ *)
+ echo "preinst called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
diff --git a/debian/prerm.ex b/debian/prerm.ex
new file mode 100644
index 0000000..6050842
--- /dev/null
+++ b/debian/prerm.ex
@@ -0,0 +1,38 @@
+#!/bin/sh
+# prerm script for lambdacan
+#
+# see: dh_installdeb(1)
+
+set -e
+
+# summary of how this script can be called:
+# * <prerm> `remove'
+# * <old-prerm> `upgrade' <new-version>
+# * <new-prerm> `failed-upgrade' <old-version>
+# * <conflictor's-prerm> `remove' `in-favour' <package> <new-version>
+# * <deconfigured's-prerm> `deconfigure' `in-favour'
+# <package-being-installed> <version> `removing'
+# <conflicting-package> <version>
+# for details, see http://www.debian.org/doc/debian-policy/ or
+# the debian-policy package
+
+
+case "$1" in
+ remove|upgrade|deconfigure)
+ ;;
+
+ failed-upgrade)
+ ;;
+
+ *)
+ echo "prerm called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..98b91af
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,21 @@
+#!/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
+clean:
+ ${MAKE} -f Makefile-posix clean
+ dh_testdir
+ dh_auto_clean
+ dh_clean
+build:
+ ${MAKE} -f Makefile-posix
+%:
+ dh $@
+
+
diff --git a/debian/rules.back b/debian/rules.back
new file mode 100755
index 0000000..fec5608
--- /dev/null
+++ b/debian/rules.back
@@ -0,0 +1,13 @@
+#!/usr/bin/make -f Makefile-posix
+# -*- 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
+
+%:
+ dh $@
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.ex b/debian/watch.ex
new file mode 100644
index 0000000..0b8533d
--- /dev/null
+++ b/debian/watch.ex
@@ -0,0 +1,24 @@
+# Example watch control file for uscan
+# Rename this file to "watch" and then you can run the "uscan" command
+# to check for upstream updates and more.
+# See uscan(1) for format
+
+# Compulsory line, this is a version 3 file
+version=3
+http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan-v(.+)\.tar\.gz
+
+# Uncomment to examine a Webpage
+# <Webpage URL> <string match>
+#http://www.example.com/downloads.php lambdacan-(.*)\.tar\.gz
+
+# Uncomment to examine a Webserver directory
+#http://www.example.com/pub/lambdacan-(.*)\.tar\.gz
+
+# Uncommment to examine a FTP server
+#ftp://ftp.example.com/pub/lambdacan-(.*)\.tar\.gz debian uupdate
+
+# Uncomment to find new files on sourceforge, for devscripts >= 2.9
+# http://sf.net/lambdacan/lambdacan-(.*)\.tar\.gz
+
+# Uncomment to find new files on GooglePages
+# http://example.googlepages.com/foo.html lambdacan-(.*)\.tar\.gz
diff --git a/lci b/lci
new file mode 100755
index 0000000..7c5c999
Binary files /dev/null and b/lci differ
diff --git a/lci_ast.o b/lci_ast.o
new file mode 100644
index 0000000..a27870b
Binary files /dev/null and b/lci_ast.o differ
diff --git a/lci_main.o b/lci_main.o
new file mode 100644
index 0000000..2f4f2ab
Binary files /dev/null and b/lci_main.o differ
diff --git a/lci_parse.o b/lci_parse.o
new file mode 100644
index 0000000..689a9e3
Binary files /dev/null and b/lci_parse.o differ
diff --git a/lci_reduce.o b/lci_reduce.o
new file mode 100644
index 0000000..4d96be7
Binary files /dev/null and b/lci_reduce.o differ
diff --git a/lci_var.o b/lci_var.o
new file mode 100644
index 0000000..ab0276c
Binary files /dev/null and b/lci_var.o differ
hooks/post-receive
--
lambdacan.git (Debian package lambdacan)
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "lambdacan.git" (Debian package lambdacan).
More information about the debian-edu-commits
mailing list