Back to coq PTS page

Accepted coq 8.9.1-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 20 Aug 2019 05:09:34 +0200
Source: coq
Architecture: source
Version: 8.9.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 coq (8.9.1-1) unstable; urgency=medium
 .
   * New upstream release
   * Fix FTBFS with OCaml 4.08.0
     - add libnum-ocaml-dev to Build-Depends
     - apply a patch to fix double loading of pr_dump.cmo (camlp5)
     - remove a failing test
   * Remove Samuel from Uploaders
   * Bump Standards-Version to 4.4.0
Checksums-Sha1:
 4b34dce00aa5c061cdc905512692560d29555c7b 2186 coq_8.9.1-1.dsc
 3bc964f89ffcf785dd678dd82d6428e83189fac5 5399586 coq_8.9.1.orig.tar.gz
 4488d02276e8b56904d30ff8e42e8aeb21a001de 29528 coq_8.9.1-1.debian.tar.xz
Checksums-Sha256:
 9cc136137f72c9b0cde860672c97a14a7701cfbb34ea306c49a0658a16efad20 2186 coq_8.9.1-1.dsc
 ea2af8f6445d8ee4cdca130ed4532383ac42b9da1a8d2e422265a142486420f7 5399586 coq_8.9.1.orig.tar.gz
 252b6c755badbff55986ee5d82311bae0e4067f127c30f4960bb16d352ac5f5d 29528 coq_8.9.1-1.debian.tar.xz
Files:
 657fc22621f58c2839850a7d835721eb 2186 math optional coq_8.9.1-1.dsc
 650755e1b622af8e76df22d11f206503 5399586 math optional coq_8.9.1.orig.tar.gz
 ca032e5d0c994f239d24315a324ffb79 29528 math optional coq_8.9.1-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl1bZb4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB+8EH/AhY5/0MqNLQOAb7iQYDAP9lxxi/Iu0A
js15D+do2cagatVb1wWHlGd0ilScIzTtRpzuAL6RjD16iHEzOL/+hIu5ZVifObxk
H0kFrBihXYP4PFjraPIY44qwv1c5Pd1jFa1duOpfGp9A4DW5fIJOwlT6l+DerxuW
ezbvXIYj+cwmNGTU/ZLtTNAZS3rIxHqFeJC2K78vtL60mWhHW6bR9Gkf4vIovUrK
2Cvlc3iv0ISZNZ/ofcbpgfgdWs/FXm+iiwNzfwJvsUWRUwTulK+CX918/A4VqMQB
LzUamqCGsNYh6Dg8ft4xmrMUmFRgtMGzq/OMuhoUEhc4/EM/jMbVPAM=
=txXU
-----END PGP SIGNATURE-----