-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 25 Nov 2024 10:37:16 +0100 Source: coq-unimath Architecture: source Version: 20240923-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unimath (20240923-2) unstable; urgency=medium . * Unbreak autopkgtest. Checksums-Sha1: c3406c49b6b7cb9e33dff8c1b755f1451d31ba09 2109 coq-unimath_20240923-2.dsc e7e37d129e35b9745330c30075fbc5da58b011bf 2284 coq-unimath_20240923-2.debian.tar.xz 260d8bee02c66bd2d3f1351387f3984af8adde75 7142 coq-unimath_20240923-2_source.buildinfo Checksums-Sha256: 145bc63df145e376c60194bd7411fa0586f175144dca032e9c3ae1c9f7b06086 2109 coq-unimath_20240923-2.dsc 865bb2f99acfaf024ef4fe13b8aee67828e8ef4a372f6138248dcb21e90d6178 2284 coq-unimath_20240923-2.debian.tar.xz 99d3452995a5bf5ff8447741964b29555863c574285cf7f25639948e6df8c2d0 7142 coq-unimath_20240923-2_source.buildinfo Files: d1ab43aceb8f13df4ba5e404f786be2a 2109 ocaml optional coq-unimath_20240923-2.dsc 7108f45b0dbed95aae40a884f0792519 2284 ocaml optional coq-unimath_20240923-2.debian.tar.xz a6153a6137577cea6b7efe65a8a334d4 7142 ocaml optional coq-unimath_20240923-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdERWYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR59YP/iOPRacGSBVs+awXCJxrdYueav2aXHaG oO5FRrm8+mfqBy1joI7QGnpBbOHuu/7GVJmY6io2ZG5NVkelBPy9l2n9gh50jQ9h 4qRCMYy7kcN+054FDpe4zfjsbntJVHILRIVBvD/Afiz61ron7wwx2RWxk0UH+IJ/ jTYaEJuATrsKXgNQzhF8txZF0zy4qtDR+fOqNhUJkx2tHOUEx1S5BauTias1nyOy MZ/31upLOEoGmn1Yw9X0MOf+RxyLGb3HQTkDnTGXbFqBvn6FFYwO96FL3Os+iQqR 6igwxcVkZqtqJFyEfTwx6AQN22WhlRQ4I3kxAybtqZjJEeOZEEBL4RwG46ys7w0n MaZ8LfSlobPkXU/HiNHzE5zT6UEKldoWsdjrQUwb5IRR+n+dG0NDjW5lLDqsngaK kJVYIFPKQs7VdFlxs1zLCZo4cVElm9ZNcZlhQcMApNlHUrxOHri/l1ItXFP1OhFC ibbzV9jEoOd1PKSLeIDRZgYAvJgI2bXpi9z5LjHq14MI8GqsCPdDY/fIr6uA/0Ff Vsup4fSwDJKMwG/XMMcknauPWvMewXwSxO2ebasHfmzj9nL4Pa6p3qs7Rj2epT8d 4NdGZUugTFQdZSJ/OAzb9pKd/nk0cVKS/35E5mLmYRky9cSzxrf5U8Mx5hA8o2YQ xKDSYWPS+0f8 =KUFT -----END PGP SIGNATURE-----
