Processed: bug 921278 is forwarded to Jean-Christophe.Filliatre[at]lri.fr

Processing commands for cont...@bugs.debian.org: > forwarded 921278 Jean-Christophe.Filliatre[at]lri.fr Bug #921278 [bibtex2html] bibtex2html: Lacks several math-related translations Set Bug forwarded-to-address to 'Jean-Christophe.Filliatre[at]lri.fr'. > thanks Stopping processing here. Please c

[Git][ocaml-team/why3] Pushed new tag debian/1.1.1-2

Ralf Treinen pushed new tag debian/1.1.1-2 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/debian/1.1.1-2 You're receiving this email because of your account on salsa.debian.org.

[Git][ocaml-team/why3] Pushed new tag debian/1.1.1-3

Ralf Treinen pushed new tag debian/1.1.1-3 at Debian OCaml Maintainers / why3 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/tree/debian/1.1.1-3 You're receiving this email because of your account on salsa.debian.org.

Bug#905940: convert package to dh-elpa

Hi Ralf, On Thu, Jan 24, 2019 at 07:52:18AM +0100, Ralf Treinen wrote: > Hi Nicholas, > > thanks for working on this package. You're welcome :-) > On Tue, Jan 22, 2019 at 03:45:40PM -0700, Nicholas D Steeves wrote: > > > Done. Here's the MR: > > > > https://salsa.debian.org/ocaml-team/tuar

morsmall_0.1-1_amd64.changes ACCEPTED into unstable, unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Fri, 25 Jan 2019 08:52:49 +0100 Source: morsmall Binary: libmorsmall-ocaml-dev libmorsmall-ocaml-dev-dbgsym Architecture: source amd64 Version: 0.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Main

Comments regarding morsmall_0.1-1_amd64.changes

Hi Ralf, I marked the package for accept, but shouldn't the license be better GPL-3+? Thanks! Thorsten

why3_1.1.1-3_source.changes ACCEPTED into unstable

Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 03 Feb 2019 23:01:38 +0100 Source: why3 Architecture: source Version: 1.1.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: why3 (1.1.1-3) unstabl

Processing of why3_1.1.1-3_source.changes

why3_1.1.1-3_source.changes uploaded successfully to localhost along with the files: why3_1.1.1-3.dsc why3_1.1.1-3.debian.tar.xz why3_1.1.1-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Bug#921278: bibtex2html: Lacks several math-related translations

Package: bibtex2html Version: 1.99-2.1 Severity: wishlist Tags: patch Dear Maintainer, I maintain several large bibtex files, including one devoted to numerical analysis papers, with abstracts that use a lot of math notation. I have collected some of the required translations into a latex macro