Accepted syncmaildir 1.3.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 17 Mar 2018 17:13:46 +0100 Source: syncmaildir Binary: syncmaildir syncmaildir-applet Architecture: source amd64 Version: 1.3.0-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.

Accepted luajit 2.1.0~beta3-2 (source amd64 all) into experimental

: Enrico Tassi <gareuselesi...@debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: libluajit-5.1-2 - Just in time compiler for Lua - library version libluajit-5.1-common - Just in time compiler for Lua - common files libluajit-5.1-dev - Just in time comp

Accepted lua-sql 2.3.4-1 (source all amd64) into unstable, unstable

amd64 Version: 2.3.4-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: lua-sql-doc - luasql documentation lua-sql-mysql - luasql library for the Lua language lua-sql-mysql-

Accepted ssreflect 1.6.1-2 (source all amd64) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev -

Accepted lua-expat 1.3.0-4 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 30 Dec 2016 11:53:10 +0100 Source: lua-expat Binary: lua-expat lua-expat-dev Architecture: source amd64 Version: 1.3.0-4 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> C

Accepted aac-tactics 8.6.1-1 (source all amd64) into unstable

OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev -

Accepted ssreflect 1.6.1-1 (source all amd64) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev -

Accepted coq 8.6-4 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

Accepted coq 8.6-3 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

Accepted coq 8.6-2 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

Accepted coq 8.6-1 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

Accepted lua-lpeg 1.0.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Dec 2016 11:47:33 +0100 Source: lua-lpeg Binary: lua-lpeg lua-lpeg-dev Architecture: source amd64 Version: 1.0.0-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> C

Accepted luarocks 2.4.2+dfsg-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Dec 2016 10:15:35 +0100 Source: luarocks Binary: luarocks Architecture: source all Version: 2.4.2+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> Changed-By: Enrico

Accepted ssreflect 1.6-1 (source all amd64) into unstable

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev -

Accepted lua-rexlib 2.7.2-4 (source all amd64) into unstable

Architecture: source all amd64 Version: 2.7.2-4 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: lua-rex-doc - documentation of the rex library for the Lua language lua-rex-gnu -

Accepted lua50 5.0.3-8 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Aug 2016 11:00:57 +0200 Source: lua50 Binary: lua50 lua50-doc liblua50 liblua50-dev liblualib50 liblualib50-dev Architecture: source amd64 all Version: 5.0.3-8 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Accepted lua-discount 2.1.8-2 (source amd64) into unstable

hanged-By: Enrico Tassi <gareuselesi...@debian.org> Description: lua-discount - Discount library for the Lua language lua-discount-dev - discount development files for the Lua language Closes: 824944 Changes: lua-discount (2.1.8-2) unstable; urgency=medium . * Build-depend on disco

Accepted lua-lgi 0.9.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 19 Jun 2016 19:05:11 +0200 Source: lua-lgi Binary: lua-lgi lua-lgi-dev lua-lgi-dbg Architecture: source amd64 Version: 0.9.1-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> C

Accepted matita 0.99.3-1 (source amd64) into unstable

hanged-By: Enrico Tassi <gareuselesi...@debian.org> Description: matita - interactive theorem prover Changes: matita (0.99.3-1) unstable; urgency=medium . * New upstream release * Remove patch 0001-configure, applied upstream * Remove patch 0002-Help-..., applied upstream

Re: Bug#818900: [Lua Policy] integrate debian's lua modules into Debian's Luarocks

r the code that generates .pc files, and start from that. Otherwise I'll do it myself, but I'm a bit busy these days. Best, -- Enrico Tassi

Accepted coq 8.5-2 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

Accepted coq 8.5-1 (source amd64) into unstable

ian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-orde

Accepted prosody 0.9.9-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 08 Jan 2016 21:29:20 +0100 Source: prosody Binary: prosody Architecture: source amd64 Version: 0.9.9-1 Distribution: unstable Urgency: medium Maintainer: Matthew James Wild <mwi...@gmail.com> Changed-By: Enrico

Accepted lua-sec 0.5.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 06 Dec 2015 17:26:18 +0100 Source: lua-sec Binary: lua-sec lua-sec-dev Architecture: source amd64 Version: 0.5.1-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> Changed-By:

Accepted syncmaildir 1.2.6.2-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 18 Nov 2015 09:50:13 +0100 Source: syncmaildir Binary: syncmaildir syncmaildir-applet Architecture: source amd64 Version: 1.2.6.2-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.

Accepted lua-sec 0.5-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 15 Nov 2015 19:28:23 +0100 Source: lua-sec Binary: lua-sec lua-sec-dev Architecture: source amd64 Version: 0.5-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareuselesi...@debian.org> Changed-By:

Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistan

Accepted coq 8.5~beta3+dfsg-2 (source amd64) into experimental

Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistan

Accepted lua-lgi 0.9.0.20151101.git.885af4-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 05 Nov 2015 18:19:36 +0100 Source: lua-lgi Binary: lua-lgi lua-lgi-dev lua-lgi-dbg Architecture: source amd64 Version: 0.9.0.20151101.git.885af4-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi <gareusel

Accepted lua-ldoc 1.4.3-5 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 Nov 2015 10:14:43 +0100 Source: lua-ldoc Binary: lua-ldoc Architecture: source all Version: 1.4.3-5 Distribution: unstable Urgency: medium Maintainer: Julian Wollrath <jwollr...@web.de> Changed-By: Enrico Tassi <ga

Accepted prosody-modules 0.0~hg20150813.12ac88940fe3-1 (source all) into unstable, unstable

man...@torreviejawireless.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: prosody-modules - Selection of community modules for Prosody Closes: 719882 Changes: prosody-modules (0.0~hg20150813.12ac88940fe3-1) unstable; urgency=medium . * Initial release. (Closes: #719882) Ch

Accepted prosody-modules 0.0~hg20150813.12ac88940fe3-2 (source all) into unstable, unstable

man...@torreviejawireless.org> Changed-By: Enrico Tassi <gareuselesi...@debian.org> Description: prosody-modules - Selection of community modules for Prosody Changes: prosody-modules (0.0~hg20150813.12ac88940fe3-2) unstable; urgency=medium . * Update patch on mod_HA1. Thanks Matthew Wild. * In

Accepted lua-bit32 5.3.0-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 15 Aug 2015 08:37:29 +0200 Source: lua-bit32 Binary: lua-bit32 lua-bit32-dev Architecture: source amd64 Version: 5.3.0-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted dh-lua 23 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 25 Aug 2015 16:41:06 +0800 Source: dh-lua Binary: dh-lua lua-any Architecture: source all Version: 23 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted lua-ldoc 1.4.3-4 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 22 Aug 2015 17:52:12 +0200 Source: lua-ldoc Binary: lua-ldoc Architecture: source all Version: 1.4.3-4 Distribution: unstable Urgency: medium Maintainer: Julian Wollrath jwollr...@web.de Changed-By: Enrico Tassi gareuselesi

Accepted luarocks 2.2.0+dfsg-2 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 22 Aug 2015 17:48:25 +0200 Source: luarocks Binary: luarocks Architecture: source all Version: 2.2.0+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted dh-lua 22 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 18 Aug 2015 16:28:54 +0200 Source: dh-lua Binary: dh-lua lua-any Architecture: source all Version: 22 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted lua-penlight 1.3.2-2 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 18 Aug 2015 11:21:53 +0200 Source: lua-penlight Binary: lua-penlight lua-penlight-dev Architecture: source all Version: 1.3.2-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted lua-ldoc 1.4.3-3 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 18 Aug 2015 11:06:49 +0200 Source: lua-ldoc Binary: lua-ldoc Architecture: source all Version: 1.4.3-3 Distribution: unstable Urgency: medium Maintainer: Julian Wollrath jwollr...@web.de Changed-By: Enrico Tassi gareuselesi

Accepted lua-ldoc 1.4.3-2 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 17 Aug 2015 14:40:09 +0200 Source: lua-ldoc Binary: lua-ldoc Architecture: source all Version: 1.4.3-2 Distribution: unstable Urgency: medium Maintainer: Julian Wollrath jwollr...@web.de Changed-By: Enrico Tassi gareuselesi

Accepted lua-lpeg 0.12.2-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 14:36:21 +0200 Source: lua-lpeg Binary: lua-lpeg lua-lpeg-dev Architecture: source amd64 Version: 0.12.2-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted lua-filesystem 1.6.3-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 22:07:16 +0200 Source: lua-filesystem Binary: lua-filesystem lua-filesystem-dev Architecture: source amd64 Version: 1.6.3-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-sec 0.5-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 16 Aug 2015 11:09:17 +0200 Source: lua-sec Binary: lua-sec lua-sec-dev Architecture: source amd64 Version: 0.5-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico

Accepted luasocket 3.0~rc1+git+321c0c9-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 21:22:38 +0200 Source: luasocket Binary: lua-socket lua-socket-dev Architecture: source amd64 Version: 3.0~rc1+git+321c0c9-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua5.3 5.3.1-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 01 Mar 2015 15:39:41 +0100 Source: lua5.3 Binary: lua5.3 liblua5.3-dev liblua5.3-0 liblua5.3-0-dbg Architecture: source amd64 Version: 5.3.1-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi

Accepted lua-penlight 1.3.2-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 15 Aug 2015 20:36:42 +0200 Source: lua-penlight Binary: lua-penlight lua-penlight-dev Architecture: source all Version: 1.3.2-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted dh-lua 21 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 18:27:23 +0200 Source: dh-lua Binary: dh-lua Architecture: source all Version: 21 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi

Accepted lua-expat 1.3.0-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 22:04:53 +0200 Source: lua-expat Binary: lua-expat lua-expat-dev Architecture: source amd64 Version: 1.3.0-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted lua-dbi 0.5.hg5ba1dd988961-3 (source all amd64) into unstable

-sqlite3-dbg Architecture: source all amd64 Version: 0.5.hg5ba1dd988961-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: lua-dbi-common - DBI library for the Lua language, common files lua

Accepted lua-event 0.4.3-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 15 Aug 2015 16:22:36 +0200 Source: lua-event Binary: lua-event lua-event-dev lua-event-dbg Architecture: source amd64 Version: 0.4.3-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-wsapi 1.6.1-1 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 15 Aug 2015 16:36:31 +0200 Source: lua-wsapi Binary: lua-wsapi lua-wsapi-fcgi lua-wsapi-fcgi-dev lua-wsapi-doc Architecture: source all amd64 Version: 1.6.1-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Bug#795604: ITP: lua-bit32 -- Backport of the Lua 5.2 bit32 library to Lua 5.1

Description: Backport of the Lua 5.2 bit32 library to Lua 5.1 This is needed in order to package lua-posix = 33 -- Enrico Tassi

Accepted dh-lua 20 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 20 Oct 2013 15:55:11 +0200 Source: dh-lua Binary: dh-lua Architecture: source all Version: 20 Distribution: unstable Urgency: low Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi

Accepted lua-apr 0.23.2.dfsg-4 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 20:38:56 +0200 Source: lua-apr Binary: lua-apr lua-apr-dev lua-apr-doc Architecture: source amd64 all Version: 0.23.2.dfsg-4 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-lgi 0.9.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Aug 2015 21:07:46 +0200 Source: lua-lgi Binary: lua-lgi lua-lgi-dev lua-lgi-dbg Architecture: source amd64 Version: 0.9.0-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted lua5.1 5.1.5-8 (source amd64 all) into unstable

. Belmonte jbelmo...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: liblua5.1-0 - Shared library for the Lua interpreter version 5.1 liblua5.1-0-dbg - Debug symbols for the Lua shared library interpreter liblua5.1-0-dev - Development files for the Lua language version 5.1

Accepted lua5.2 5.2.4-1 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 17 Jan 2015 13:17:50 +0100 Source: lua5.2 Binary: lua5.2-doc lua5.2 liblua5.2-dev liblua5.2-0 liblua5.2-0-dbg Architecture: source amd64 all Version: 5.2.4-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Accepted luajit 2.0.4+dfsg-1 (source amd64 all) into unstable

Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: libluajit-5.1-2 - Just in time compiler for Lua - library version libluajit-5.1-common - Just in time compiler for Lua - common files libluajit-5.1-dev - Just in time compiler for Lua - development files

Accepted coq 8.5~beta2+dfsg-2 (source amd64) into experimental

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order

Accepted coq 8.5~beta2+dfsg-1 (source amd64) into experimental

Maintainers debian-ocaml-ma...@lists.debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) coqide - proof assistant for higher-order

Accepted syncmaildir 1.2.6.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 22 May 2015 08:45:27 +0200 Source: syncmaildir Binary: syncmaildir syncmaildir-applet Architecture: source amd64 Version: 1.2.6.1-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted prosody 0.9.7-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 28 Mar 2015 16:20:07 +0100 Source: prosody Binary: prosody Architecture: source amd64 Version: 0.9.7-2 Distribution: unstable Urgency: high Maintainer: Matthew James Wild mwi...@gmail.com Changed-By: Enrico Tassi gareuselesi

Accepted lua-rings 1.3.0-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 18 Jan 2015 19:58:11 +0100 Source: lua-rings Binary: lua-rings lua-rings-dev Architecture: source amd64 Version: 1.3.0-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Bug#775565: ITP: lua5.3 -- scripting language

Package: wnpp Severity: wishlist Owner: Enrico Tassi gareuselesi...@debian.org * Package name: lua5.3 Version : 5.3.0 Upstream Author : t...@lua.org * URL : http://www.lua.org/ * License : MIT/X Programming Lang: C Description : scripting language

Accepted prosody 0.9.7-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 25 Oct 2014 10:42:14 +0200 Source: prosody Binary: prosody Architecture: source amd64 Version: 0.9.7-1 Distribution: unstable Urgency: medium Maintainer: Matthew James Wild mwi...@gmail.com Changed-By: Enrico Tassi gareuselesi

Accepted prosody 0.9.6-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 24 Oct 2014 22:07:31 +0200 Source: prosody Binary: prosody Architecture: source amd64 Version: 0.9.6-1 Distribution: unstable Urgency: medium Maintainer: Matthew James Wild mwi...@gmail.com Changed-By: Enrico Tassi gareuselesi

Accepted lua-lgi 0.8.0-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 15 Oct 2014 22:14:29 +0200 Source: lua-lgi Binary: lua-lgi lua-lgi-dev lua-lgi-dbg Architecture: source amd64 Version: 0.8.0-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted luarocks 2.2.0+dfsg-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 11 Oct 2014 15:26:47 +0200 Source: luarocks Binary: luarocks Architecture: source all Version: 2.2.0+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted lua-lgi 0.8.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 16 Sep 2014 17:46:05 +0200 Source: lua-lgi Binary: lua-lgi lua-lgi-dev lua-lgi-dbg Architecture: source amd64 Version: 0.8.0-1 Distribution: unstable Urgency: low Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted lua-filesystem 1.6.2-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 30 Aug 2014 21:54:51 +0200 Source: lua-filesystem Binary: lua-filesystem lua-filesystem-dev Architecture: source amd64 Version: 1.6.2-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-expat 1.3.0-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 30 Aug 2014 21:54:51 +0200 Source: lua-expat Binary: lua-expat lua-expat-dev Architecture: source amd64 Version: 1.3.0-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted lua-ldap 1.1.0-1-geeac494-6 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 30 Aug 2014 21:54:52 +0200 Source: lua-ldap Binary: lua-ldap lua-ldap-dev Architecture: source amd64 Version: 1.1.0-1-geeac494-6 Distribution: unstable Urgency: medium Maintainer: Luca Capello l...@pca.it Changed-By: Enrico

Accepted lua-rexlib 2.7.2-3 (source amd64 all) into unstable

Architecture: source amd64 all Version: 2.7.2-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: lua-rex-doc - documentation of the rex library for the Lua language lua-rex-gnu - GNU regular expressions

Accepted lua-zlib 0.2+git+1+9622739-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 30 Aug 2014 21:54:50 +0200 Source: lua-zlib Binary: lua-zlib lua-zlib-dev Architecture: source amd64 Version: 0.2+git+1+9622739-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-sql 2.3.0-4 (source amd64 all) into unstable

Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: lua-sql-doc - luasql documentation lua-sql-mysql - luasql library for the Lua language lua-sql-mysql-dev - luasql development files for the Lua

Accepted lua-cyrussasl 1.0.0-6 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 30 Aug 2014 21:54:51 +0200 Source: lua-cyrussasl Binary: lua-cyrussasl lua-cyrussasl-dev Architecture: source amd64 Version: 1.0.0-6 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-bitop 1.0.2-3 (source amd64 all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 30 Aug 2014 21:54:49 +0200 Source: lua-bitop Binary: lua-bitop lua-bitop-dev liblua5.1-bitop0 liblua5.1-bitop-dev Architecture: source amd64 all Version: 1.0.2-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Accepted lua5.1 5.1.5-7 (source all amd64) into unstable

. Belmonte jbelmo...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: liblua5.1-0 - Shared library for the Lua interpreter version 5.1 liblua5.1-0-dbg - Debug symbols for the Lua shared library interpreter liblua5.1-0-dev - Development files for the Lua language version 5.1

Accepted lua-curl 0.3.0-9 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 27 Aug 2014 11:10:17 +0200 Source: lua-curl Binary: lua-curl lua-curl-dev Architecture: source amd64 Version: 0.3.0-9 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico

Accepted lua-filesystem 1.6.2-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 24 Aug 2014 11:23:40 +0200 Source: lua-filesystem Binary: lua-filesystem lua-filesystem-dev Architecture: source amd64 Version: 1.6.2-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted lua-wsapi 1.6.0-2 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 30 Jun 2014 21:16:59 +0200 Source: lua-wsapi Binary: lua-wsapi lua-wsapi-fcgi lua-wsapi-fcgi-dev lua-wsapi-doc Architecture: source all amd64 Version: 1.6.0-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Accepted lua-curl 0.3.0-8 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 11 May 2014 17:13:22 +0200 Source: lua-curl Binary: lua-curl lua-curl-dev Architecture: source amd64 Version: 0.3.0-8 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico

Accepted lua-xmlrpc 1.2.1-7 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 27 Apr 2014 18:05:52 +0200 Source: lua-xmlrpc Binary: lua-xmlrpc Architecture: source all Version: 1.2.1-7 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted luajit 2.0.3+dfsg-3 (source amd64 all)

Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: libluajit-5.1-2 - Just in time compiler for Lua - library version libluajit-5.1-common - Just in time compiler for Lua - common files libluajit-5.1-dev - Just in time compiler for Lua - development files

Accepted luajit 2.0.3+dfsg-2 (source amd64 all)

Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: libluajit-5.1-2 - Just in time compiler for Lua - library version libluajit-5.1-common - Just in time compiler for Lua - common files libluajit-5.1-dev - Just in time compiler for Lua - development files

Accepted lua-posix 31-2 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 08 Apr 2014 20:57:32 +0200 Source: lua-posix Binary: lua-posix lua-posix-dev lua-curses lua-curses-dev Architecture: source amd64 Version: 31-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi

Accepted lua-posix 31-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 07 Apr 2014 09:45:48 +0200 Source: lua-posix Binary: lua-posix lua-posix-dev lua-curses lua-curses-dev Architecture: source amd64 Version: 31-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi

Accepted lua-expat 1.3.0-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 05 Apr 2014 12:31:01 +0200 Source: lua-expat Binary: lua-expat lua-expat-dev Architecture: source amd64 Version: 1.3.0-1 Distribution: unstable Urgency: high Maintainer: Enrico Tassi gareuselesi...@debian.org Changed

Accepted prosody 0.9.4-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 05 Apr 2014 12:53:47 +0200 Source: prosody Binary: prosody Architecture: source amd64 Version: 0.9.4-1 Distribution: unstable Urgency: high Maintainer: Matthew James Wild mwi...@gmail.com Changed-By: Enrico Tassi gareuselesi

Accepted mathcomp 1.5-2 (source all)

Changed-By: Enrico Tassi gareuselesi...@debian.org Description: libmathcomp-coq - Mathematical Components library for Coq (theories) Closes: 742105 Changes: mathcomp (1.5-2) unstable; urgency=medium . * Add dependency over libssreflect-coq (Closes: #742105) Checksums-Sha1

Accepted mathcomp 1.5-1 (source all)

Changed-By: Enrico Tassi gareuselesi...@debian.org Description: libmathcomp-coq - Mathematical Components library for Coq (theories) Closes: 741345 Changes: mathcomp (1.5-1) unstable; urgency=medium . * Fix copyright file (I'm the packager, even if I've copied much from the ssreflect package

Accepted prosody 0.9.3-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Mar 2014 16:26:25 +0100 Source: prosody Binary: prosody Architecture: source amd64 Version: 0.9.3-1 Distribution: unstable Urgency: medium Maintainer: Matthew James Wild mwi...@gmail.com Changed-By: Enrico Tassi gareuselesi

Accepted syncmaildir 1.2.6-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 14 Mar 2014 17:32:43 +0100 Source: syncmaildir Binary: syncmaildir syncmaildir-applet Architecture: source amd64 Version: 1.2.6-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

Accepted luajit 2.0.3+dfsg-1 (source amd64 all)

Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi gareuselesi...@debian.org Description: libluajit-5.1-2 - Just in time compiler for Lua - library version libluajit-5.1-common - Just in time compiler for Lua - common files libluajit-5.1-dev - Just in time compiler for Lua - development files

Bug#741345: ITP: mathematical-components -- Mathematical Components library for the Coq proof system

Package: wnpp Severity: wishlist Owner: Enrico Tassi gareuselesi...@debian.org * Package name: mathematical-components Version : 1.4.0 Upstream Author : Mathematical Components team * URL : http://www.msr-inria.fr/projects/mathematical-components/ * License

Accepted luajit 2.0.2+dfsg-3 (source amd64 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Wed, 12 Feb 2014 11:10:29 +0100 Source: luajit Binary: luajit libluajit-5.1-common libluajit-5.1-2 libluajit-5.1-dev Architecture: source amd64 all Version: 2.0.2+dfsg-3 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Accepted lua-orbit 2.2.1+dfsg-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 02 Feb 2014 10:26:44 +0100 Source: lua-orbit Binary: lua-orbit Architecture: source all Version: 2.2.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted lua-sec 0.5-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 01 Feb 2014 14:21:36 +0100 Source: lua-sec Binary: lua-sec lua-sec-dev Architecture: source amd64 Version: 0.5-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org Changed-By: Enrico Tassi

Accepted lua-posix 29-7 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 21 Jan 2014 20:48:11 +0100 Source: lua-posix Binary: lua-posix lua-posix-dev lua-curses lua-curses-dev Architecture: source amd64 Version: 29-7 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi

Accepted lua-apr 0.23.2.dfsg-2 (source amd64 all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sat, 18 Jan 2014 14:05:09 +0100 Source: lua-apr Binary: lua-apr lua-apr-dev lua-apr-doc Architecture: source amd64 all Version: 0.23.2.dfsg-2 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi gareuselesi...@debian.org

  1   2   3   4   5   6   7   8   9   10   >