Accepted coq-libhyps 2.0.6-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-libhyps 2.0.6-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:51:14 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-libhyps_2.0.6-2_source.changes
- Debian-source: coq-libhyps
- Debian-suite: unstable
- Debian-version: 2.0.6-2
- 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=2s6lbd9B9vVsSg+xaECqS6qJwNOis4cjFOr0pfRf4Bw=; b=A/GPapq8l3etL8zs3QswGzVjDJ enDcGbme42qIkOSwL5/kYv3h4IjWujylejKEcakgWpvSH1t3LRJWPnRFOH6d8SLvATWIVagqOnBYv QQtEOHKhW1lRP/nRGvBx6gyFVoP9rSJUFBv1eAu0qoRWH9XoakhUttXax2zqcMqj2/Tff50nYofbt 1YeL+5KbVTQACWgDG05Tlaaks3CCCPCsfHFeMM0RjtpRq9Ldr46z5lSGeW5anQlkgvYQItOcGwSUq cq67x2t6M7Qu5OllWLbsG3I0mO3F9yF8TkG0gSHURdCeLBbwdo+1OH7SmabsyZTGIP+bWfJUTiALL HoZK2B7A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKaYs-002q6I-Eb@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 08:05:15 +0100
Source: coq-libhyps
Architecture: source
Version: 2.0.6-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-libhyps (2.0.6-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
d918bdc02616ffae02e0bdc92281b78a9299ff80 2072 coq-libhyps_2.0.6-2.dsc
30bd58cb605223f91827d07b95afde8520082414 1916 coq-libhyps_2.0.6-2.debian.tar.xz
baebc7eb36185966e2bae03e0f1ff2b6c69da768 7387 coq-libhyps_2.0.6-2_source.buildinfo
Checksums-Sha256:
4a2508dd9e09161e4751e9ab0f080922e502e57a4bfa577461dd1ff4a20b317b 2072 coq-libhyps_2.0.6-2.dsc
a64794b940c5d2887231f8bc4c140564c0403c0392465fb78e4a0f691cf92d45 1916 coq-libhyps_2.0.6-2.debian.tar.xz
21a38a0989b3b1aa42ee6123b7988ed6f2a189878d9fe0aa0a417c4f33152633 7387 coq-libhyps_2.0.6-2_source.buildinfo
Files:
a01affce47ac378ce7f38993005f6bde 2072 ocaml optional coq-libhyps_2.0.6-2.dsc
3af42417a0ab03991e5a2de71fed2812 1916 ocaml optional coq-libhyps_2.0.6-2.debian.tar.xz
50b978ee22bfa05f9cffe09a0f0c9d42 7387 ocaml optional coq-libhyps_2.0.6-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ1NkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9BwP/3TJTU2EVclIC0j7FWC41vxnw8+1D+fs
Jg54HnHlNOe4b/iRLlhyQotCHLsdEg3uXwodoAF8oJpB07+BoI5UQyWtbkCeg0YO
LOfLZ561b1Aq090OQgVklK5+mhzIzQ3csC5roG5xeMs/Hw4PJ/bEliW5GSAsTrTC
l5kxygFnnuAQkSYBMszhzez8xgMaCBp97DHZLy2J8sgGylTt+FWniRbFGDy6cir3
j7CEUtS2NllVHC0WmAUPIdGcjnX84A9u39GtYKYfFwtF1NPe7cJKd6DjopVkMq1t
BkJWW6zx4WzyEfyxYk2H8fVDhxOdnYacdrNVngKB7fEP1gD5peegPp7LlFEo+WIR
J8y+15dP9S4SHcI9neoqD6St/7lfZZyCU6L9cgdQaOa7aAnyQXpsw9ZxrRVix8En
RqD4HVD4+7cABpd+oefeFpZdQ94gHSD9cYh6W1bJju6J9mYHSdKeqcn1r3UCZ0eu
XBF5TlPxHG6g/Jj+FATN7xNL9O5erc32jOkD7UUMZJS3LmWwucxSNlpokFHeKeoa
Eu8w0YDfpAfzXLWmsqR2AuJaEAHylu+Oc9ROiqF7HL+O6lqfRfVDI8BXaJa+7K7v
m0cS1OS98jxrxAjVyYYdCRbbIf2MNowIoEvBB44f8HxOvssCXoE0j1EYPGm3unc7
2IjnMAihAguI
=CcmG
-----END PGP SIGNATURE-----