Accepted coq-equations 1.3.2-9.2-2 (source amd64) into unstable

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

Format: 1.8
Date: Thu, 23 Jul 2026 17:37:16 +0200
Source: coq-equations
Binary: libcoq-equations
Architecture: source amd64
Version: 1.3.2-9.2-2
Distribution: unstable
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-2) unstable; urgency=medium
 .
   * Fix compilation with recent dune.
Checksums-Sha1:
 c8b4b8db2ba8e535fb14db82ce1bc9b5fe590da8 2242 coq-equations_1.3.2-9.2-2.dsc
 015cdadf761ffb58889adb983648b3e20f7ac29a 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 b81da64b305d9b5dd31d6ff42f42b68f19a9b7e2 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz
 02b15049449cae0151009cfe869aaf3a6d4cffb4 7600 coq-equations_1.3.2-9.2-2_amd64.buildinfo
 a70ec39d2d021bb51a8835d2a06094a9d5182f0d 9095796 libcoq-equations_1.3.2-9.2-2_amd64.deb
Checksums-Sha256:
 4a42f0111d1c04b95a79e591100f1fb9eafa0d71c33c64101c19e705c030162a 2242 coq-equations_1.3.2-9.2-2.dsc
 87713b62e4516e58d1992d9b01d14c4a55b6233d696c83722c41efc35483d9f6 1128151 coq-equations_1.3.2-9.2.orig.tar.gz
 84ae43e844ef5e9b998af321f31ccec232dda74ac35b4487ae01ef25712ba999 3508 coq-equations_1.3.2-9.2-2.debian.tar.xz
 538c9245cf1ba2e4af7fc22cb86cbd2b4c7401c7ae54a6b08a8977bc7a1dc14c 7600 coq-equations_1.3.2-9.2-2_amd64.buildinfo
 52ebc698e02cd216d9eade5aba2a368c10da5ad5a37aea3a53263b14303b020f 9095796 libcoq-equations_1.3.2-9.2-2_amd64.deb
Files:
 87e782e05bdfc62234d03c38933d209e 2242 ocaml optional coq-equations_1.3.2-9.2-2.dsc
 6128b925ddc1514f6497f1684d8a0540 1128151 ocaml optional coq-equations_1.3.2-9.2.orig.tar.gz
 8152458a005b6e1df777e511d946bc02 3508 ocaml optional coq-equations_1.3.2-9.2-2.debian.tar.xz
 74232b0d0570dd0a1fc815f7d5d3fc29 7600 ocaml optional coq-equations_1.3.2-9.2-2_amd64.buildinfo
 fb5564a9f71a5fe4d6c21428cf2bc8ce 9095796 ocaml optional libcoq-equations_1.3.2-9.2-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1H8ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUXaD/432coyZKhnmiXf73U5uEck
LICB66ZJNdGmz54yPwmsudMbZW7B0+hYEnacxxa/nqi9pQNf1Zh0Xao3LUQRJUeS
mEid4Nas0b5R1wZJMyI/RLrK+uaxoiEIEy0Ia5M5WwZexoi/3KXWB4tmk7RV9x8A
xJBd3wnWe6fGM5juNpwcSX9+uLLewwOZff8mazj70F1+TNtrhLpxVjFxDxEzu3im
PTcoFwo6PqJqWmXfEWY/iyNUvrA69Xt5raD3rKON/+CDhqFroAy5RmkSuYXFSLGl
ZX0+rELBDGUbvlV5Kvem6afkZMyjlA38YsHj702VotDHtIAuBQLOM27NMac193AW
7CRJaR2l21dm+W6X5mIoAwmUEm6EvvObO4axC9VYNPRCOC7axp5fdRZAubNKrF1F
QzuC37rxAbBOF4XJxOS2wrLX/L41LxToEXFr7TcLADnTCMrx7UPc7IsYcksvXGe/
Qk6WRR2Z7OA67gvFOLun2cSKbJPSxhIIx8z0jlBJFVmS8GGglnYOD6rlg5hXLiBC
yOIiVht/UPkNElfT9ienY8CIaZZEm8jX8F3HjH7bWlakoUEnxB9uslt2CLOcc7YD
/4kR+eleRkEzUAyIK9sl77buX3Fl2hFj+bCWgkYc6P/Zzdt80wVAPVy7y2PTbTGP
b+r4gcmMX94K7ZywFHh+hg==
=P8sp
-----END PGP SIGNATURE-----