-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 10 Apr 2024 09:29:16 +0200 Source: coq-unimath Architecture: source Version: 20240331-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unimath (20240331-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: e1e974980d3316492fa0e2ad726e394399b9e479 2109 coq-unimath_20240331-1.dsc 10c7f870e46e293b3e96e88bce1433c54597d6a7 3324158 coq-unimath_20240331.orig.tar.gz 5ad9d0d2ca05e950b3e0fb41e66b5cf5c4b72df4 2116 coq-unimath_20240331-1.debian.tar.xz f82bf8e59bf7d8621b0acc7798429a3fef3f2e0f 8080 coq-unimath_20240331-1_source.buildinfo Checksums-Sha256: f00fccee8d7dbfcccb295337b7b1a87f6890dae69dea42e03401c207147cb9a1 2109 coq-unimath_20240331-1.dsc 613e5a9e1fc502269b4744209827b853505999ab28e59e60ba55e6fb6daa0c0d 3324158 coq-unimath_20240331.orig.tar.gz ba4c34e19475eea7a62ea76ff776e5b1b0bbfa5a242160f53441d5109aed9fa0 2116 coq-unimath_20240331-1.debian.tar.xz 60918efefc992d66f6ca1bc1d7e1a23c5acff859a72ec7aa85fd1320439f9bdf 8080 coq-unimath_20240331-1_source.buildinfo Files: 127bcd14cee192bc083fe4a5f81e9965 2109 ocaml optional coq-unimath_20240331-1.dsc 64fd6c6c604f56ee3a6387aebb3d2981 3324158 ocaml optional coq-unimath_20240331.orig.tar.gz e93e9f6020b3f172d88ab15686f19a2b 2116 ocaml optional coq-unimath_20240331-1.debian.tar.xz 71a2c4aafb975bb3e32820c390325d97 8080 ocaml optional coq-unimath_20240331-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWQAESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVKUP/1H+cZCktGRlmUBnybV3zERfbxn3ijoU emtzJeILPLXkR3hv3y+WHjHnxlSBfuDuW1znJiFZNtJNHsddpBYg+ToPWTbs+Q/M gazYntEILy3b9ZVE8/Y2a7GSg4s6PBGbqHl6ispk0ESFdZVqz9hLaSxicHnhaaou VrsORQ5RxU08bSP67g14mPgV3Fq6hcEf323lJ1ietxvJQYrCJCy2Q+5UlLUVO/xO e5q0H3X4TcG15PnyN7olnzTGCNZMfh9NCsjSIDXIp1REIevzxKVo6nHleCsanuzT BO5N6emAZApDQgqX3tq8ZTwXG8KLJPJ3BuGBPBkS/oF71VppOERHERn1MqlmcL/L IrXLZlv4xYzJreL3n58Bk3uwbfg32p/TdM+MGy2ZpFHCVL8FqatUsguucG+nynNu Uzi8ON+ibca6gf2Oj/pzLPh/kVBnf6JXF7S2t5oQrNl1amS7MPWh6ti7tIJCQmRw HdkdvKwMuv16JlX6m/ie9vu4ahN6B3YOd9NuORyCWBu28w95eo2JBrUMTFK5gP8q IiD7vXb6+8CtsdWafJaFxGWFkr3SGmBiXU0W5Y+duJb1PA6SDQtnaUXSCATxr2Ew tk1KTf51Wq5lI3K7sp2bYKu+vWs7DnSyZrnVqEiEo+ElIm88LED0qCEwEXSPfpQS 17Is0VUjfQGb =4iyk -----END PGP SIGNATURE-----
