-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 16:56:02 +0100 Source: coq-equations Architecture: source Version: 1.3-8.18-1 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.18-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 789b6bfd87313c8d8e455159e9a730ef46066622 2166 coq-equations_1.3-8.18-1.dsc eab084c37f1ec1900e9c4b929c58869011bae18f 1102730 coq-equations_1.3-8.18.orig.tar.gz c8a27490eff7954aeb6f1082584fcf8dd08f376f 2640 coq-equations_1.3-8.18-1.debian.tar.xz 2f7da0a27d974210f478d1225aeb77f5c6aaaae7 7926 coq-equations_1.3-8.18-1_source.buildinfo Checksums-Sha256: 490426e6920917ffa023eae8d6435e28218cc1a00d8b40ef3dcdcdf6846ecd3b 2166 coq-equations_1.3-8.18-1.dsc 4bd6c7984787fa7ae8b8f0fd06e5a1e0ce7ea82afc190f47602cae1f0e402ef5 1102730 coq-equations_1.3-8.18.orig.tar.gz 254af7ff18c2220d3e08242f2ab1891be83abc0a09f65a69a64994eb6214ddb7 2640 coq-equations_1.3-8.18-1.debian.tar.xz 99dea3608fa64bd90cacf8ff0f06c9040af5cce6aa258120fbb41ce597cf4f2b 7926 coq-equations_1.3-8.18-1_source.buildinfo Files: efdca388079b103f7657954d909a9c1d 2166 ocaml optional coq-equations_1.3-8.18-1.dsc 1a2bada154ceed57fe493b9180f73f50 1102730 ocaml optional coq-equations_1.3-8.18.orig.tar.gz 7c0812d459bb461cdddf8a09ece5db1d 2640 ocaml optional coq-equations_1.3-8.18-1.debian.tar.xz 601f8171e07123f864d748599fdf4dc8 7926 ocaml optional coq-equations_1.3-8.18-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYG0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRP44P/2XgwHoniXoKWaweuGOK71ZWjRQQFXZN sqSLiSEHdHWO/pA0MOhXfIOA+NPXKt8BzPw6wKvK1bGW7Q3/tGZhI7HNFuwCA9/P teZvutpjiJIBHpY4FurN5EckEyzzpdPpnpqwd99ng2vNCKOucVkgF3Irf5mczEcQ zEjaeSdonCcpEP0WXc70ixYy9XqDW5JNpkRu0FNaq8L+pKZ743iZrT+53M1mXTZ9 b1lTj+7dol5Z8nlxJoPgqHlpKsgdpAe+YWiRyPbSvDR0uChcjbRXvoEtu3zlnRW+ MWvWQqYoA9Jboj/Hffv0FVilBxYA/I1Z6Hi2UYOp5+A0p1owFspfnbSQXPAKdDAZ 7uTPLjAWdk7JeP4ZsPEoj5j6KywmxnvuOpvhMpx615ytD6Vioh+mkb6ET44Z1bJt PLxejWNZXavpOEyXVx/7rSRlMjnIP1jNZGlEwp90wColphUgp2JTuAjZMgrjRAG0 /DNN6K4uW/tk/p6kqyxfss9JOdBGL1jNw1nK2InzboWlL+kjJdg9Vl/iWvamjQ2S 3/Wa3qZR9P6Z0YwaVABoU4cmOyUtduCCuh/WeoSUBNmN56B2d8oMQZ7YLDQMe9yW 0pHaAqyHWOPWr4K2qWALSXx1G5Hc67WTQiNI59ENk7sykkHpnZUlCuLzWb1Fpkms wq6yZg0tQ5BP =Cz+x -----END PGP SIGNATURE-----
