-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 07 Mar 2008 19:25:20 +0100
Source: lua-leg
Binary: liblua5.1-leg0 liblua5.1-leg-dev
Architecture: source all
Version: 0.1.2-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 13 Dec 2007 11:32:38 +0100
Source: lua-lpeg
Binary: liblua5.1-lpeg1 liblua5.1-lpeg-dev
Architecture: source amd64
Version: 0.8-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 05 Mar 2008 10:45:40 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080303-2
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 03 Mar 2008 23:40:03 +0100
Source: luarocks
Binary: luarocks
Architecture: source all
Version: 0.4.3-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED
]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
matita - interactive theorem prover
matita-standard-library - standard library for the Matita interactive theorem
prover
Changes:
matita (0.4.98-7) unstable; urgency=medium
.
* Added dependency on the bytecode interpreted (ocaml-base
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 03 Mar 2008 23:09:38 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080303-1
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 01 Mar 2008 14:01:42 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080301-1
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 27 Feb 2008 13:03:40 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080222-5
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 26 Feb 2008 19:37:50 +0100
Source: lua-posix
Binary: liblua5.1-posix1 liblua5.1-posix-dev
Architecture: source amd64
Version: 5.1.2-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 26 Feb 2008 20:08:09 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080222-4
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 25 Feb 2008 09:18:13 +0100
Source: lua-markdown
Binary: liblua5.1-markdown0
Architecture: source all
Version: 0.30-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 24 Feb 2008 16:35:29 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080222-3
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 24 Feb 2008 11:31:11 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080222-1
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 24 Feb 2008 12:33:47 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080222-2
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 26 Jan 2008 19:08:01 +0100
Source: lua-markdown
Binary: liblua5.1-markdown0
Architecture: source all
Version: 0.29-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
Architecture: source all amd64
Version: 2.1.1-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-sql-doc - luasql documentation
liblua5.1-sql-mysql-2 - luasql library for the lua language version 5.1
liblua5.1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 12 Feb 2008 13:49:12 +0100
Source: lua-posix
Binary: liblua5.1-posix1 liblua5.1-posix-dev
Architecture: source amd64
Version: 5.1.2-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
: low
Maintainer: Victor Seva [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
linux-wlan-ng - utilities for wireless prism2 cards
linux-wlan-ng-doc - documentation for wlan-ng
linux-wlan-ng-firmware - firmware files used by the linux-wlan-ng driver
linux-wlan-ng-source
are scheduled
and I'll read the link Aj provided.
Cheers
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 16 Feb 2008 18:44:39 +0100
Source: lua-rings
Binary: liblua5.1-rings0 liblua5.1-rings-dev
Architecture: source amd64
Version: 1.2.0-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
, the uploaded debs are not useless.
You may debdiff them and eventually informe the developer that:
- his build environment is corrupted (or the buildd's one)
- his package build process is installation sensitive (behaves
differently on a different installation).
Cheers
--
Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 14 Feb 2008 10:06:29 +0100
Source: lua-filesystem
Binary: liblua5.1-filesystem0 liblua5.1-filesystem-dev
Architecture: source amd64
Version: 1.4.0-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED
, and the documentation for luarocks, describing the command line
tools as well as the library to manipulate rocks.
The package is already almost-in-shape at
Vcs-Svn: svn://svn.debian.org/pkg-lua/packages/luarocks
Vcs-Browser: http://svn.debian.org/viewsvn/pkg-lua/packages/luarocks
Cheers
--
Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 09 Feb 2008 20:56:19 +0100
Source: ulex0.8
Binary: ocaml-ulex08
Architecture: source amd64
Version: 0.8-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 09 Feb 2008 16:56:39 +0100
Source: ocurl
Binary: libcurl-ocaml-dev libcurl-ocaml
Architecture: source amd64
Version: 0.2.1-13
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 09 Feb 2008 16:45:17 +0100
Source: ocaml-expat
Binary: libexpat-ocaml-dev libexpat-ocaml
Architecture: source amd64
Version: 0.9.1+debian1-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
: low
Maintainer: Victor Seva [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
linux-wlan-ng - utilities for wireless prism2 cards
linux-wlan-ng-doc - documentation for wlan-ng
linux-wlan-ng-firmware - firmware files used by the linux-wlan-ng driver
linux-wlan-ng-source
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 26 Jan 2008 18:51:32 +0100
Source: lua-cosmo
Binary: liblua5.1-cosmo0
Architecture: source all
Version: 8.01.26-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 27 Dec 2007 17:33:24 +0100
Source: lua-md5
Binary: liblua5.1-md5-0 liblua5.1-md5-dev
Architecture: source amd64
Version: 1.1.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 26 Jan 2008 18:34:40 +0100
Source: lua-markdown
Binary: liblua5.1-markdown0
Architecture: source all
Version: 0.13-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 03 Feb 2008 19:23:59 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.7-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 03 Feb 2008 19:17:44 +0100
Source: cmph
Binary: libcmph0 libcmph-dev libcmph-bin
Architecture: source amd64
Version: 0.7-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 09 Dec 2007 18:17:13 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.7-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 30 Jan 2008 10:02:55 +0100
Source: lua-bit
Binary: liblua5.1-bit0 liblua5.1-bit-dev
Architecture: source amd64
Version: 25~svn20080130-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 30 Jan 2008 10:04:20 +0100
Source: lua-bit
Binary: liblua5.1-bit0 liblua5.1-bit-dev
Architecture: source amd64
Version: 25-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
: MIT/X
Description:
Cosmo is a safe templates engine that supports simple text
substitution and iteration.
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
.
Cheera
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
[EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-0 - Simple, extensible, embeddable programming language
liblua5.1-0-dbg - Simple, extensible, embeddable programming language
liblua5.1-0-dev - Simple, extensible, embeddable programming language
lua5.1
: MIT/X
Description:
This package contains a small crypto library for Lua.
It comprises the MD5 and the DES56 algorithms.
--
Enrico Tassi
url encoding/decoding) as well as the following backends (server
implementations):
.
- CGI (the regular environment-variables based protocol)
- xavante (for the Xavante web server)
- fastcgi
--
Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 21 Jan 2008 21:21:48 +0100
Source: shake
Binary: shake
Architecture: source all
Version: 1.0.1-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 19 Jan 2008 17:21:51 +0100
Source: shake
Binary: shake
Architecture: source all
Version: 1.0.1-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 19 Jan 2008 21:21:13 +0100
Source: lua-bit
Binary: liblua5.1-bit-dev liblua5.1-bit0
Architecture: source amd64
Version: 25~svn20080119-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-By: Enrico Tassi [EMAIL PROTECTED]
Description:
widelands - fantasy real-time strategy game
widelands-data - fantasy real-time strategy game (data files)
widelands-dbg - fantasy real-time strategy game (debug cruft)
Changes:
widelands (1:11-1) unstable; urgency=low
.
* New upstream
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 20 Jan 2008 01:11:19 +0100
Source: lua-bit
Binary: liblua5.1-bit-dev liblua5.1-bit0
Architecture: source amd64
Version: 25~svn20080119-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-sql-doc - luasql documentation
liblua5.1-sql-mysql-2 - luasql library for the lua language version 5.1
liblua5.1-sql-mysql-dev - luasql development files for the lua
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 04 Jan 2008 11:39:38 +0100
Source: lua-bit
Binary: liblua5.1-bit-dev liblua5.1-bit0
Architecture: source amd64
Version: 25~svn20080104-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 24 Dec 2007 22:16:21 +0100
Source: lua-bit
Binary: liblua5.1-bit-dev liblua5.1-bit0
Architecture: source amd64
Version: 25~svn20071229-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 12 Dec 2007 19:21:26 +0100
Source: lua5.1-policy
Binary: lua5.1-policy-dev lua5.1-policy
Architecture: source all
Version: 18
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua-socket-doc - TCP/UDP socket library for Lua documentation
liblua5.1-socket-dev - TCP/UDP socket library for Lua 5.1
liblua5.1-socket2 - TCP/UDP socket library
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 20 Dec 2007 14:51:12 +0100
Source: shake
Binary: shake
Architecture: source all
Version: 1.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 24 Dec 2007 18:01:50 +0100
Source: lua-bit
Binary: liblua5.1-bit-dev liblua5.1-bit0
Architecture: source amd64
Version: 24-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 29 Nov 2007 11:31:52 +0100
Source: cmph
Binary: libcmph-dev libcmph0 libcmph-bin
Architecture: source amd64
Version: 0.7-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 22 Dec 2007 13:37:18 +0100
Source: lua-leg
Binary: liblua5.1-leg-dev liblua5.1-leg0
Architecture: source all
Version: 0.1.2-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 19 Dec 2007 19:53:50 +0100
Source: lua-leg
Binary: liblua5.1-leg-dev liblua5.1-leg0
Architecture: source all
Version: 0.1.2-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 11 Dec 2007 14:26:43 +0100
Source: lua-lpeg
Binary: liblua5.1-lpeg-dev liblua5.1-lpeg0
Architecture: source amd64
Version: 0.7-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
:
This package contains the bindings for the gtk library
for the lua language version 5.1
The package is almost in shape, and can be built downloading
it from the svn repository:
svn://svn.debian.org/pkg-lua/packages/lua-gtk
Cheers
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL
If you are inpatient, or want to test it before it passes the new queue,
you can use the following svn repository:
svn co svn://svn.debian.org/pkg-lua/packages/lua-lpeg
Cheers.
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact
On Thu, Dec 13, 2007 at 11:39:43AM +0100, Enrico Tassi wrote:
On Thu, Dec 13, 2007 at 04:17:48PM +0900, Miles Bader wrote:
If you are inpatient, or want to test it before it passes the new queue,
Oops, I've just discovered that inpatient means something completely
different then the Italian
On Wed, Dec 12, 2007 at 05:29:28PM +0900, Miles Bader wrote:
Enrico Tassi [EMAIL PROTECTED] writes:
Package name: lua-peg
Version: 0.7
Upstream Author: Roberto Ierusalimschy [EMAIL PROTECTED]
URL: http://www.inf.puc-rio.br/~roberto/lpeg.html
License: MIT/X
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 10 Dec 2007 21:40:04 +0100
Source: lua5.1-policy
Binary: lua5.1-policy-dev lua5.1-policy
Architecture: source all
Version: 17
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
for
regular expressions, because they are strictly more powerful. For
example, a regular expression inherently cannot find matched pairs
of parentheses, because it is not recursive, but a PEG can.
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 08 Dec 2007 11:29:31 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-5
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 02 Oct 2007 17:50:11 +0200
Source: lua-bit
Binary: liblua5.1-bit-dev liblua5.1-bit0
Architecture: source amd64
Version: 24-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 05 Dec 2007 13:45:27 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 29 Nov 2007 11:30:03 +0100
Source: cmph
Binary: libcmph-dev libcmph0 libcmph-bin
Architecture: source amd64
Version: 0.7-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 29 Nov 2007 10:41:23 +0100
Source: cmph
Binary: libcmph-dev libcmph0 libcmph-bin
Architecture: source amd64
Version: 0.7-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 04 Dec 2007 16:24:21 +0100
Source: ulex0.8
Binary: ocaml-ulex08
Architecture: source amd64
Version: 0.8-4
Distribution: unstable
Urgency: low
Maintainer: Stefano Zacchiroli [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 01 Dec 2007 17:07:13 +0100
Source: lua-cgi
Binary: liblua5.1-cgi0 liblua5.1-cgi-dev
Architecture: source all
Version: 5.1.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 27 Nov 2007 10:31:55 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 26 Nov 2007 19:14:53 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 20 Nov 2007 13:47:26 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.98-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
: low
Maintainer: Victor Seva [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
linux-wlan-ng - utilities for wireless prism2 cards
linux-wlan-ng-doc - documentation for wlan-ng
linux-wlan-ng-firmware - firmware files used by the linux-wlan-ng driver
linux-wlan-ng-source
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 17 Nov 2007 12:02:24 +0100
Source: lua-zip
Binary: liblua5.1-zip-dev liblua5.1-zip0
Architecture: source amd64
Version: 1.2.3-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 16 Nov 2007 20:37:55 +0100
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.97-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 26 Oct 2007 11:25:03 +0200
Source: matita
Binary: matita matita-standard-library
Architecture: source amd64 all
Version: 0.4.96-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Thu, 25 Oct 2007 17:49:24 +0200
Source: freepops
Binary: freepops-doc freepops-updater-fltk freepops
Architecture: source amd64 all
Version: 0.2.6-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua-socket-doc - TCP/UDP socket library for Lua documentation
liblua5.1-socket-dev - TCP/UDP socket library for Lua 5.1
liblua5.1-socket2 - TCP/UDP socket library
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 12 Nov 2007 20:20:17 +0100
Source: lua-zip
Binary: liblua5.1-zip-dev liblua5.1-zip0
Architecture: source amd64
Version: 1.2.3-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 14 Sep 2007 14:08:20 +0100
Source: lua-doc
Binary: luadoc liblua5.1-doc0
Architecture: source all
Version: 3.0-5
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL
: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-sql-doc - luasql development files for the lua language version 5.1
liblua5.1-sql-mysql-2 - luasql library for the lua language version 5.1
liblua5.1-sql-mysql-dev
: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-sql-doc - luasql development files for the lua language version 5.1
liblua5.1-sql-mysql-2 - luasql library for the lua language version 5.1
liblua5.1-sql-mysql-dev
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 31 Oct 2007 12:54:50 +0100
Source: lua-logging
Binary: liblua5.1-logging-dev liblua5.1-logging
Architecture: source all
Version: 1.1.4-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 29 Oct 2007 12:48:33 +0100
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.2.6-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 27 Oct 2007 13:29:24 +0200
Source: lua-filesystem
Binary: liblua5.1-filesystem-dev liblua5.1-filesystem0
Architecture: source amd64
Version: 1.3.0-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED
. It
supports high quality bidimensional rendering of proofs and formulae
transformed on-the-fly to MathML markup
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
: low
Maintainer: Victor Seva [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
linux-wlan-ng - utilities for wireless prism2 cards
linux-wlan-ng-doc - documentation for wlan-ng
linux-wlan-ng-firmware - firmware files used by the linux-wlan-ng driver
linux-wlan-ng-source
[EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-0 - Simple, extensible, embeddable programming language
liblua5.1-0-dbg - Simple, extensible, embeddable programming language
liblua5.1-0-dev - Simple, extensible, embeddable programming language
lua5.1
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 14 Oct 2007 15:54:37 +0200
Source: lua5.1-policy
Binary: lua5.1-policy-dev lua5.1-policy
Architecture: source all
Version: 16
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 05 Oct 2007 13:56:39 +0200
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.2.5-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi [EMAIL PROTECTED]
Description:
liblua5.1-socket-dev - TCP/UDP socket library for Lua 5.1
liblua5.1-socket2 - TCP/UDP socket library for Lua 5.1
liblua50-socket-dev - TCP/UDP socket library for Lua 5.0
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 05 Oct 2007 13:50:28 +0200
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.2-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 12 Sep 2007 12:10:28 +0100
Source: xavante
Binary: xavante xavante-doc
Architecture: source all
Version: 1.3.2~20070929-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 30 Jul 2007 11:38:16 +0200
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.2-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 30 Jul 2007 11:38:16 +0200
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.2-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed-By: Enrico
with big
entries that cannot fit in the main memory.
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Description: bit manipulation library for lua
This package provides bitwise operations (xor, and, or, shift...)
for lua5.1
Cheers
--
Enrico Tassi
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
for
general files, URI remapping and CGILua scripts
respectively.
The package is already ready:
svn://svn.debian.org/pkg-lua/packages/xavante
Cheers
--
Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 17 Aug 2007 12:03:31 +0200
Source: lua-copas
Binary: liblua5.1-copas0 liblua5.1-copas-dev
Architecture: source all
Version: 1.1.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 28 Jul 2007 16:05:05 +0200
Source: lua-rings
Binary: liblua5.1-rings-dev liblua5.1-rings0
Architecture: source amd64
Version: 1.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi [EMAIL PROTECTED]
Changed
701 - 800 of 970 matches
Mail list logo