Re: Uploading new Coq

2018-12-25 Thread Stéphane Glondu
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

Re: Uploading new Coq

2018-12-25 Thread Ralf Treinen
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

ppx-tools-versioned_5.2.1-1_amd64.changes ACCEPTED into unstable

2018-12-25 Thread Debian FTP Masters
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

Processing of ppx-tools-versioned_5.2.1-1_amd64.changes

2018-12-25 Thread Debian FTP Masters
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