Re: Uploading new Coq
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 in buster. > Please try to get in touch with Enrico and Stéphane who maintained the > coq package in the past to know their intentions. Feel free to upgrade the package in git; I will review and upload it. Cheers, -- Stéphane
Re: Uploading new 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 to have a recent version of coq in buster. Please try to get in touch with Enrico and Stéphane who maintained the coq package in the past to know their intentions. One important issue is that liblablgtksourceview2-ocaml-dev is gone. The one you can currently still find in unstable is cruft, this package is no longer built from the lablgtk2 source package, and coq must no longer build-depend on it. It should be possible to replace it by liblablgtksourceview3-ocaml-dev which was accepted in debian just yesterday. There is a thread [1] on the coq-devel mailing list about this. -Ralf. [1] https://sympa.inria.fr/sympa/arc/coqdev/2018-11/
ppx-tools-versioned_5.2.1-1_amd64.changes ACCEPTED into unstable
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 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Andy Li Description: libppx-tools-versioned-ocaml - Tools for authors of OCaml syntactic tools (Runtime library) libppx-tools-versioned-ocaml-dev - Tools for authors of OCaml syntactic tools (Development package) libppx-tools-versioned-ocaml-doc - Documentation for ppx-tools-versioned Changes: ppx-tools-versioned (5.2.1-1) unstable; urgency=medium . * New upstream release. * Update d/rules regarding changes to dune. * Bump Standards-Version to 4.3.0 (no changes). * Fix autopkgtest. Checksums-Sha1: 1a31830346b5486d1ed1f0950a98c5c4b17fc381 2412 ppx-tools-versioned_5.2.1-1.dsc 01b22431055e325056810c27c34f1f11cde87077 52682 ppx-tools-versioned_5.2.1.orig.tar.gz 2c62221ad3b956d5467a6a444df65c333deb6937 3020 ppx-tools-versioned_5.2.1-1.debian.tar.xz 48494435b6d502fe31ae67085bab0aeb765b62fa 50452 libppx-tools-versioned-ocaml-dbgsym_5.2.1-1_amd64.deb bae6cea3e1d276856ea2cef2bed258e5be5d54eb 1690112 libppx-tools-versioned-ocaml-dev-dbgsym_5.2.1-1_amd64.deb 76e7b914f09b77fbf460b62f704bc3aa971feec7 9966836 libppx-tools-versioned-ocaml-dev_5.2.1-1_amd64.deb 2b293d1a9ca71889c933c45f2d19cff758f4bd96 30280 libppx-tools-versioned-ocaml-doc_5.2.1-1_all.deb 7e74358079fbe95915221188e465f857b825b964 753392 libppx-tools-versioned-ocaml_5.2.1-1_amd64.deb 342596babf88d29fb258a54e2204e62073ff3d88 8194 ppx-tools-versioned_5.2.1-1_amd64.buildinfo Checksums-Sha256: f3bffbbeff0fd903eef75f8d83b8840e4f7276dd556c36878b18930a3bcb2da2 2412 ppx-tools-versioned_5.2.1-1.dsc b03e3c1f0ea68c2d90a57ad1c91c9686477ae380efb4a07e269fad3faf745df4 52682 ppx-tools-versioned_5.2.1.orig.tar.gz 2f167b61e94fff5bcf4cdc10e7c63f720d6e0acd4a4810abb3e4d0e442564b39 3020 ppx-tools-versioned_5.2.1-1.debian.tar.xz 75d82f8c5c6417635d3032adf432d4ea71b96062451e0829297842fb072b621d 50452 libppx-tools-versioned-ocaml-dbgsym_5.2.1-1_amd64.deb e155949aaa2c15f7b3c21303b7507d22f1f35a9786d8fcd07008dc55bcad04f5 1690112 libppx-tools-versioned-ocaml-dev-dbgsym_5.2.1-1_amd64.deb e1a3aba694afa3c340dd40eef89ca07db60113e60b1d5cb1a72cde11857dfe98 9966836 libppx-tools-versioned-ocaml-dev_5.2.1-1_amd64.deb f9dfeb73c6b5a9c4c446719445134c9ae0bf8d50969f515d8fcc066f370c5ef3 30280 libppx-tools-versioned-ocaml-doc_5.2.1-1_all.deb 6fb33a62de03f014dbbc274cc636495608d98072c501a40914976cb58ad9eddd 753392 libppx-tools-versioned-ocaml_5.2.1-1_amd64.deb 59ce9e0bace38f140614e4745adc82fafdd7c3950d0d358576042a6fc91bbcbc 8194 ppx-tools-versioned_5.2.1-1_amd64.buildinfo Files: a5f3e893ab3e4ad58893ec5b08735818 2412 ocaml optional ppx-tools-versioned_5.2.1-1.dsc 1ae6ae43ec161fbbf12c2b4d3a7e26f5 52682 ocaml optional ppx-tools-versioned_5.2.1.orig.tar.gz 8cd378c9b271a10973fb40f4d6ca3289 3020 ocaml optional ppx-tools-versioned_5.2.1-1.debian.tar.xz c9ec0561d21020bd65af61aefa9db262 50452 debug optional libppx-tools-versioned-ocaml-dbgsym_5.2.1-1_amd64.deb 9688b6370504ef2a67cdc94ed3a543cc 1690112 debug optional libppx-tools-versioned-ocaml-dev-dbgsym_5.2.1-1_amd64.deb 327c786a4cdcee81829668f1f4f387f8 9966836 ocaml optional libppx-tools-versioned-ocaml-dev_5.2.1-1_amd64.deb 33a906370e61bab04bf919a04e1b2d9e 30280 doc optional libppx-tools-versioned-ocaml-doc_5.2.1-1_all.deb e259ed7c84f16bc5f71d1a5e96c9ede6 753392 ocaml optional libppx-tools-versioned-ocaml_5.2.1-1_amd64.deb e936c9b237d65c80f1aaebf70d194def 8194 ocaml optional ppx-tools-versioned_5.2.1-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEE3wGpIpcm0PpC91cGbaw8RIdzOBoFAlwiY4QACgkQbaw8RIdz OBqamw/9Hh9QvSt6Ekv6tySTPytZcw1v2ymNbZ90hbFi/pgwPRN+uJq3uOMgGKtF 0pQQnykYJEshpSvFUwU2PXWsXAohbCHNQQWghIsf7wDacNIOD68rvywL2Gf2+F9V 2umuOPwTTzThvBBkcY8oTQip4DX6xsLs/CjPz+PugDOCkEQtwIOZuRGviddw/KX0 kGD04N57kql6nGS7PL1SHeDS6byp2d6ME8kZ+TKOt0eVoWPDvuRxDYO1GtxLN/aV l4CgqAC5T9VH2uMMIPPsoENLV7Oxa5O2Y+GQhyagq68T27XhgildyTjVG7fw7I09 kW70L3aUY3XJHz8G6RU3CH/a4cQMGczQiWyRbShb89/n3zZJyTs21jZqBlLebv4W wU5X6HjSF1lNAr0Z6Vkq73Ej+b23QGnuV+6wVhX4QOF4MTVceZR3XjSx8FzbgU+7 hwdHQLn3g8ZYUYFo6zf1kecLnLGa4Dd4zNxHfwOQQWtsxlvkCZVwNlZfSN0rwAfx eFjOqGMQys++F3tiP3IrGXUae+zWWPsF51l8JurPVX0nFsIzfuc0XBixY+bgUj92 yBWnRJ+jmBCPylzZ8xevnNkN73nFgzRuZPpr67Spj5fWdm2qr5pozCpj6VPBIEwp VM19j9l8mebt/g3C6Sx0W+I73aWYjzl9r1yKw3FwU38oQNzNN6c= =cetr -END PGP SIGNATURE- Thank you for your contribution to Debian.
Processing of ppx-tools-versioned_5.2.1-1_amd64.changes
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 libppx-tools-versioned-ocaml-dev-dbgsym_5.2.1-1_amd64.deb libppx-tools-versioned-ocaml-dev_5.2.1-1_amd64.deb libppx-tools-versioned-ocaml-doc_5.2.1-1_all.deb libppx-tools-versioned-ocaml_5.2.1-1_amd64.deb ppx-tools-versioned_5.2.1-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)