Accepted urweb 20150214+dfsg-1 (source amd64 all) into unstable, unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat bba...@mit.edu Changed-By: Benjamin Barenblat bba...@mit.edu Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburweb0

Accepted urweb 20150520+dfsg-1 (source amd64 all) into unstable

Urgency: medium Maintainer: Benjamin Barenblat bba...@mit.edu Changed-By: Benjamin Barenblat bba...@mit.edu Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburweb0

Accepted urweb 20151018+dfsg-1 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted urweb 20150819+dfsg-1 (source amd64 all) into experimental

: experimental Urgency: medium Maintainer: Benjamin Barenblat bba...@mit.edu Changed-By: Benjamin Barenblat bba...@mit.edu Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend

Accepted transmission-remote-gtk 1.1.1-2 (source amd64) into experimental

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 28 Aug 2015 14:57:12 -0400 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.1.1-2 Distribution: experimental Urgency: low Maintainer: Benjamin Barenblat bba...@mit.edu

Accepted urweb 20151220+dfsg-1 (source) into unstable

Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburw

Accepted urweb 20151122+dfsg-1 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted boogie 2.3.0.61016+dfsg+2.gbp4108246-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 05 Jun 2016 16:02:41 -0400 Source: boogie Binary: boogie libboogie-cil Architecture: source all Version: 2.3.0.61016+dfsg+2.gbp4108246-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.

Accepted dafny 1.9.7-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 05 Jun 2016 17:10:37 -0400 Source: dafny Binary: dafny Architecture: source all Version: 1.9.7-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenbla

Accepted transmission-remote-gtk 1.1.1-3 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 30 May 2016 17:03:25 -0400 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.1.1-3 Distribution: unstable Urgency: high Maintainer: Benjamin Barenblat <bba...@mit.

Accepted urweb 20160515+dfsg-1 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted urweb 20160213+dfsg-1 (source) into unstable

Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburw

Accepted boogie 2.3.0.61016+dfsg+1.gbp64e8b3-1 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 01 Apr 2016 16:18:08 -0400 Source: boogie Binary: boogie libboogie-cil Architecture: source all Version: 2.3.0.61016+dfsg+1.gbp64e8b3-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.

Accepted dafny 1.9.5-1 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Wed, 06 Apr 2016 16:48:37 -0400 Source: dafny Binary: dafny Architecture: source all Version: 1.9.5-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenbla

Accepted urweb 20160805+dfsg-1 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted boogie 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 29 Oct 2016 21:52:24 -0400 Source: boogie Binary: boogie libboogie-cil Architecture: source all Version: 2.3.0.61016+dfsg+3.gbp1f2d6c1-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.

Accepted transmission-remote-gtk 1.3.1-2 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 29 Oct 2016 16:35:46 -0400 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.3.1-2 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.

Accepted transmission-remote-gtk 1.3.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 23 Oct 2016 13:15:58 -0400 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.3.1-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.

Accepted urweb 20161022+dfsg-1 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted urweb 20161022+dfsg-2 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted urweb 20170105+dfsg-1 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted urweb 20170105+dfsg-2 (source amd64 all) into unstable

: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb st

Accepted urweb 20170720+dfsg-1 (source) into unstable

Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburw

Accepted urweb 20170720+dfsg-2 (source) into unstable

Urgency: medium Maintainer: Benjamin Barenblat <bba...@mit.edu> Changed-By: Benjamin Barenblat <bba...@mit.edu> Description: liburweb-cgi0 - urweb CGI backend liburweb-fastcgi0 - urweb FastCGI backend liburweb-http0 - urweb standalone backend liburweb-static0 - urweb static backend liburw

Accepted xcwd 0~1.gbp3f0728b-1 (source amd64) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 06 Mar 2018 18:00:34 -0500 Source: xcwd Binary: xcwd Architecture: source amd64 Version: 0~1.gbp3f0728b-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat <bba...@debian.org> Changed-By: Benjamin Bar

Accepted coq 8.8.2-1 (source amd64) into unstable

-By: Benjamin Barenblat Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml-dev - development libraries and tools for Coq Closes: 902903 910840

Accepted rcm 1.3.3-1 (source all) into unstable, unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 20 Dec 2018 19:35:48 -0500 Source: rcm Binary: rcm Architecture: source all Version: 1.3.3-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Benjamin Barenblat Description: rcm

Accepted xcwd 0~2.gbpe2c777c-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 23 Nov 2018 11:31:37 -0500 Source: xcwd Binary: xcwd Architecture: source amd64 Version: 0~2.gbpe2c777c-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Benjamin Barenblat Description

Accepted transmission-remote-gtk 1.4.0-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 23 Nov 2018 13:11:17 -0500 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.4.0-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Benjamin

Accepted transmission-remote-gtk 1.4.1-1 (source amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 03 Jan 2019 20:10:57 -0500 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.4.1-1 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Benjamin

Accepted rcm 1.3.3-2 (source all) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 03 Jan 2019 20:38:01 -0500 Source: rcm Binary: rcm Architecture: source all Version: 1.3.3-2 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Benjamin Barenblat Description: rcm

Accepted why 2.40-4 (source all amd64) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 22 Feb 2019 18:04:55 -0500 Source: why Binary: libwhy-coq why why-dbgsym Architecture: source all amd64 Version: 2.40-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Benjamin

Accepted coq 8.9.0-1 (source amd64) into unstable

Maintainer: Debian OCaml Maintainers Changed-By: Benjamin Barenblat Description: coq- proof assistant for higher-order logic (toplevel and compiler) coq-theories - proof assistant for higher-order logic (theories) libcoq-ocaml - runtime libraries for Coq libcoq-ocaml-dev - development

Accepted aac-tactics 8.8.0+1.gbp069dc3b-1 (source all amd64) into unstable

: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Benjamin Barenblat 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

Accepted transmission-remote-gtk 1.4.1-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 28 Dec 2019 11:01:52 -0500 Source: transmission-remote-gtk Architecture: source Version: 1.4.1-2 Distribution: unstable Urgency: medium Maintainer: Benjamin Barenblat Changed-By: Benjamin Barenblat Closes: 947516 Changes

Accepted transmission-remote-gtk 1.1.1-1 (source amd64)

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Format: 1.8 Date: Sun, 14 Jul 2013 17:18:53 -0700 Source: transmission-remote-gtk Binary: transmission-remote-gtk Architecture: source amd64 Version: 1.1.1-1 Distribution: unstable Urgency: low Maintainer: Benjamin Barenblat bba...@mit.edu Changed