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