Accepted coq-relation-algebra 1.7.8-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-relation-algebra 1.7.8-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:50:24 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-relation-algebra_1.7.8-2_source.changes
- Debian-source: coq-relation-algebra
- Debian-suite: unstable
- Debian-version: 1.7.8-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=4vWcyna4O6bZ7lKW+0NgWPAXipTG3SQACno6cd4B49s=; b=A+yXf01HRe+WWob0KK+4uQyEOA gy6oH4sQZXz6R+oj+6L5hrN6H28rLFcmsZ+IzFUQBJUruzK014WEAa95YdCcZHeEve6vwNFoHYpL3 08y2Fi3vw0kAGl4hBYMsDrEXUQRfDY9i0nEw6hrhEuPghHcaysFKJWOkt6QdMWGJYAxU106jRh2/B LBAc3HeBT+cq8+VF8pPh75w/r5k2lNQBErofzc7GHhqrE27KK0SHyD0URX5saMThQ/4TTPgyfmv1x LDsuFH9paOxLrnk+Mogb8z7IP0xmcfQxaebwjVKKvqN6mw6SzvOvTze7E6WCB8NUbs1SgZcCT50WW PY/UIp2A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1hw-009EXy-Em@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:12:21 +0100
Source: coq-relation-algebra
Architecture: source
Version: 1.7.8-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-relation-algebra (1.7.8-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
cca34d1472a0a6791aee746922a12830d33f6480 2234 coq-relation-algebra_1.7.8-2.dsc
ce673217a105529dd6e4ddd1d935587cf249d60b 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz
6ee0ef4ed4c0b2a14cc5b85b430e3eb4010275c3 7504 coq-relation-algebra_1.7.8-2_source.buildinfo
Checksums-Sha256:
cf2ba87187b27ce639cd7f158f6373d8968bcadcd623e16c420cf4ec589b8dc7 2234 coq-relation-algebra_1.7.8-2.dsc
87c4bfcaca752097fb5c181d0ad5530855ba45d83b28f016723e4da48f559df9 1656 coq-relation-algebra_1.7.8-2.debian.tar.xz
b716c2d84646731a49dc71ad3424645a11060239aff51a97eb4ca055978e9417 7504 coq-relation-algebra_1.7.8-2_source.buildinfo
Files:
1bdae6c8c5d0e72700a082babd2e26d2 2234 ocaml optional coq-relation-algebra_1.7.8-2.dsc
a14abcfb672517455aa53b236d979166 1656 ocaml optional coq-relation-algebra_1.7.8-2.debian.tar.xz
1dc694759e28573053202e162a8021ff 7504 ocaml optional coq-relation-algebra_1.7.8-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHLMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRbTcQAIVPlgYp4FcYwKlXJth8ulxddiGCzT5E
vuMSb/h18velYswMsy+m8dOG7TsEeUfICVASA8hfGpSDY/b7i6d2CLJ8UJTynw4J
IG44uAtTyXL1iQgu+IlS9UPJEpccUK6BiA4keqipOS5SaffevEVuqZPknU25oJgk
ulO4tnM3IGcKfnU/HWLrcAmP+zdGeN4yUNcR52kAyIFZn3FNH39p6ofHIgCragaR
BMTF8Trm3XdL5ovlQM7ycXglE6ETTKdkyFvO9NELLGoEHMYClCLapRXhyDR+Cw/L
iJZMEfA/4ZB5bukEbFIzzfRUq1Atrd58qA1vORewpJUqfqV2W/XF5DXRhPytD+9r
QiwU6aTEJuj1BQQMOmGOiy2KeJm3/WJ6ph3/JjphUVLfUJRUkpCwsEoAVToGBxZs
9buEaEAOBmH4Hp2qeClfKjGnhblt1Pn2cF4cfvenP7PLayZUkZZmPBA7JmmWkE3e
1Rda8hCk7lVhwHyrnvAFsM4Fusg/RB4rlNippVvcbNJT8DgUF/3hUyzJarRGdd4a
EMReSeF58+hRiRbxEzEDfTCLfbsZIsNRUmcKItwBkO7CZ2mKXjbCj3R6iAvCQpfY
CGdXl0cIdz9DqeulXK3rFXdvutVXl6DuHKWdAHdQwDD3vUV14X9NMp7J4Cqr86N5
iKmFpKsj0gI1
=l+Ug
-----END PGP SIGNATURE-----