-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 21 Aug 2020 20:24:43 +0200 Source: coq Architecture: source Version: 8.12.0-1 Distribution: experimental Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: coq (8.12.0-1) experimental; urgency=medium . * New upstream release. * Refresh patches: - remove-tests-that-need-coqlib - remove-bytecode-failing-tests - avoid-usr-bin-env - python-scripts-libraries - skip-dot-pc - testsuite-bytecode * d/rules: update COQ_VERSION * Update versions of build-dependencies, according to INSTALL.md * d/*.install.in files: - install ssrsearch plugin in the libcoq-ocaml package - install ocamllibdep binary in the coq package * Debhelper compatibility level 13 - drop override of dh_missing * Set Rules-Requires-Root=no Checksums-Sha1: b125314316bc9efb1c4f49fc7285a358cab7f977 2483 coq_8.12.0-1.dsc 5c1cea54844930f2c4d3fa5ca48f94d8b9ac6aed 6008211 coq_8.12.0.orig.tar.gz 2862c8a3335742154f33f4ac3104dd2f227ac6dd 31512 coq_8.12.0-1.debian.tar.xz bbe4cbb9405f864bbcb10cce8d88db0c61fd4799 14396 coq_8.12.0-1_source.buildinfo Checksums-Sha256: b39747c7be68b86411e88e3c8aae10cdea32be9156a27a04088f539214a5f94a 2483 coq_8.12.0-1.dsc e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39 6008211 coq_8.12.0.orig.tar.gz e6b171299057e34ea50a58854285f604bbd5bf1b43de06c164d983a205763e5d 31512 coq_8.12.0-1.debian.tar.xz 3226dcef129e9d82b86d60823f4b24a7205f104e9d8e26075fc36f3c9b32a356 14396 coq_8.12.0-1_source.buildinfo Files: 294c4f08641f0228a05993a0dd30bcec 2483 math optional coq_8.12.0-1.dsc fb63dc40943c353977fe4da5f0e88002 6008211 math optional coq_8.12.0.orig.tar.gz 838f9216721e973c60239b38048b0f65 31512 math optional coq_8.12.0-1.debian.tar.xz c935e8c7392870b59ae7a38ebc9ca2a7 14396 math optional coq_8.12.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9A4fIACgkQdFxHZtTK zf93IA/8CxfH9Q59TVYESwbQI2nsTJtB+6IjfodD9ycKFVbmQJYaXTRNt+azX71y +cIxqbePDbcx4HeZxwQvecz5KdlztZ/nt7aLGYPCZFRo6FPDQrYUSjw/5X29yMCX xiIM9Qlv/MMQ/MAPWBByQgNrkmTRnfOwUHUDhG+1SDX5qI53f0sj5CMFL+oqBy7+ K0WBSzxnM3Zr9vem3bekdm8znyKlbi0PZBW5B+u7yasxyyNHZ6Q8GvYGJNln2u/v jA4I2wtERw1eU15U8nlEX3kRigmsBhW2SARDO9Kd7epBm9QFJXbcsAfoSsSjXO+/ u1cKyGAVOMsVd5Fu4OtdMB6iW9xsNNkfQEk3tn/wKnD7wDswjrmZ7XurL6qiVzgg 7hFLNeXIkgagNk60YfNZ7fB5+icLJ6toCXE87Hg7r6alzaiw5JLSxkBQp/sJBGEG SNrv208o4TNMAKUNN4FZ/+7G7+WdzrskIJJrBEOA9Wwc8ue9JGoY3gNqojJ2wiI+ HxtGZ37/rxZDbfalmHAanHPs5Wo7dsi0xoxdoFEftML7BIIFZTGPRsTKrR6RGTSu 53Ebz4ZRFjGpT2T1+ravp3WQYU8HWbGY7HY1Q7x83wD7u4aZXv7r60CamO2Sn+y/ UQogc7sMJQ2sHrwVxKnPqkp8OXqDaK7Vq86bWnJ/cnnOqkXIhUU= =dFQm -----END PGP SIGNATURE-----