Accepted ssreflect 1.14.0-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 05 Feb 2022 09:55:07 +0100
Source: ssreflect
Architecture: source
Version: 1.14.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
ssreflect (1.14.0-2) unstable; urgency=medium
.
* Make the package auto-adapt to coq's layout.
Checksums-Sha1:
1570b744685f7d3f7f6f89f53c0194180443202a 2112 ssreflect_1.14.0-2.dsc
869fadb214231280cde4ec3ad34f9396a4bb145c 12200 ssreflect_1.14.0-2.debian.tar.xz
72317f0cad1a81215e83d3f53f47bcd7d2225ba0 7360 ssreflect_1.14.0-2_source.buildinfo
Checksums-Sha256:
8de30ccad1f0f8b19a9dca1b3847e38525155fac4c12ac031e42b39d3c5758c6 2112 ssreflect_1.14.0-2.dsc
131febaf636cde185428d25fb3b3091cef49cf4416b9e758916b3390b7066539 12200 ssreflect_1.14.0-2.debian.tar.xz
2416d1d50e3a790be12ce997f6d6867946820bd75a10b2536a8212aea696af40 7360 ssreflect_1.14.0-2_source.buildinfo
Files:
163c3f5041aa88ec957f71761f43bab7 2112 math optional ssreflect_1.14.0-2.dsc
26c1701162a603ecfe51272a6a0f683a 12200 math optional ssreflect_1.14.0-2.debian.tar.xz
6a30a374c58cc1f0cbc8b32a4c06b90c 7360 math optional ssreflect_1.14.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH+O5MSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRQVsQAKQYIkU42yyMyb8nd18KC9sdsLES/4Um
toWKqdiekG+D3qdXj5XXVtKXb3mkQJDYl0vKetjuRv83u2jd9US4hE6ZZEwRtGZq
eA786DXLpAI255+eXTSBsexETHk2hBBnzNUO0nj+FhDCJ8rkVjqM55oaTxjdEnnD
f/MsX54P8pEl8CfdBM7yb3FBjp7t0IjwXwMoSikjYUwBitdjVXUEyabzPsdfE58m
Nr1aPw9IwvUTO504SEY+x0UETgFVjXFfIW1FvePm5QGmLJbdpb7RvubDJ2LCJB1x
+sh8MFdK+7McqZnda/gEYDIAo16GnOjUAUm6gf10OtcPDtHZD87T3HFzRsu8xoMS
rq7e1bsLJqPbiqWzFKftTpo9lmkoxsrtAbZKlf1CAOFee3b/vCfGQ6OEOorC7axh
zSwjBRvt1l1YO9LTZ5l6V5ABo3zO7vr5mw1devN9sn+BNLOOSkRnMzFIkeAAVyVQ
SZsyqAOKVlj7AT5M70N9ZWXlC7kaHW1oEAcOz+j/wt7WOszOhzA73bZw9X8+UKmF
+mY+3BfFGXmkycHklk80jP4Of/vmhIHDDW6M79D5J3QyuCBJ4d46wGxbvniJY56b
nH+mdl8uCX74GFPFx6BPzQyjN/ZbFKYdYwnra3r8pqGZkOrQuD9+Oc4pb9ibWAYy
rhOB4fj1/T1f
=EPwl
-----END PGP SIGNATURE-----