Bug#727642: dose-distcheck: fails on input that works with edos-debcheck and is "correct"

To: 727642@bugs.debian.org
Subject: Bug#727642: dose-distcheck: fails on input that works with edos-debcheck and is "correct"
From: Ralf Treinen <treinen@pps.univ-paris-diderot.fr>
Date: Mon, 28 Oct 2013 16:21:39 +0100
Message-id: <[🔎] 20131028152139.GB10748@vanadium.pps.jussieu.fr>
Reply-to: Ralf Treinen <treinen@pps.univ-paris-diderot.fr>, 727642@bugs.debian.org

The latest version in the upstream git doesn't have this bug. I will 
try to convience upstream to do an official release.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.univ-paris-diderot.fr/~treinen/

Reply to:

Prev by Date: Processed: forw
Next by Date: Processed: [bts-link] source package src:ocaml-sha
Previous by thread: Bug#727642: dose-distcheck: fails on input that works with edos-debcheck and is "correct"
Next by thread: Processed: forw
Index(es):
- Date
- Thread