Le 25/12/2018 à 20:09, Ralf Treinen a écrit :
>> I’m planning to do some work in the next couple of weeks to get a new
>> Coq uploaded before the buster freeze. Does anybody have pending state
>> on this, or should I just dive on in?
>
> it would certainly be great to have a recent version of coq
Hi Benjamin,
On Thu, Dec 20, 2018 at 09:56:54PM -0500, Benjamin Barenblat wrote:
> I’m planning to do some work in the next couple of weeks to get a new
> Coq uploaded before the buster freeze. Does anybody have pending state
> on this, or should I just dive on in?
it would certainly be great
Accepted:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Format: 1.8
Date: Wed, 26 Dec 2018 00:38:42 +0800
Source: ppx-tools-versioned
Binary: libppx-tools-versioned-ocaml libppx-tools-versioned-ocaml-dev
libppx-tools-versioned-ocaml-doc
Architecture: source amd64 all
Version: 5.2.1-1
ppx-tools-versioned_5.2.1-1_amd64.changes uploaded successfully to localhost
along with the files:
ppx-tools-versioned_5.2.1-1.dsc
ppx-tools-versioned_5.2.1.orig.tar.gz
ppx-tools-versioned_5.2.1-1.debian.tar.xz
libppx-tools-versioned-ocaml-dbgsym_5.2.1-1_amd64.deb
4 matches
Mail list logo