Re: pushed prooftree changes

To: Hendrik Tews <hendrik@askra.de>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Re: pushed prooftree changes
From: Ralf Treinen <treinen@free.fr>
Date: Tue, 3 Jan 2017 21:31:45 +0100
Message-id: <[🔎] 20170103203145.hxwktxtvbmwbv46m@seneca.home.org>
Mail-followup-to: Hendrik Tews <hendrik@askra.de>, debian-ocaml-maint@lists.debian.org
In-reply-to: <[🔎] 87y3ys86al.fsf@elite.askra.de>
References: <[🔎] 87y3ys86al.fsf@elite.askra.de>

Hi Hendrik,

On Tue, Jan 03, 2017 at 05:19:46PM +0100, Hendrik Tews wrote:
> Hi,
> 
> I imported the new upstream version and updated the packaging for
> prooftree. The new upstream contains a few new features and makes
> prooftree ready for Coq 8.5.

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

Reply to:

Follow-Ups:
- Re: pushed prooftree changes
  - From: Hendrik Tews <hendrik@askra.de>

References:
- pushed prooftree changes
  - From: Hendrik Tews <hendrik@askra.de>

Prev by Date: Bug#850071: tuareg-mode: Fail to install if emacs21 is installed.
Next by Date: Processing of why3_0.87.2-3_source.changes
Previous by thread: pushed prooftree changes
Next by thread: Re: pushed prooftree changes
Index(es):
- Date
- Thread