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