[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-equations_1.3-8.16-2_source.changes ACCEPTED into unstable



Thank you for your contribution to Debian.



Accepted:

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


Reply to: