-----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-----