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 Changed-By: Enrico Tassi

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

: Enrico Tassi Changed-By: Enrico Tassi 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 luajit - Just in time compiler for Lua

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 Changed-By: Enrico Tassi 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 language lua-sql-odbc

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

Maintainers Changed-By: Enrico Tassi Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.6.1-2

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 Changed-By: Enrico Tassi Description

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

OCaml Maintainers Changed-By: Enrico Tassi 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 - Coq tactics for reasoning modulo AC (devt files) Changes: aac-tactics

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

Maintainers Changed-By: Enrico Tassi Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.6.1-1

Accepted coq 8.6-4 (source amd64) into unstable

Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.6-3 (source amd64) into unstable

Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.6-2 (source amd64) into unstable

Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.6-1 (source amd64) into unstable

Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

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 Changed-By: Enrico Tassi Description: lua

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 Changed-By: Enrico Tassi Description: luarocks

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

Maintainers Changed-By: Enrico Tassi Description: libssreflect-coq - small scale reflection library for Coq (theories) libssreflect-ocaml - small scale reflection extension for Coq (plugin) libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files) Changes: ssreflect (1.6-1

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 Changed-By: Enrico Tassi Description: lua-rex-doc - documentation of the rex library for the Lua language lua-rex-gnu - GNU regular expressions library for the Lua language lua-rex-gnu-dev

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 05 Aug 2016 11:34:21 +0200 Source: lua-discount Binary: lua-discount lua-discount-dev Architecture: source amd64 Version: 2.1.8-2 Distribution: unstable Urgency: medium Maintainer: Julian Wollrath Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi

Accepted matita 0.99.3-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 24 May 2016 21:57:11 +0200 Source: matita Binary: matita Architecture: source amd64 Version: 0.99.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Enrico Tassi Description: matita

Accepted coq 8.5-2 (source amd64) into unstable

Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

Accepted coq 8.5-1 (source amd64) into unstable

Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml

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 Changed-By: Enrico Tassi Description: prosody

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 Changed-By: Enrico Tassi Description: lua

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: lua-sec

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

Maintainers Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for

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

Maintainers Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for

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 Changed-By

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 Changed-By: Enrico Tassi Description: lua-ldoc

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 16 Aug 2015 23:06:15 +0200 Source: prosody-modules Binary: prosody-modules Architecture: source all Version: 0.0~hg20150813.12ac88940fe3-1 Distribution: unstable Urgency: medium Maintainer: Victor Seva Changed-By: Enrico

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

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 17 Aug 2015 16:09:56 +0200 Source: prosody-modules Binary: prosody-modules Architecture: source all Version: 0.0~hg20150813.12ac88940fe3-2 Distribution: unstable Urgency: medium Maintainer: Victor Seva Changed-By: Enrico

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 Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi Description: dh-lua - helper

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 Changed-By: Enrico Tassi Description: luarocks

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 Changed-By: Enrico Tassi Description: lua-ldoc

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 Changed-By: Enrico Tassi Description: dh-lua - helper

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 Changed-By: Enrico Tassi Description: lua-ldoc

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: lua-ldoc

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: lua-sec

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 Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: lua-dbi-common - DBI library for the Lua language, common files lua-dbi-mysql - DBI library for the Lua language, MySQL

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 Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi

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

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 Changed-By: Enrico Tassi Description: dh-lua - helper tools

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 Changed-By: Enrico

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi

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

. Belmonte Changed-By: Enrico Tassi 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 lua5.1 - Simple, extensible, embeddable

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 Changed-By: Enrico Tassi 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 luajit - Just in time compiler for Lua

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 Changed-By: Enrico Tassi Description: dh-lua - helper tools for

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

Maintainers Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for

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

Maintainers Changed-By: Enrico Tassi 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 logic (gtk interface) libcoq-ocaml - runtime libraries for

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: prosody

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 Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi Description: prosody

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 Changed-By: Enrico Tassi Description: prosody

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: luarocks

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 Changed-By: Enrico Tassi Description

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 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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi

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

Distribution: unstable Urgency: medium Maintainer: Enrico Tassi Changed-By: Enrico Tassi 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 language lua-sql-postgres - luasql library for the Lua

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 Changed-By: Enrico Tassi Description: lua-rex-doc - documentation of the rex library for the Lua language lua-rex-gnu - GNU regular expressions library for the Lua language lua-rex-gnu-dev

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi

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

. Belmonte Changed-By: Enrico Tassi 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 lua5.1 - Simple, extensible, embeddable

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 Changed-By: Enrico Tassi Description: lua

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi Description: lua-xmlrpc

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

Tassi Changed-By: Enrico Tassi 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 luajit - Just in time compiler for Lua

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 Changed-By

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

Tassi Changed-By: Enrico Tassi 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 luajit - Just in time compiler for Lua

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 Changed-By

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 Changed-By: Enrico Tassi Description: prosody

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 Changed-By: Enrico Tassi Description

Accepted mathcomp 1.5-2 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 19 Mar 2014 15:03:48 +0100 Source: mathcomp Binary: libmathcomp-coq Architecture: source all Version: 1.5-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Enrico Tassi Description

Accepted mathcomp 1.5-1 (source all)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 11 Mar 2014 14:30:20 +0100 Source: mathcomp Binary: libmathcomp-coq Architecture: source all Version: 1.5-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Enrico Tassi Description

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 Changed-By: Enrico Tassi

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 Changed-By: Enrico Tassi Description: prosody

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

Tassi Changed-By: Enrico Tassi 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 luajit - Just in time compiler for Lua

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 Changed-By: Enrico Tassi Description: lua-orbit

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 Changed-By: Enrico Tassi Description: lua-sec

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 Changed-By: Enrico

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 Changed-By: Enrico Tassi

Accepted lua-posix 29-6 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 17 Jan 2014 23:01:54 +0100 Source: lua-posix Binary: lua-posix lua-posix-dev lua-curses lua-curses-dev Architecture: source amd64 Version: 29-6 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi Changed-By: Enrico

Accepted lua5.2 5.2.3-1 (source all amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 10 Jan 2014 17:16:40 +0100 Source: lua5.2 Binary: lua5.2-doc lua5.2 liblua5.2-dev liblua5.2-0 liblua5.2-0-dbg Architecture: source all amd64 Version: 5.2.3-1 Distribution: unstable Urgency: medium Maintainer: Enrico Tassi

Accepted matita 0.99.1-3 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Tue, 10 Dec 2013 20:15:50 +0100 Source: matita Binary: matita Architecture: source amd64 Version: 0.99.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Enrico Tassi Description: matita

Accepted lua-md5 1.2+git+1+8d87fee-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Fri, 29 Nov 2013 17:29:09 +0100 Source: lua-md5 Binary: lua-md5 lua-md5-dev Architecture: source amd64 Version: 1.2+git+1+8d87fee-1 Distribution: unstable Urgency: low Maintainer: Enrico Tassi Changed-By: Enrico Tassi Description

  1   2   3   4   5   6   7   8   9   10   >