-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 16:04:44 +0100 Source: coq-reduction-effects Architecture: source Version: 0.1.5-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044395 Changes: coq-reduction-effects (0.1.5-1) unstable; urgency=medium . * Fix d/rules clean target (Closes: #1044395). * New upstream release. * Remove obsolete d/copyright entry. Checksums-Sha1: aa4a27f2df740541b509daf3259842f717045a9e 2214 coq-reduction-effects_0.1.5-1.dsc b6162fbeb53b7bd5aa9181f438a8387bb6aa1727 10369 coq-reduction-effects_0.1.5.orig.tar.gz 4bdb69f37a1ce022fc65ab5ca69a12da8de47e19 1708 coq-reduction-effects_0.1.5-1.debian.tar.xz 035a3bb49e5c7194b4050bb8f4e42f41294a34a1 7902 coq-reduction-effects_0.1.5-1_source.buildinfo Checksums-Sha256: f7172525d5ade40133c4c02d8f12d5dbcdc7e175bf846f0d5276e176fce43e92 2214 coq-reduction-effects_0.1.5-1.dsc 1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352 10369 coq-reduction-effects_0.1.5.orig.tar.gz ac9a4b01732cabeb6bb8dd1c1acda244646a9cc9e89302687383c646cb4642d9 1708 coq-reduction-effects_0.1.5-1.debian.tar.xz 1ad96c30c69f3a27ca96528d17b6f78e43abd70ef5fc7661a418e27cd30bb27d 7902 coq-reduction-effects_0.1.5-1_source.buildinfo Files: 2a26660535fe2c1a73a98b07e9cbad8d 2214 ocaml optional coq-reduction-effects_0.1.5-1.dsc e913b9fcfe9ff88a5e637b8e05191a0e 10369 ocaml optional coq-reduction-effects_0.1.5.orig.tar.gz 88cf11672d2989e0eae39a40093b120b 1708 ocaml optional coq-reduction-effects_0.1.5-1.debian.tar.xz 21df3ddf29d0304accc2ed1fa35188a8 7902 ocaml optional coq-reduction-effects_0.1.5-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEVCESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVjEP/ic6l3VT7kkXEXEB7O+FbPZQsYlj3dLK cnxB3k6HOn5ZWExhD/J2tckHtUCZxuRIzejuWyuqQO9UxgucGxy/7C7hG5QIZVJJ 3dvhKRPwVZxi4VKqeaDF6Kg3zh8Fam0J2GES78N3TzDDuTZOu23DguXnKMLgEN79 eVkEp9GnMhvjOmI037ZCbI3TX7g7GxljPPLnhnoR/wSshPHfD4ZjzN6FzdGV89GY WHlhUYPkvBaXICQgiqsHbYfi9SmZxctOvebXJws8SwPo71omSJhWOtUYp/p2m81h QmndCIhACvAdGsPIbmq3C7gnyw78+W67fFLPaydmuQsvfCgnaJ9F/NsLwleYC6lD m0I4Ckg7fM366ZoXmNwGK8hQzbeUjkiFXYEcGVwixbbffxSsC25uDpoqwy42WY0G 4yd0Aecojp6JbabnlYrJ4yhy5MpKHw5kX3LCBatDA435ZW0yuAGKpx0+BP4EFRC3 5///KZ25dq3K81fC9peK98Nfkq3dFRTQnXGMHknleQGBmnAf9fFIJtkfFneDb+p7 JGepvzlE0+VeAi0GQ73eJW45zxL2ht2x5baDMBDvFx8mQoWFOgMB4D8RjBBWusZQ nsBHKQiQABVii5CbpiFk7BEEqQ3svQWPSIIt+jmI6sVO5lsO4qtssiaH40cUJeCi AodXEsEzkRGU =vlNz -----END PGP SIGNATURE-----
