Accepted coq-reduction-effects 0.1.5-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reduction-effects 0.1.5-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:36:05 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reduction-effects_0.1.5-1_source.changes
- Debian-source: coq-reduction-effects
- Debian-suite: unstable
- Debian-version: 0.1.5-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=UzgQbVSyGQ2710i8ewteLgFJvhW1sRQJuWSmqB4PnNU=; b=FkiHEADLvbYhJkFtcS9PcMpnkD pQiHgmZ+QDJW3P/EA/wqLT9INaU99sutaz2upBngpcEp+DdSTinVKdyxOnPGJnYqSEdTKUTzVeyw+ jgQumlypAx0g6DEGxzAk8q71sY1jT6VxeTPIe6kDxniBcJ4QR+Z674kyt58H/CldaP8nqHnLuXjPM t07+fdblvXT4yPudBwXwnbjlPWhkb7ADFdmlC5i0aF9VjmRwDRE+0OnGZu1Et3vK5mY2olMhQ5X6U MDfWUmxjduhM7XrcLQunWQ/KoztMqwzP6Ix97yO8WuwcT2IV0T1bdh1q2MN9P2O8ZK0NH6oyfKw+T 14aqQ6Ag==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGcsv-00DSoo-KQ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----