Accepted coq 8.14.1+dfsg-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 17 Jan 2022 08:54:23 +0100
Source: coq
Architecture: source
Version: 8.14.1+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.14.1+dfsg-2) unstable; urgency=medium
.
* Make the ocaml libraries available in /usr/lib/ocaml
(so ocamlfind sees them)
Checksums-Sha1:
f0df1a9b72ee67119c143964b8ad65c7d7547344 2607 coq_8.14.1+dfsg-2.dsc
f3f58555e944fb558be622da93fa8235e367cc2c 39952 coq_8.14.1+dfsg-2.debian.tar.xz
435882af12ee0196055781087b7411d5a6035fd5 15549 coq_8.14.1+dfsg-2_source.buildinfo
Checksums-Sha256:
c72b53b8127242b060fe58bb1d4cf36de53fdd50f5e5e7a549f0d395ef57fd74 2607 coq_8.14.1+dfsg-2.dsc
1751dba3ae373c7fe7912108bed06f0c7e7ba6d03aaf46063a20e2c05df9d1bb 39952 coq_8.14.1+dfsg-2.debian.tar.xz
17c1aa870bbe71599eb5e5aed424d26c6af3a2369d7d9dbd14335218b2150314 15549 coq_8.14.1+dfsg-2_source.buildinfo
Files:
800380b4417628cc173efeadbd2524db 2607 math optional coq_8.14.1+dfsg-2.dsc
781002bbf404d706d3eae65a04ccfd05 39952 math optional coq_8.14.1+dfsg-2.debian.tar.xz
600cc0b2148f6faaba66b989c9857935 15549 math optional coq_8.14.1+dfsg-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlIPESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRo4QP/2BVe64e11RFGcmddU7VIr+UdMXHPR5z
wiK31SMiLvX79mvUjCVIlXpg87W4PZBUk7UGscfKBN9XTDiNmbS63tTLab5yjs+b
sfLzr9eWWBCdgcPdPlwY2Hnlpx2XGBYwpEopMkNeSDvHh0hrUjynVMXhxV0IZAHX
rL3GuLvoBjt1zMExEMJ7RuwpoSgtLjKJHC+cOur9sOkLGMMbm0u82KqlB3L0SkV9
/hT/+iRL8BxYNL3i5G0AJFKBU1gHV2wf3x7OvgWfQbbHQ4xF8EEcdNrBCu27X+3J
57IftvjhlhKShXRbbArk/Ctt/NqLHWmD8Cm0qw9HYu4su9YucrOcN74cLWfw6okj
w1qZRnspXsoSJ2JTxOgWxQjv3IqM+5KuC02Jxwj9CblZp/wzF+A097MD3IyeiVtU
41rx3upcG0G01kyFAubLWFCqxlu56UZXFXfV3lrbyrYjb5Og5HktuFUHVo26BLfQ
Eu3kmAVIcatxRw3sAgZrcL4EKYtuFtdhBa0PBe5waGkanyIqseq3Y47WLMqTKohX
0BL/GjmJ38ZqgAb5bmv6cN+N9+PH+qSQJyXGqLN54mMus0enYC6Ackh6F33sBbHO
2I+Pn5ovgfi7EJelYxufkqnKznfu82HYRyufIXDXcjR+EY39dia4stlOO00sMIls
QA7p1IyNiRTX
=RSUT
-----END PGP SIGNATURE-----