Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions

To: Mehdi Dogguy <mehdi@dogguy.org>
Cc: ygrek <ygrek@autistici.org>, 662921@bugs.debian.org
Subject: Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
From: Daniel Bünzli <daniel.buenzli@erratique.ch>
Date: Wed, 7 Mar 2012 20:16:12 +0100
Message-id: <[🔎] 8AB9CEE883F24A06AF6DFBF9FAC2EDB9@erratique.ch>
Reply-to: Daniel Bünzli <daniel.buenzli@erratique.ch>, 662921@bugs.debian.org
In-reply-to: <[🔎] 4F5735D4.7030001@dogguy.org>
References: <[🔎] 20120307095202.31995.39393.reportbug@mmix.local> <[🔎] 4F5735D4.7030001@dogguy.org>

Hello, 

I'll make a new release. However since I may take this opportunity to batch convert all my projects to oasis this may take a few days. Is there any short term debian deadline ? Otherwise I can make a release asap. 

Best,

Daniel

Reply to:

Follow-Ups:
- Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
  - From: Stéphane Glondu <glondu@debian.org>
- Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
  - From: Daniel Bünzli <daniel.buenzli@erratique.ch>

References:
- Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
  - From: ygrek <ygrek@autistici.org>
- Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
  - From: Mehdi Dogguy <mehdi@dogguy.org>

Prev by Date: Re: package HOL Light?
Next by Date: Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
Previous by thread: Processed: Re: Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
Next by thread: Bug#662921: libxmlm-ocaml-dev: wrong output with custom functions
Index(es):
- Date
- Thread