Bug#690328: All links in documentation's index.html are broken

2014-01-19 Thread Stéphane Glondu
Control: tags -1 + moreinfo Le 12/10/2012 19:44, Ryan Kavanagh a écrit : > All of the links (well, the dozen or so I've tried to follow, excluding > the alphabetical ones at the very top) in > /usr/share/doc/libssreflect-coq/html/index.html are broken. Is that still true? I just tried with 1.5~rc

Processed: Re: Bug#690328: All links in documentation's index.html are broken

2014-01-19 Thread Debian Bug Tracking System
Processing control commands: > tags -1 + moreinfo Bug #690328 [libssreflect-coq] All links in documentation's index.html are broken Added tag(s) moreinfo. -- 690328: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=690328 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

aac-tactics_0.4-2_amd64.changes ACCEPTED into unstable

2014-01-19 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 20 Jan 2014 08:22:59 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.4-2 Distribution: unstable Urgency: medium Maintaine

Processing of aac-tactics_0.4-2_amd64.changes

2014-01-19 Thread Debian FTP Masters
aac-tactics_0.4-2_amd64.changes uploaded successfully to localhost along with the files: aac-tactics_0.4-2.dsc aac-tactics_0.4-2.debian.tar.xz libaac-tactics-ocaml_0.4-2_amd64.deb libaac-tactics-ocaml-dev_0.4-2_amd64.deb libaac-tactics-coq_0.4-2_all.deb Greetings, Your Debian qu

Re: Proposed new requirements for emacsen add-on packages

2014-01-19 Thread Stephane Crivisier
-- Stephane Crivisier On Mon, Jan 20, 2014 at 2:43 AM, Rob Browning wrote: > Recently I've been fixing some non-trivial problems I introduced in > emacsen-common 2.0.0 -- and to finish fixing them it looks like it may > be best to change (and augment) some of the add-on package requirements. >

Proposed new requirements for emacsen add-on packages

2014-01-19 Thread Rob Browning
Recently I've been fixing some non-trivial problems I introduced in emacsen-common 2.0.0 -- and to finish fixing them it looks like it may be best to change (and augment) some of the add-on package requirements. Originally, I'd really tried to make it so that as of emacsen-common 2.*, add-on pack

coq_8.4pl3dfsg-1_amd64.changes ACCEPTED into unstable

2014-01-19 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 19 Jan 2014 16:16:36 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl3dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OC

Bug#680248: marked as done (coq: please update README.Debian)

2014-01-19 Thread Debian Bug Tracking System
Your message dated Sun, 19 Jan 2014 16:50:04 + with message-id and subject line Bug#680248: fixed in coq 8.4pl3dfsg-1 has caused the Debian Bug report #680248, regarding coq: please update README.Debian to be marked as done. This means that you claim that the problem has been dealt with. If t

Processing of coq_8.4pl3dfsg-1_amd64.changes

2014-01-19 Thread Debian FTP Masters
coq_8.4pl3dfsg-1_amd64.changes uploaded successfully to localhost along with the files: coq_8.4pl3dfsg-1.dsc coq_8.4pl3dfsg.orig.tar.gz coq_8.4pl3dfsg-1.debian.tar.xz coq_8.4pl3dfsg-1_amd64.deb coqide_8.4pl3dfsg-1_amd64.deb coq-theories_8.4pl3dfsg-1_all.deb libcoq-ocaml_8.4pl3dfsg-1_a

Accepted coq 8.4pl3dfsg-1 (source amd64 all)

2014-01-19 Thread Stéphane Glondu
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 19 Jan 2014 16:16:36 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.4pl3dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintaine