-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 16 Jul 2022 12:22:15 +0200 Source: coq-math-classes Architecture: source Version: 8.15.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-math-classes (8.15.0-3) unstable; urgency=medium . * Simplify autopkgtest. Checksums-Sha1: 5058ba9a85778f0a5cbdc4f2189e4812b9c1019e 2159 coq-math-classes_8.15.0-3.dsc 92034a319131f0bdda897e7c9a7fbcae0e2fcb80 2576 coq-math-classes_8.15.0-3.debian.tar.xz 491d3949571e18723e5007909658a6f20cf6b2d6 6910 coq-math-classes_8.15.0-3_source.buildinfo Checksums-Sha256: ad6a64b3d2fe550facb62ef93d0f731d7bdcd1e0e1748b57886807926b2e0123 2159 coq-math-classes_8.15.0-3.dsc 39b36037108b12ff6caf03166a3f867ae559235b441ff11b4b4b51f4f39b1f37 2576 coq-math-classes_8.15.0-3.debian.tar.xz 64fda304d5282555889e1968d0f467a9abcee10b403fd7f3879fecc86a1a06e1 6910 coq-math-classes_8.15.0-3_source.buildinfo Files: bb513b2b8f6dff2fe24b3710d8172edf 2159 ocaml optional coq-math-classes_8.15.0-3.dsc ed558af23c0c021dcd2f1a7903e7d640 2576 ocaml optional coq-math-classes_8.15.0-3.debian.tar.xz fa95beadd45fd87c593c84f7a4addcb0 6910 ocaml optional coq-math-classes_8.15.0-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSkYcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRYhMQAKIpLttWQUD2pU3winCIrWtimKK2PmkJ N/zCHUm5iVfKiFtFtnHNOXcu07XHLPdGIxiCjxGewsR6GZMmiD3ndfNXA49wEGoO V51VcbqJqH/+WbSwwrIzkvOBLq6tnJNtV6Hi+MhxjzHcAmuaam5jcF6MJvAk0VKe AGBc/mhTSCgL1g2v1S7+ibbk29snrszNMG99osfB2eF/J5ELHWPJXTiYILR1Wqvl gLoOgmIoE2yN2dP8lFaze8oSgzlPjc3nkSvN7er8k/7CqGhXWj4ADGzmBuA0OS2U 7K8tSckyrBnSm+NVi41CewRLAggM/bUx221dIB/Sbo19yhEhVfjINXghW0znJzNP UvQgc5dA/NZJxbbD2nkMyE5XtrikTNMNANsUSaqr63q1iCdSQctSOQqmaAgh/4tR RF4FOFrQFidpYJXvHpSZE77ZueHRwPFzrihrPRzCn87i7MtVQWYRGcmOVCeDn7iN 6WTEq+k8toTgXeuAj4tqEsn1jfWU5zbH+qMng2jb+OrLGYmOkJeu/Bxk4H0foCrp la/7rIsB+tiuqkhxX7luEkdsmTMY/N6mpmtf/KKQlXiXhh5AxJ9ybpSsgzNQR9AX Rjp8dllk2lpmF+iK/oxlRTcRomp+VFmLYgMj+woVb1kavdZ7EapjFpi7IMVQnX7g n/zN5MHysuOL =J2Ym -----END PGP SIGNATURE-----
