Accepted coq-extructures 0.3.1-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-extructures 0.3.1-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 27 Jan 2023 06:38:41 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-extructures_0.3.1-3_source.changes
- Debian-source: coq-extructures
- Debian-suite: unstable
- Debian-version: 0.3.1-3
- 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=5OdZjwQV1arGp+2BNMy1Lk2lxKugAP6AeDnjvf0cwQg=; b=KbgXFBUvcJ3FPzQsBlm2IGNwle d7tNa7Jlb5oE23h+UbXeIKhAxhVYMytnzTfbLLCJiD16/dKfx87Q5PFL5KzFwWA/LjjC1x8F7oOh3 txXBMfmhC9mCRSZ/Oz5P4wWcqnSpsdSFo1IPolroDuYwmLEyhmkXjtCGoBS+3Fp8y9RWwWgIVLoig PcyPRpWdpHR66muRqxpG0i2sZMwc1E122KRRCkgfAMhSfjtJDQrStN2aY4GZq2JXXr99Q3pX5U8j1 Wa1yR0peRGwJMoZ1ILFFLXt6QfN2xiZjd/AYnQ/BfyZ7UEXoXqzyFrl2nH5+fBLz3lnd/WGqCQKm7 dBtTB6IA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pLINl-00D0sW-QF@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 13:54:55 +0100
Source: coq-extructures
Architecture: source
Version: 0.3.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-extructures (0.3.1-3) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
2121d6306c8bd1e0df20adc99ca03558ce0ca019 2166 coq-extructures_0.3.1-3.dsc
4c20c691412a8f371b031b056a186b4dd4dd0ef1 2016 coq-extructures_0.3.1-3.debian.tar.xz
94259713aef3ba86bcadfe86fbd4734f4bc50423 7480 coq-extructures_0.3.1-3_source.buildinfo
Checksums-Sha256:
731f7c3bc8a3a6523cf006b83f1da2eb8c1e459e7b78a12d7b2d2813c1f18872 2166 coq-extructures_0.3.1-3.dsc
5123184189321873bae00cbb40b96d2d070a996306aa1f460fb77e789f2c2a0e 2016 coq-extructures_0.3.1-3.debian.tar.xz
22084d941b98171a828afabeacbfcf00a7766612e8a6acb322beb4516d1cf890 7480 coq-extructures_0.3.1-3_source.buildinfo
Files:
16f6b523751337d3a6b8237dc8c6d910 2166 ocaml optional coq-extructures_0.3.1-3.dsc
a7fec3dfe2751d61c7bb5175f8fe71b5 2016 ocaml optional coq-extructures_0.3.1-3.debian.tar.xz
9025e1955824b54fbec84d14899e766c 7480 ocaml optional coq-extructures_0.3.1-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJrQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSh4P/0an2N8H8uQY512E72R1RevaYIQUYmPU
JCH8KqkKsrTDmG1tDeWXTLWZpWVia6uO6AX0j5fjnD5Z0KDfUdUecOONgjIssDVz
ZPOEuGG2MgxuaEm55OiEEFjwkr2bxtnAa2tFU75PiHd+DDLdhfGVk0H6cX/maKTf
DGd7qYDYCpTLmdvoZwpcu+1HmnDUCc9uz9ehkfrBBFasNtdS/dA+vzB0wJjVvE5R
eLzmgnZV8YHOGqCt2xmqdl4VsfovT09IBG9758yAOuUzvfXMev7mcg7ppxyGzINg
S52U9QJ5BK1W/oMPdvmD+y5X6CTV/OX4N8oFXckFXUfmPdgzxSdSn00lnO7bZriG
CpV3bSEEEljZDwdskyLPP89H4Zkc+QHBmv/pqdSBiMUuqjW6dpgTMfIaGz/G4ZyO
u+cPfTPh0PTyiVxvZwc+e5lKMxHPlPYX403gBqev7lkhk0TaQ9xVYRhAlTAtiSuF
6anEvd6eyjfi5uIo7itvOjjx8AAsgpn3a0ZWfFG9omsCzmifUVwnO9vTcbdh8AGz
8/GDe62lRsW9eZINswQh328fCIj4zMRs7s6JmHPa+91b38K5iwR30FbTMnEapgRN
V3qyTnMmS1TXeM3zURPiAQ0HlDM+wiznPslKVTwPAlEDbEDbz7Z8MmMg994g2je6
IdDxGlJPks2D
=Mdca
-----END PGP SIGNATURE-----