Accepted coq-simple-io 1.8.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.8.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:50:32 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-simple-io_1.8.0-2_source.changes
- Debian-source: coq-simple-io
- Debian-suite: unstable
- Debian-version: 1.8.0-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=kdgFO+ClS5r7VR5iWOefDRdxypq2rf3Gfb0PFK1XHbI=; b=OgJjeFPQLtTYJ9sCWNvQYNQ3za AqBZ0SZJMjYPxwSfAprpxvIDfQ+gATnnqf8tO3ZNj3FcK6uscVC67hSC6rBEGC6oDZeXZmLpJbylR 3/hkgYGul24KgzjhmhfNkNHLAahkLsdIHTTbmauyTo3dXX3/mBnjErVbcZZXAVzehWCCPyb4sUIZG TYpkckxOtSH4sVT+GKQHKH+dNECZvSAFYYGna62+M2vRA0+TP3wcR6y4CYU8jnMsCvtOwQf+Xnw+I SQkHI8SfIwb5kp0iy4z5F7LimiQ7cSHiAO1B0VqpRHDlSpp561jJAWTD/EZovhIQEchEyCrXJ9d3m +d7vrqxw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1i4-009EZM-RP@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:14:18 +0100
Source: coq-simple-io
Architecture: source
Version: 1.8.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-simple-io (1.8.0-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
1b940cee7bb01927ca00700699a04f536654a5fe 2151 coq-simple-io_1.8.0-2.dsc
53c555f2d807882843f5797b11e0d4c40497dafc 2056 coq-simple-io_1.8.0-2.debian.tar.xz
3c77b4f4dbe2c6ac261e6f6129e024897514f6a4 7473 coq-simple-io_1.8.0-2_source.buildinfo
Checksums-Sha256:
33d1b0d218f66799e42b678ca982b91132dde4526827f0c099741d3d8a409afc 2151 coq-simple-io_1.8.0-2.dsc
f6b3c5605b198e9b13c2fff3d673f0bb29304948b286355466c000f524310455 2056 coq-simple-io_1.8.0-2.debian.tar.xz
bca99e99fd70a2a292c3f481804e6abdbf6f6eac53efb850676fdbffc85a9d84 7473 coq-simple-io_1.8.0-2_source.buildinfo
Files:
03667dcd673e3db5949a13e82e6ab605 2151 ocaml optional coq-simple-io_1.8.0-2.dsc
e98b979e87842a63e1134c5a7308549a 2056 ocaml optional coq-simple-io_1.8.0-2.debian.tar.xz
346dca441c2f639b0b8c379700f5bea2 7473 ocaml optional coq-simple-io_1.8.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHSsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRqPwP/1AdJBHmt+gkV8A5bg1zIgZnrGjitjG9
io8FdH3/RzaA9qFUTUUWveKQ1Myo2wga7cYT2/gpUd6hxQ0IjpCa/Ou2ABY0y0ql
DiWd7AnFgQFqGYNxUBWt/DCVEKCHBKfflPRAuAiE/yX1g2dZwQCcQUFzKumyYhPb
wIM2zyq19qXWSNhtJPss0BRNsdpnHz8io/32iT1BhuGj7NnI1dws5iikwIKr82Tf
6V7+u8VcKPNqy6zaHxhmSRI3ET9uO4X2bx/vFHbfk+x/xnWd/VQoPyV20KRSIRz2
ogL6kLRptyx85eKNQQHzRGGuWDBeYjBxkxQgDw+NCrrRVfJL0e/LjlDoITEPj326
vX8GuHZz6j0d2gCnb/52wAZUMgCkykKHxWCQ4ZcmyPiWCszKrzMMpuv47oCXXjWg
Q0WKW2NniaeyovLOsmja/A+cVh+j8KpYAnkGd0RXfCgeTQk5YFFEMJloS3ySgyI+
OMOx7BnQt43czbHYRsat/KzGyE43kSy00NCo8sbVdBYkZUX90Neul9PHD5nmKmYp
c3xvl4Gp5WZQyIhOzKr/SnfMX2AtBupTkBeBiYi7sGR5C61zUG0JznIfJ9eNd9my
6YyNVsWOHs9Xo+Gqls4i+2iLcQN5NiYQq+BF8aKcl51ouSYhvar/PYf7TEZBoUaR
sIBu+gU6AS6T
=IikD
-----END PGP SIGNATURE-----