-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 28 May 2005 14:31:56 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source powerpc all
Version: 0.0.28-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 1 Jun 2005 18:25:22 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source powerpc all
Version: 0.0.29-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 27 Jun 2005 19:49:02 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source powerpc all
Version: 0.0.30-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 22 Aug 2005 14:05:02 +0200
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source i386
Version: 0.2.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 18 Jul 2005 21:06:21 +0200
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source i386
Version: 0.2.0-4
Distribution: unstable
Urgency: low
Maintainer: [EMAIL PROTECTED]
Changed-By: Enrico Tassi <[EM
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 13 Jul 2005 02:24:55 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source i386 all
Version: 0.0.31-1
Distribution: unstable
Urgency: low
Maintainer: [EMAIL PROTECTED]
Changed-By: Enrico Tassi <[EM
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 17 Jan 2005 17:51:22 +0100
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source powerpc
Version: 0.2.0-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 29 Mar 2005 11:30:45 +0200
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source powerpc
Version: 0.2.0-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 4 Apr 2005 20:40:29 +0200
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source powerpc
Version: 0.2.0-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 23 Jan 2005 16:33:21 +0100
Source: ocaml-expat
Binary: libexpat-ocaml libexpat-ocaml-dev
Architecture: source powerpc
Version: 0.9.0-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 29 Mar 2005 11:32:27 +0100
Source: ocaml-expat
Binary: libexpat-ocaml libexpat-ocaml-dev
Architecture: source powerpc
Version: 0.9.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 30 Jan 2005 18:12:36 +0100
Source: freepops
Binary: freepops-doc freepops
Architecture: source powerpc all
Version: 0.0.24-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 9 Apr 2005 21:02:42 +0200
Source: ocaml-expat
Binary: libexpat-ocaml libexpat-ocaml-dev
Architecture: source powerpc
Version: 0.9.1-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 9 Apr 2005 16:43:38 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source powerpc all
Version: 0.0.27-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 26 Apr 2005 14:28:36 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source powerpc all
Version: 0.0.27-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 11 Oct 2005 14:46:39 +0200
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source i386
Version: 0.2.1-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 19 Oct 2005 23:59:17 +0200
Source: ocurl
Binary: libcurl-ocaml libcurl-ocaml-dev
Architecture: source i386
Version: 0.2.1-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 25 Sep 2005 13:01:39 +0200
Source: freepops
Binary: freepops-doc freepops
Architecture: source i386 all
Version: 0.0.95-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 03 Sep 2008 18:02:21 +0200
Source: luarocks
Binary: luarocks
Architecture: source all
Version: 1.0-1
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL
<[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 lang
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 02 Sep 2008 10:24:47 +0200
Source: lua-gtk
Binary: liblua5.1-gtk-1 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.9+20080901-2
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
C
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 15 Mar 2008 18:10:18 +0100
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.3.0-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 18 Mar 2008 11:04:08 +0100
Source: lua-doc
Binary: liblua5.1-doc0 luadoc
Architecture: source all
Version: 3.0.1-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, 18 Mar 2008 17:12:50 +0100
Source: lua-expat
Binary: liblua5.1-expat0 liblua5.1-expat-dev
Architecture: source amd64
Version: 1.1.0-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 19 Mar 2008 16:48:44 +0100
Source: shake
Binary: shake
Architecture: source all
Version: 1.0.1-4
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 19 Mar 2008 16:39:26 +0100
Source: lua5.1-policy
Binary: lua5.1-policy lua5.1-policy-dev
Architecture: source all
Version: 19
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 19 Mar 2008 16:42:48 +0100
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.3.0-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sat, 22 Mar 2008 21:24:05 +0100
Source: lua-curl
Binary: liblua5.1-curl0 liblua5.1-curl-dev
Architecture: source amd64
Version: 0.2.1-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 23 Mar 2008 20:24:58 +0100
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080330-1
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
C
TED]>
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:12~rc-1) experimental;
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 30 Mar 2008 23:11:22 +0200
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080330-2
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
C
Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL PROTECTED]>
Description:
network-manager-pptp - network management framework (PPTP plugin)
network-manager-pptp-gnome - network management framework (PPTP plugin)
Closes: 356944 390708
Changes:
network-manager-pptp (0.6.5
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Wed, 26 Mar 2008 11:39:37 +0100
Source: lua-coxpcall
Binary: liblua5.1-coxpcall0
Architecture: source all
Version: 1.11.0+cvs20080310-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 04 Apr 2008 10:05:02 +0200
Source: lua-cosmo
Binary: liblua5.1-cosmo0
Architecture: source all
Version: 8.04.04-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi &
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 04 Apr 2008 10:05:08 +0200
Source: lua-lpeg
Binary: liblua5.1-lpeg1 liblua5.1-lpeg-dev
Architecture: source amd64
Version: 0.8.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Fri, 04 Apr 2008 10:57:58 +0200
Source: luarocks
Binary: luarocks
Architecture: source all
Version: 0.5-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL
TED]>
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:12-1) unstable; urgency=low
.
*
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Sun, 06 Apr 2008 19:19:49 +0200
Source: lua-zip
Binary: liblua5.1-zip0 liblua5.1-zip-dev
Architecture: source amd64
Version: 1.2.3-5
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
: 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
l
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
-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]>
Chan
-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]>
C
-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]>
C
-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
-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
-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]>
C
-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]>
Chan
-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]>
C
-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]>
C
-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]>
C
TED]>
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 interp
-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]>
C
-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
-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]>
C
-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:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Mon, 10 Mar 2008 13:17:03 +0100
Source: luarocks
Binary: luarocks
Architecture: source all
Version: 0.4.3-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL
-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:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.7
Date: Tue, 11 Mar 2008 18:43:29 +0100
Source: lua-lpeg
Binary: liblua5.1-lpeg1 liblua5.1-lpeg-dev
Architecture: source amd64
Version: 0.8-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-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:
-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]>
Chan
-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]>
Chan
-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 PROTEC
: 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
l
-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]>
Chan
-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]>
Chan
-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]>
Chan
-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:
-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 &
-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
-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
-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]>
Chan
-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:
-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]>
Chan
-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:
-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:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 02 Jul 2008 10:22:44 +0200
Source: luarocks
Binary: luarocks
Architecture: source all
Version: 0.6.0.2-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL
TED]>
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.5.2-1) unstable; urgency=low
.
* New upstream release
Ch
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 02 Jul 2008 10:19:47 +0200
Source: lua-rings
Binary: liblua5.1-rings0 liblua5.1-rings-dev
Architecture: source amd64
Version: 1.2.2-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 10 Jul 2008 15:29:28 +0200
Source: lua-svn
Binary: liblua5.1-svn1 liblua5.1-svn-dev
Architecture: source amd64
Version: 0.3.0-3
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 10 Jul 2008 15:55:42 +0200
Source: lua-logging
Binary: liblua5.1-logging liblua5.1-logging-dev
Architecture: source all
Version: 1.1.4-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 10 Jul 2008 16:33:21 +0200
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080510-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 18 Jul 2008 09:49:22 +0200
Source: lua-posix
Binary: liblua5.1-posix1 liblua5.1-posix-dev
Architecture: source amd64
Version: 5.1.3-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Sat, 19 Jul 2008 11:12:52 +0200
Source: lua-posix
Binary: liblua5.1-posix1 liblua5.1-posix-dev
Architecture: source amd64
Version: 5.1.4-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
TED]>
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.5.3-1) unstable; urgency=low
.
* New upstream bugfix release
Ch
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 25 Jul 2008 23:10:01 +0200
Source: freepops
Binary: freepops freepops-updater-fltk freepops-updater-gnome freepops-doc
Architecture: source all amd64
Version: 0.2.7-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi
TED]>
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)
Closes: 370528
Changes:
widelands (1:13~3230-1)
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 11 Jun 2008 21:56:12 +0200
Source: lua-cosmo
Binary: liblua5.1-cosmo0
Architecture: source all
Version: 8.04.14-1
Distribution: unstable
Urgency: medium
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 27 May 2008 16:27:52 +0200
Source: freepops
Binary: freepops freepops-updater-fltk freepops-updater-gnome freepops-doc
Architecture: source all amd64
Version: 0.2.7-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 11 Jun 2008 21:43:24 +0200
Source: lua-orbit
Binary: liblua5.1-orbit0 liblua5.1-orbit-dev
Architecture: source all
Version: 2.0.1-1
Distribution: unstable
Urgency: medium
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
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-wl
Tassi <[EMAIL PROTECTED]>
Changed-By: Enrico Tassi <[EMAIL PROTECTED]>
Description:
network-manager-pptp - network management framework (PPTP plugin)
network-manager-pptp-gnome - network management framework (PPTP plugin)
Closes: 474324 484163
Changes:
network-manager-pptp (0.6.5
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Tue, 15 Jul 2008 17:30:01 +0200
Source: lua-base64
Binary: liblua5.1-base64-0 liblua5.1-base64-dev
Architecture: source amd64
Version: 200706-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
C
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-wl
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 27 Aug 2008 14:09:04 +0200
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.8+20080510+dash-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTEC
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 27 Aug 2008 14:43:06 +0200
Source: lua-gtk
Binary: liblua5.1-gtk-0 liblua5.1-gtk-dev
Architecture: source amd64
Version: 0.9-1
Distribution: experimental
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Thu, 17 Apr 2008 11:11:55 +0200
Source: lua-orbit
Binary: liblua5.1-orbit0 liblua5.1-orbit-dev
Architecture: source all
Version: 2.0~rc1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
TED]>
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.5.0~rc1-1) unstable; urgency=low
.
* New upstream release candidate, fixing m
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Wed, 07 May 2008 11:54:05 +0200
Source: lua-orbit
Binary: liblua5.1-orbit0 liblua5.1-orbit-dev
Architecture: source all
Version: 2.0~rc1-2
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTECTED]>
Chan
TED]>
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:12-2) unstable; urgency=low
.
* a
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Format: 1.8
Date: Fri, 09 May 2008 10:55:32 +0200
Source: lua-filesystem
Binary: liblua5.1-filesystem0 liblua5.1-filesystem-dev
Architecture: source amd64
Version: 1.4.1-1
Distribution: unstable
Urgency: low
Maintainer: Enrico Tassi <[EMAIL PROTEC
1 - 100 of 321 matches
Mail list logo