Accepted coq-interval 4.6.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-interval 4.6.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 27 Jan 2023 06:38:51 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-interval_4.6.1-2_source.changes
- Debian-source: coq-interval
- Debian-suite: unstable
- Debian-version: 4.6.1-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=OEYKKQBIr6QAPBzK2kq2Ggs7z00E1QRVLQ/2srpDlwU=; b=IIqMjNZ644IJN4zfb5D47iLq+R cD56Zcr1dI+P34g1IvHLXj88ZZTWdwfzB84HolsozTKojAQCS5L5i94vEBOPJoqmmpyXJUd97dMp0 J4qWNeP0DUPVV7as9zqe/dSYtgUE23sFjHw/fca8zvtCOz4HDM+ifqbUs9GO9/frzqxrzSlk/Wseo brWO8vGr59ncBaUO9UN+Hiu/wmxTcO1hGNRyo7L5BrNnYRrECC9R/+bhW8bB1u4b4+BmHJ7p8khB2 jveW38k8iHd6dHEDx2zR4i7XBl4oLOnx828tfPvmmbCH4/YklIewOKL4THHF6eHFBGsCtlAGYzmVb 8m7xn8xg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pLINv-00D10d-3K@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:55:52 +0100
Source: coq-interval
Architecture: source
Version: 4.6.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-interval (4.6.1-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
1125fec459600bdc1eff86cb2462dc9ff5efecfc 2187 coq-interval_4.6.1-2.dsc
10effc2812f48a56c343928ef229ac004d0712dd 8788 coq-interval_4.6.1-2.debian.tar.xz
0edd5ffdc209f5a63442a6a0ad17d79bfb0e933e 7530 coq-interval_4.6.1-2_source.buildinfo
Checksums-Sha256:
4570dd8abe4af0e5824e08f2b4fbb806a76f7294984abea1c537c92175e512bf 2187 coq-interval_4.6.1-2.dsc
ff8882a8d2bd92bbbb60e0ed71759d4b052d82566a2693f22ad78baf7cb18f6e 8788 coq-interval_4.6.1-2.debian.tar.xz
9654030ea78f7e5a241a5c81b73c31cbae5979605c34824ed068ba1b613d9a55 7530 coq-interval_4.6.1-2_source.buildinfo
Files:
1632dd57021f576883d1638b18b09d61 2187 ocaml optional coq-interval_4.6.1-2.dsc
16c669c0830a043ba032671bbb78256d 8788 ocaml optional coq-interval_4.6.1-2.debian.tar.xz
bbeb22f8cf59f4c3b11a973df63bf586 7530 ocaml optional coq-interval_4.6.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJuYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRnkwP/31PFTdtuIk0WqUExqtl9NKRnwyXcmne
jk98dUOzLZye7w7cxGCjGGzxwO63NyVaLdlOEDeXFF8vCdybtmwjm+xAY1OPeaJG
U4U/yOx1XuTsrd05tEO3dp2/Kwh4o+IdnTpwjbgZT/+HT0U1LfLmRbey/RosDzTM
NWgJznv8IEfWXx0ATi4zEugsOIRP6gVwNh3UtPzbcaksarRLwBpRhobTHaNGiN3/
31bW42tumH4BYQdJ77UvgMMMkgBTCWHyDsr/gGwcd0mft29QDWkeNuzhfz9l2NJX
pp3RY+xfEddl7qP30aYzfaLX/WyLEYjaucZKpXEY+4pzUjAXDGUj47D72ZoD8puj
8shoniNsGle2rzAzCDvcaZw69qgQatWiyM+caYxNDY1k40nKLnhqCuFuNEcdjY9M
MubVQQQSj6aDBCZLCkdSeftzNfD8yhpNjsTYPlOgZnR4p6350r0lAHVs+DyfEKfu
vfEY/05tlgdY+R1dyyfcNaCaAPUe8yMDlNtXQVsGSFA7ifAIObv6Pr0tV3KG+ONI
q72Ip6oGSmYENpUDPyUqzn90jqVz8XW1ilJzsCfnP4l+szEMTyG8KJAtvNayxAES
IUrntkp/AiSmHFmvHcZ3uLL6d4rifApiO8TOB23t2dEcQV+Cn+JjGxC0nV8gm+us
+7PsKSfomf/b
=75PF
-----END PGP SIGNATURE-----