Back to mathcomp-zify PTS page

Accepted mathcomp-zify 1.2.0+1.12+8.13-5 (source) into unstable



-----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-----