-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 13:00:34 +0100 Source: coq-equations Architecture: source Version: 1.3-8.16-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-equations (1.3-8.16-2) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: 7b3507d2a4d0dd95d8917b2c045973a822959677 2166 coq-equations_1.3-8.16-2.dsc 90b17b659d296bfefcef56fabe3882cd0d549063 2232 coq-equations_1.3-8.16-2.debian.tar.xz caca5e10a7363b8be75c56e02992dc28bfa8c4f8 7476 coq-equations_1.3-8.16-2_source.buildinfo Checksums-Sha256: 1c48f52b7bba573f20dfd0865047ef00978561a41c12d552c7285981663f3db7 2166 coq-equations_1.3-8.16-2.dsc 6e27164bc1f33e84046e419736f11020151aef2540f88af92d2d41a003f105c8 2232 coq-equations_1.3-8.16-2.debian.tar.xz 9d5d800051356bdc78e260bb009b034ea364fe61b632ad0570685aadfd25368e 7476 coq-equations_1.3-8.16-2_source.buildinfo Files: 9fabba9035baadeeca8ad65c05bb8325 2166 ocaml optional coq-equations_1.3-8.16-2.dsc d5e440ef3ea4ed801bb1aade04814a97 2232 ocaml optional coq-equations_1.3-8.16-2.debian.tar.xz 333e99010bc248f4af31c1719328c558 7476 ocaml optional coq-equations_1.3-8.16-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRGgkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR1vUP/iJxxcj/Dw8VS3RYgkw3b8NzGAZ43Xoc 9IAfn34dg/G/BoEfTTfedFcouLrWB8h+G5/c6XCC5D94q89SdFUz4S7JcRCzKxq2 rZt6mfKTbVB/12p0FB6vXU43EGYFeKVzdp5mY11BTN92HoERvej9QF/i3T7J9zoV HUys1ZZXM7ZntPSBa4kDIHqnUe635uAiub32RvzAYlwfPrgDs4iT6fip+ADm2Cgv dFKULdlAvRhFb8cKh1rVyODJe02pARrOLituRvMzu+qIfPJmRFLy1LNKGC/yHhCx 0KIKxjMwX3SUidg0IdfKXc/SS/7113PlHPCYIEbnzALhcc7r8p+o3N3qf53ngiXQ xKb7pB+S6C1kwGi+A33nib3lV0NMPplMrOJH5HOf9ZKccRNJGZ180FniikF8klg6 XUEjQjMKkxoIqVQIFE1/Ax2dFeE4DksVIo+hfY6gUc+QQz85vFFd5EuSPnpJxLoG BZo8HQsDnMnpUv7csXnE2qafaF1qPbKwSKBcX3cBouPEK/oTuU8sXoVrLUYFXcAx h9Hfn4isYXYMm7NiFquktONdxSv3jiXAZyitQL8xbxppcx5gRgBJlcvvDhUjteSM yzrsKTF0HwkeBDkqvKD8TV05c0PF6bG7PZ6yeDVBp/IaHDdDK2JyHil/3pJchmeP cVpFDz3x1DXh =o1LD -----END PGP SIGNATURE-----
