-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2022 14:20:14 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.0.0-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-algebra-tactics (1.0.0-4) unstable; urgency=medium . * Use dh-coq. Checksums-Sha1: a2a29e62873ca5649ac5102cc9dd2ec6f27d102e 2183 mathcomp-algebra-tactics_1.0.0-4.dsc 50cb43d3b00a6870f593868bb4d0ab9ba30b2ca1 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz f2f905514e0cf2d3d5cb982932d991ee3c968564 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo Checksums-Sha256: 33aa87361fd8230b46005261ea92d3934e66cdb32ff3b31582c29e999e2702fa 2183 mathcomp-algebra-tactics_1.0.0-4.dsc 76b5fb621edf957f854eb1e17735de49221c7a5b09db8380f25c951b195ce727 8508 mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz 2c5b587432eec12f0095842e4064622b51adebbdfd4a699f9490a860f178fd73 6839 mathcomp-algebra-tactics_1.0.0-4_source.buildinfo Files: b5e984ddc288c5959ebecf4504c1d766 2183 ocaml optional mathcomp-algebra-tactics_1.0.0-4.dsc 6169d5aaadb52c1f856b5ede95c977c6 8508 ocaml optional mathcomp-algebra-tactics_1.0.0-4.debian.tar.xz 7801fa806ba4861ca53d80b22a03ae12 6839 ocaml optional mathcomp-algebra-tactics_1.0.0-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKm+mgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/98P/iSj5jI+S3BXHi8X/pZhEp58+OvIn/sp 3U/2bzZNbP6Ne5ONJ6R4cgD7zZ0cxOP4hQ3PXfi3UqqtzUIssUISgHiZrk9KVx+Q QtLjUux4nFyrCQn+k7fVyYEHwTl6mjECeM10ydFdkcTA0am0KRg9WyWPkR8Nor7+ QhY8sUaPWAPBhh5RmDeMoodfa/PUAYWfTw7jDGD+26GUApzpjEMv/ihnIpKa+y0y IXgCiMBtY3BXxsT9IICmG71HxzfGNDUG8nzkujddyJ2yIrqZFDHzIEG66lldZZVV kzDaecRFV6LHaGIwQh2yPOOEMwnpwOUi3GCvdwVx571rlFNiALHokiaU5fnyNi12 0nRJs/usOwoUM8BxZhfV6HPG5HjXdI+Or2gS8Xkdm0Lf0firKHlsyX6q4rfJ1QjW cCCO/ub9f1NHgmjIRbsnPuG0651XGecX1w1cY5hu9i/V7lwtDnLQuEHzb/JIB16T F1M+8/i6WakPwWSL8JydB+N3+6DdvoIa7Zwtux5JTePKTuuB3xVhWipE5TZQ6K2B hyoGMHYGmSme6vIYJMcInXsD3Z1ZBvX4S3ZC1/fdut3WLXEa/kdGAXRP3GEHT3M2 ub3ZeglRk+OqU7YBTMJW2kC/vIyLV4hn2UL1AkEbK7vkqSdfFzWzLxzALbMm5CQn ruk+sAjGe34f =9jbW -----END PGP SIGNATURE-----
