Re: pushed prooftree changes

To: debian-ocaml-maint@lists.debian.org
Subject: Re: pushed prooftree changes
From: Hendrik Tews <hendrik@askra.de>
Date: Wed, 04 Jan 2017 08:26:04 +0100
Message-id: <[🔎] 87r34ji8vn.fsf@elite.askra.de>
In-reply-to: <[🔎] 20170103203145.hxwktxtvbmwbv46m@seneca.home.org> (Ralf Treinen's message of "Tue, 3 Jan 2017 21:31:45 +0100")
References: <[🔎] 87y3ys86al.fsf@elite.askra.de> <[🔎] 20170103203145.hxwktxtvbmwbv46m@seneca.home.org>

> we have coq 8.6 in sid, since a few days. -Ralf.

I know, 8.5 made a difference for prooftree, 8.6 doesn't. I've
tested Proof General and prooftree with 8.6 and it runs fine.

Hendrik

Reply to:

References:
- pushed prooftree changes
  - From: Hendrik Tews <hendrik@askra.de>
- Re: pushed prooftree changes
  - From: Ralf Treinen <treinen@free.fr>

Prev by Date: why3_0.87.2-3_source.changes ACCEPTED into unstable
Next by Date: Bug#843409: dose-builddebcheck --deb-triplettable needs to move to tupletable
Previous by thread: Re: pushed prooftree changes
Next by thread: Re: pushed prooftree changes
Index(es):
- Date
- Thread