Accepted coq-reduction-effects 0.1.4-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reduction-effects 0.1.4-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 13 Aug 2022 05:33:52 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ZolJ0GYqsJkwACLa7nVgU47cBainO01OgbNhP9eRjr0=; b=dXa02Cw2RcHNzvNPetKqgvS9to jV37a8b9nhYDy5+68h2TOt7O7dxLeiCblA9ja9k/gxha9h2x1bfJ5fjqMKkpPRxe1TOdGjh12vT+H oS2gpfEGz+3EC7GsiaFyrSR4d/FMrlyN+8iKh14iNemQaokCwy+SgEzAg3qwgDA6XtL1Q9CJFoopy DWRZLmjtJLb5ckpMhv3Fz06uadswOYzy1yIs1TPJXUPvtvgD2L9+JPkC2ff+f5AviXNrYo0znG5fY 0CplFNwGrFIfXdDmIlgkf+/1w37LYiChMk0MBYUYE/YBx6HbUt+1bjzM9bZb7fAAVPjYUdCv0SWDH KZpN5Y/w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oMjmS-002tsb-Aw@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Aug 2022 06:57:30 +0200
Source: coq-reduction-effects
Architecture: source
Version: 0.1.4-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-reduction-effects (0.1.4-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
e41581b70d7acf9d3de228487dd070040485f887 2199 coq-reduction-effects_0.1.4-1.dsc
b43dd0b132a2a8e1f3024ae6616f4ecf4d5862dc 10292 coq-reduction-effects_0.1.4.orig.tar.gz
cacabcb1832e47f1bcafa90f32c77c6b357f8c9c 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
71b6ad71b030f51e772e0f8878ce22d8aa32b24e 7012 coq-reduction-effects_0.1.4-1_source.buildinfo
Checksums-Sha256:
6213073f24ff5249d12f0eaeba7a82b46cdc9b41c1a59e14774268b4ddeb7383 2199 coq-reduction-effects_0.1.4-1.dsc
dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
10edeb107ee0dfb25305886150b25adf1ca8d26661bbc71cd33c031c57ba1fb2 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
7639806bd7253c9f71afd52d3d77c65f1b1b24e609fe6edf701748a4773fcd91 7012 coq-reduction-effects_0.1.4-1_source.buildinfo
Files:
b32400aed6df1b57eb027c4c964cb575 2199 ocaml optional coq-reduction-effects_0.1.4-1.dsc
1f6c0770a41952367eca4c137ea1783e 10292 ocaml optional coq-reduction-effects_0.1.4.orig.tar.gz
8b7493c154ecdc9ff20e10d6bdb631e7 1472 ocaml optional coq-reduction-effects_0.1.4-1.debian.tar.xz
d4576fe5c67815b35066dc0e8896827d 7012 ocaml optional coq-reduction-effects_0.1.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL3L1kSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRldYP/2908U5NO/drUeg2BiIVKp3QeafmPd54
DuYSCyBp6iFNzO614Yyefczxzy72RlcvdqqVtmvBR+9Eit5ls+sbAQcHLtbTpXfE
Luu9P6zJd51wRvzIEZrxeSuoJUj8MOrPPytsQfoqcPjvRdw7OXTsAw+hGhUCowxl
dzylGQUXs45ks0JF8BmYpaPExG2FOP9g/EyVnETl1oPWCSBaNN4+eeScL0oZdNeP
CRAu9b7rB8/fEVyA4CgRZl4Qdt7RnaVxesnOa1fHr/82z4rnlKgDgIi77szUV0Xa
I4yy6NAAqaS1Qa5y0rqOOJLJ5ApJ6NfeG5DL8uGQAqCdpkQWxzT81bns9R1spjea
Kef2O+hBBB3hgOl9jushdpvXWfdun8O51brioHKYi8/wtVwk8ur1U2oXxE8ZDp14
knDT7nOPf/fyO5dRmNRP50PLbiJXN6fDUrErwxWbTTu1SgDbj6NPpkyukZAhauX+
iUj0v+edX8yyZlVkt+vm6YUu+MACll+ZViea0TdWmJgRy6OGOxEoZ0yyyL+gspUC
SqF15mhjA9OZv0yd+suFEpeCnA7reJ+X5mWXm3L+EFcKcHgRLb5POMjCY+OcwjHR
txgR2lIdz/KCmCQhsGUo6wReaTUQP662jcB1HYkPBXFGagk+eeuo7uWapw1RAx8j
09Lri6UFCZwu
=uHz7
-----END PGP SIGNATURE-----