[debian-edu-commits] debian-edu/lambdacan.git (#2) - 2.0-1 (branch) updated: upstream/2.0-1-g4954740
anthony gasperin
nyothan-guest at alioth.debian.org
Mon Aug 26 21:29:24 UTC 2013
The branch, 2.0-1 has been updated
via 495474056f9b8b1e484aea9f15400247c34323ce (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 495474056f9b8b1e484aea9f15400247c34323ce
Author: Anthony Gasperin <anthony.gasperin at gmail.com>
Date: Mon Aug 26 23:21:32 2013 +0200
something missing
-----------------------------------------------------------------------
Summary of changes:
debian/README.source | 9 ++++++++
debian/changelog | 5 +++++
debian/compat | 1 +
debian/control | 27 +++++++++++++++++++++++
debian/copyright | 29 ++++++++++++++++++++++++
debian/docs | 1 +
debian/lambdacan.1 | 60 ++++++++++++++++++++++++++++++++++++++++++++++++++
debian/menu | 3 +++
debian/rules | 21 ++++++++++++++++++
debian/source/format | 1 +
debian/watch | 24 ++++++++++++++++++++
11 files changed, 181 insertions(+)
create mode 100644 debian/README.source
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/lambdacan.1
create mode 100644 debian/menu
create mode 100755 debian/rules
create mode 100644 debian/source/format
create mode 100644 debian/watch
The diff of changes is:
diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..d82071a
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,9 @@
+lambdacan-2.0 for Debian
+------------------------
+
+<this file describes information about the source package, see Debian policy
+manual section 4.14. You WILL either need to modify or delete this file>
+
+
+
+
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..943c120
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+lambdacan-2.0 (1-1) unstable; urgency=low
+
+ * Initial release (Closes: #688901)
+
+ -- Anthony Gasperin <anthony.gasperin at gmail.com> Tue, 26 Mar 2013 15:23:10 +0100
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..b654ad2
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,27 @@
+Source: lambdacan-2.0
+Section: math
+Priority: extra
+Maintainer: Anthony Gasperin <anthony.gasperin at gmail.com>
+Build-Depends: debhelper (>= 8.0.0)
+Standards-Version: 3.9.4
+Homepage:http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan.html
+#Vcs-Git: git://git.debian.org/collab-maint/lambdacan-2.0.git
+#Vcs-Browser: http://git.debian.org/?p=collab-maint/lambdacan-2.0.git;a=summary
+
+Package: lambdacan-2.0
+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 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/lambdacan.1 b/debian/lambdacan.1
new file mode 100644
index 0000000..ee8cfc2
--- /dev/null
+++ b/debian/lambdacan.1
@@ -0,0 +1,60 @@
+.\" Hey, EMACS: -*- nroff -*-
+.\" (C) Copyright 2013 Anthony Gasperin <anthony.gasperin at gmail.com>,
+.\"
+.\" 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-2.0 SECTION "March 26, 2013"
+.\" 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-2.0 \- program to do something
+.SH SYNOPSIS
+.B lambdacan-2.0
+.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
+
+
+.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.
+
+.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.
diff --git a/debian/menu b/debian/menu
new file mode 100644
index 0000000..16ea652
--- /dev/null
+++ b/debian/menu
@@ -0,0 +1,3 @@
+?package(lambdacan): needs="text" \
+ section="Applications/Science/Mathematics" \
+ title="lambdacan" command="/usr/bin/lci"
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/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 b/debian/watch
new file mode 100644
index 0000000..0b8533d
--- /dev/null
+++ b/debian/watch
@@ -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
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