Accepted coq-equations 1.3.2-9.2-1 (source amd64) into experimental

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 10 Jul 2026 17:36:54 +0200
Source: coq-equations
Binary: libcoq-equations
Architecture: source amd64
Version: 1.3.2-9.2-1
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-equations - Coq library to work with functions defined by equations
Changes:
 coq-equations (1.3.2-9.2-1) experimental; urgency=medium
 .
   * Rewrite d/watch.
   * Bump standards-version to 4.7.4.
   * New upstream release.
Checksums-Sha1:
 b39f1a1a0c2b436ab2552fc4df9ea086f9d81514 2230 coq-equations_1.3.2-9.2-1.dsc
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 311d454999373ebe87416a3a9b61a34868b2081f 2788 coq-equations_1.3.2-9.2-1.debian.tar.xz
 a6a2818a9373bb382334b88a42ea6e7bc8dc5782 8085 coq-equations_1.3.2-9.2-1_amd64.buildinfo
 f6334c3f4f816ec33ef563e716037d0226bdb303 9335768 libcoq-equations_1.3.2-9.2-1_amd64.deb
Checksums-Sha256:
 4110c706428656f310fe66b12e80d55ce865d21cf4deecfdb267594cfb2e36a4 2230 coq-equations_1.3.2-9.2-1.dsc
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 9c22ff1b72293d566af6b7c5788df9c106ee6c05d8fde47b76f68b34bf206418 2788 coq-equations_1.3.2-9.2-1.debian.tar.xz
 eb9c3ba88819d087c6f8d0802e9e9b4d341cdc863cd08ec18f46570cbcadb3db 8085 coq-equations_1.3.2-9.2-1_amd64.buildinfo
 eacc58a83ec1e2652447f6b2f30d641ebdd7b281898205c1349213d778d9cf18 9335768 libcoq-equations_1.3.2-9.2-1_amd64.deb
Files:
 6dc1dd38fa2ac15ce45b8af2389e9f0b 2230 ocaml optional coq-equations_1.3.2-9.2-1.dsc
 6128b925ddc1514f6497f1684d8a0540 1128151 ocaml optional coq-equations_1.3.2-9.2.orig.tar.gz
 6e625702a3fe151a1857021e550e0c7d 2788 ocaml optional coq-equations_1.3.2-9.2-1.debian.tar.xz
 fb686fc963b1421fc4ed6ae35b2f0706 8085 ocaml optional coq-equations_1.3.2-9.2-1_amd64.buildinfo
 ab9d551ed355c4ff239e647ea7727b14 9335768 ocaml optional libcoq-equations_1.3.2-9.2-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRFVUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdklD/4g2Jt+7U5gRJgagDuQ/Rhl
tWVj9rlGWoyY9ND2r3WlejEZFHIdlng0idvtK/0dkFxjDuOLo2nXTd7PES2sA8PZ
tTBamU555YA9Olf1N9PkyQ83qDPrmuBx9Lj4uO0CG7DDG2zNM5NCbBP+QwC0/Qq1
1mHsLU8BugqgCy+ngjYNrxG4mdImU+BhpDeZQq8/Xi0Xc8rbrcTpQm4EU/C3jOd1
9u/CtGBhKp942VN6Of9USVIJbG3/vf8vg1M5P7/QMhN1cFhBJzU/4FTLY0/j5+U4
X0+GcR8nyVvThrpOu8d8TB9X3V94/ujNkfhllVbS14JPiuTyPxxksQrKAmPYZjQy
T3vHEXA5J2vegz8/aODoK/hm4RT5SRs0ZtnrSau/801MUcCSGMBV50tq0jVYcN5E
m0opP6oEp/xRxy3nBDWlmqyBkJOrfvsHb58tEddkeRfag2iqT58yPsWU9zZbk5dL
JyISer9ezdY9QWNpgp3rP8I1tY7atvX/JoElZkTgyjZ+2voyS3ABOKDC6SLVs25y
ILairQeOxzlMwOaBXHv5gJzWJYYYlkpxtv3zBlo3LmNpZ9MzLPlFAzbcKSSGq5i/
+im0EwH8xFQJ7dlIoIewAXvNGw4UNE01J04XLeNfjJTa5O9yvcsnd+vNKZ43SzQU
oI8wQPRxomx+vqBFoLBBFA==
=1Ilf
-----END PGP SIGNATURE-----