coq-reduction-effects_0.1.5-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: