Back to coq-hammer PTS page

Accepted coq-hammer 1.3.2+8.19-1 (source) into unstable

To: debian-devel-changes@lists.debian.org
Subject: Accepted coq-hammer 1.3.2+8.19-1 (source) into unstable
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sat, 27 Apr 2024 15:07:03 +0000
Debian: DAK
Debian-architecture: source
Debian-archive-action: accept
Debian-changes: coq-hammer_1.3.2+8.19-1_source.changes
Debian-source: coq-hammer
Debian-suite: unstable
Debian-version: 1.3.2+8.19-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-Type: Subject:MIME-Version:To:Reply-To:From:Cc:Content-Transfer-Encoding:Content-ID :Content-Description:In-Reply-To:References; bh=QRZQhzpJW5QULKNkkvjVsqfignPrDYzZCjYHYIWFPKo=; b=XleCRpbGfurmtp9EUhMf0xXhqB mQWb4gSmgVD8dgBFJM5nM5L4kic8dtIh87P/ZQH7bW8oWxyxk2OqzBPpsOj3oxgb0KnK7dMYXf4Ck GFb4hCGFqfgjbL0AA8Myv0QGs7e4Qdg2wbPTnZ3RCPYy4dQ20UzPK+9goxJD/qnJgvUHMsLabCQqI bsJTke0HIORMjJu20ONkc6VPA9653dEXPYR9+9/OCNhVDhNDoLhkCACeLF47XmpxEyyxxMiKPLSXU TinZyCEw1YKoNlj56owgxAnTAN0g4evl6vMp6OpTADHBl38AGUd5Q00Q7Xwh3h10p+UNziQ5BPLwH raTorUwQ==;
Mail-followup-to: debian-devel@lists.debian.org
Message-id: <E1s0jdn-00CRoH-8z@fasolo.debian.org>
Reply-to: debian-devel@lists.debian.org

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 10 Apr 2024 08:56:56 +0200
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.19-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-hammer (1.3.2+8.19-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 57e3d15b27dbcb7d3bf352abd3fbcff0adcfa4fb 2112 coq-hammer_1.3.2+8.19-1.dsc
 49378eadfffd8a6f6683a25ce6c45d9f3ab03423 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 8f54683c77a9232e03855d28d27736ca6ae91e1e 2604 coq-hammer_1.3.2+8.19-1.debian.tar.xz
 685fa059275f8abe0de371bfa7d98aea5353621d 8084 coq-hammer_1.3.2+8.19-1_source.buildinfo
Checksums-Sha256:
 ef8cbef469a558e875977da1bd66da9f0e03232e1cdbb4e4c366ba9cd5203172 2112 coq-hammer_1.3.2+8.19-1.dsc
 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902 148875 coq-hammer_1.3.2+8.19.orig.tar.gz
 4c438b0bbb3623f4ddc4cd52216bfbff994c4f92e321275a735d6e1858b7afab 2604 coq-hammer_1.3.2+8.19-1.debian.tar.xz
 d4f0fd3a3e0f3aabd5dff3accbeca3c279bbc56eee21a01845d3e7cbd9cbc794 8084 coq-hammer_1.3.2+8.19-1_source.buildinfo
Files:
 6845f3da7550255f9180e9b4aa135951 2112 ocaml optional coq-hammer_1.3.2+8.19-1.dsc
 d8b4c08209b8f71113dd5a8fd262ffd0 148875 ocaml optional coq-hammer_1.3.2+8.19.orig.tar.gz
 a4505f5d56a65133b83eaa467c57d542 2604 ocaml optional coq-hammer_1.3.2+8.19-1.debian.tar.xz
 e4a112b8d991c06114ba0554c56137be 8084 ocaml optional coq-hammer_1.3.2+8.19-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYWOGYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGt4P/A/YPMafNWMu2nJWtV9sz+luZnaENFHD
hRzuj5J/fNaAyc2w5FGBpfYjm+F7c03Zyg+bGqFRkQq+1yesdvE5uA2x4PIroDYT
TIzkng7ySdsi1LDHZNlJX+oFTfELC1NjyJSvIC/haqXFDIejfx41hEb+v+4diUWR
Kkgyfa6iD0rURprER3d9AC2zQyUJK0HpnMRr+c3yqt41PMNFXWGOM+Wq58hDofdC
5EMdc4FzhErS3qgh2h4VhC/RhY34MXuhRY5y16mX2OisMKd3q1pxHw55sd5kWoOx
OVvvvQliDZFz7/exMnHGxBaBscnO0FWFG7HJgbzYh0v7QgbMwrV5ns7BnZsJF+bo
iqeJH3+WKlO9h1iO89f2Ys+5ooee/n2xLR/4FpVcstbjNdb7wPQsl8+MT4UP5F0Y
tgNSPDeXAV0Xvs/ROHMl3neHscmPmdNA/clIWYyYqrjJryfCJejQw0YD5F0rWR84
P41caiXdyosZ/IHM0/Q3EQUzdo38BtC5BWE/4Rjc7w1dNhOGpUGDmDXBy6hqYwA1
gMLMTEpgpoefetsbKKzWsAJMBXq8CAXeZ8OZylhth6AjSzz+bHEhCWj+12W3Qks/
7FnDWLaV7GCeSH5oMHJgQG6GdNx6wxdvkTY2JHV2UVflQvow1xV00FTln+B2ISCn
rRzQS7W0+uC8
=ys+c
-----END PGP SIGNATURE-----

Attachment: pgp4Xgc1zpHLb.pgp
Description: PGP signature