-----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 <[email protected]> Changed-By: Julien Puydt <[email protected]> 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-----
pgpBe_1kszLqm.pgp
Description: PGP signature
