Accepted alt-ergo 2.0.0-7 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 11 Aug 2020 10:05:10 +0200
Source: alt-ergo
Architecture: source
Version: 2.0.0-7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
alt-ergo (2.0.0-7) unstable; urgency=medium
.
* Team upload
* Add empty override_dh_dwz to prevent FTBFS
* Update debian/watch
* Bump debhelper compat level to 13
* Add Rules-Requires-Root: no
Checksums-Sha1:
9653dd894f942eb4b8280e50bca3687ee392e4fb 1899 alt-ergo_2.0.0-7.dsc
f679e6c988dad2bce8ae410219de9712e6253c59 7112 alt-ergo_2.0.0-7.debian.tar.xz
Checksums-Sha256:
b88b996dce385531be7c688eb348976aa5cbe4c5b7de39cf8d073e455961aa19 1899 alt-ergo_2.0.0-7.dsc
02f85007d44eef13827c718bbfc09a408a1da22a6a94553fbbdeb451a63f8942 7112 alt-ergo_2.0.0-7.debian.tar.xz
Files:
31cc585f4234cf907d212e7be4b54b32 1899 math optional alt-ergo_2.0.0-7.dsc
7384d2ba9f57e275f14ced90f086ac65 7112 math optional alt-ergo_2.0.0-7.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl8yUYsACgkQIbju8bGJ
MIHFBAf/WrV7YpD0rjdgeBbsPaR2Eta11WjLKgSpLRqvt0hskcIsqbU8LXO/xBqh
z8N4pWYsE4q/ClcbEKg4GuLIUIcp8C4CMGW9QNJCL9BiojXqUHkuOUXWMEk8MYlq
K1db6NNlfSV2mD2kz72c/v0AsuFUm6PjhLy1pdNAihBTkFunEXFwLNkxgQe+CI+x
ZcMr0QLSHejOQ+lqC6e+Fsk4HRTlv0TcwU+CJ+gu8hXYBUoQvGZdH34rLrQDD9py
wGFOboV8ag14C5nS6+4Ux0H2/MPi8kgjDjL1Ie/rT8p8N6lSc+Ur+e5xl5cCGa0d
EKamWQ1N5eUoscCYOqY67n8gBUu79w==
=nY5S
-----END PGP SIGNATURE-----