Accepted coq 8.12.0-1 (source) into experimental
-----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-----