-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 12 Jun 2022 14:14:04 +0200 Source: mathcomp-zify Architecture: source Version: 1.2.0+1.12+8.13-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-zify (1.2.0+1.12+8.13-5) unstable; urgency=medium . * Use dh-coq. Checksums-Sha1: 7336dfa794100cec979d968e20dee06065837502 2113 mathcomp-zify_1.2.0+1.12+8.13-5.dsc 2a738d273a4288da0d9491645fae077dec0632c9 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz 148eae2786e0606e2fd1a0412f75b415a83fb62f 6720 mathcomp-zify_1.2.0+1.12+8.13-5_source.buildinfo Checksums-Sha256: 2294905607a4e404a1e14ae5846a9274c6115f7de9db3be17607d02c020d9907 2113 mathcomp-zify_1.2.0+1.12+8.13-5.dsc c294c81adb80293e15c46674ec6c8de2d1e938aca46e1368ef6ecbe301e86841 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz fffa157917b9e3fae2219e7448af4574bb1d687fd0cc62e355748f2f85acf634 6720 mathcomp-zify_1.2.0+1.12+8.13-5_source.buildinfo Files: 939c1853f9186128efe85c92c12ff501 2113 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-5.dsc fa2f63f101c10f90276d72be0a80a942 8444 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz ee91a3034674dae852a2dd05998648fb 6720 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-5_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQ0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbPgP/0rFOqYSe4SaSfHOfJXBi0d1Pcd01fM9 1pled+BGgafiWsfXs4ZAFmvb7jyhdTOQEkOoFzJ+qtfMwSuKCI8VJf9X8q7amMhY w8HiZrcJlDgd6oaxJcUBCKpET/y3r9AQxVa3rBZrybfdS44JPZ+2l/oaeOgsNuio OlgbofNh2wrJIJYGrVzQYfNv1QK4GKJ+DFXiWtM7oGjr6GyhDI0QLx3mbUAXcyML JZqxwmQ7GqzbXjfaNyajehDhfpzNuHkW8prI++63uONKK974Cb4ciG9skTtYrIRP 9v28ilL/EDl5Ry8vMrbHxy4f0/202c2lGjevMYZWq86Pvk17HX3eCa2t8VBQh/qr QwzGqP3vnWsbtXfgNaAPbzXzOEcx8C1qTT5xNZAz8oiLmjxowvxuBdmKBHn/10DO busxkNV6BpEskxUHmzf9FIv5pzjOniTtSB22uRVB2UhS/usdM/tnyEWNxMuBNU1O fKtg6Fn5/F4OHynjsZ14U/A4EN7KdF2NGw7Bv8kUHAp1C8hvhk1xJuqvBrMqhwP+ uUtcmlxYgjc9Tpn1gbpLhgYwdJYxzmZdWdmURXtU/CX/XpXtWlLYqD4x9dQJwooI Sw5R/8grKlMPwJg8HNiCiStZ8piR++DSsK/8yVAo6omgyU0pWkN64g5t+b0lIReD Tkg4POhsu7dH =k2hR -----END PGP SIGNATURE-----
