Accepted coq-equations 1.3-8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-equations 1.3-8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:05:06 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-equations_1.3-8.17-1_source.changes
- Debian-source: coq-equations
- Debian-suite: unstable
- Debian-version: 1.3-8.17-1
- 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=QaclteCk/FN7sKRaQMCeL7LDvCLxgYoM8sUIXq8c2V8=; b=ZRu/sgqe9AXu+u0tRGK/ieYpKF fLVwTy8fM3RaGnGuLiWxHhjPbsYWxf5jNsyb+MlK/pl0K/ftCCP0NkJDOdHkJtYcw41hJP2qqMnT7 8ffW6zznvj8rfHFP1FVIlcKuLGsP/QCKUjl3aNaan+WNDNgAioyHpPqtHPgct9sW627A3FJEVpwQh FcEVcR5vUf8LRKYkuFmfBOP1oXEfPwvgJAXc++MCry0Q4hEvTpirJplX9rRFPpy+UgC20xwThZqGE ByasXquIe2CnDme4NIge6Rr3i/Ju/jC4mFsApPV2YI6yfgAdaqDqMjXGr2px3jX8bU1oH7x6ZWcGR RqC6Vdlg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8x9O-001jmo-Ep@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jun 2023 07:05:00 +0200
Source: coq-equations
Architecture: source
Version: 1.3-8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-equations (1.3-8.17-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
Checksums-Sha1:
6c2b0833779a1ba9f745281b678f13bd58c428ef 2166 coq-equations_1.3-8.17-1.dsc
331ccec68c61ad73385aede06404690dcbdce838 1099916 coq-equations_1.3-8.17.orig.tar.gz
583d616962dbf6596a1947bbfd80364d76222fd8 2480 coq-equations_1.3-8.17-1.debian.tar.xz
549902f0733ecc25fe62ac388d929de360b454b8 7425 coq-equations_1.3-8.17-1_source.buildinfo
Checksums-Sha256:
1b15a0a55555d7d799aa4a5e76a425faf7a396ecb76761ccb96b27bd4a3e72b7 2166 coq-equations_1.3-8.17-1.dsc
17df21df27b7f75e5900e0050319aca8ef424839a852e7801b7f9166b9674c30 1099916 coq-equations_1.3-8.17.orig.tar.gz
6321b98537063d510ca667a9a05d7bfc3bf69f9c1483a720dff975423b711689 2480 coq-equations_1.3-8.17-1.debian.tar.xz
459c742671b8cd8f3db0bdcc1fd5e035997ae437edd67e299b21b02b496b529e 7425 coq-equations_1.3-8.17-1_source.buildinfo
Files:
ff91bcff969a1f74d9512b679d2201cd 2166 ocaml optional coq-equations_1.3-8.17-1.dsc
e0f86a4894505d60daa14f57c644c1c3 1099916 ocaml optional coq-equations_1.3-8.17.orig.tar.gz
c8738f09ceb7dbdba58b4eca72232e60 2480 ocaml optional coq-equations_1.3-8.17-1.debian.tar.xz
cf69b8c53d257b97c5ab67f9be761184 7425 ocaml optional coq-equations_1.3-8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+RoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/C0P/A32Vj1iDX7yqpbXyx8AuSUXozVqsZQ0
Muf7Y8COQROekd7kS9HeEIVWI4YNv7Z+4z+eD688NpqpPRpQvku2Iiz+VjQ000Ty
h8dP4jUe47+IFoouE+vOOWYC4Q2YKcoE7oLOSJG4s0eziAK/tJlXRnH0XHL0Ynb7
TIBkrRn9wkM3fBReMTSy8dpVAPS/s7DT6EVrjT0kU7cLQOaADJQb7qP3a7L6JNR6
kpSw2lOCXmJYHpQXGU4CoBt/6vQxVft50tSA/9qpLwD5jjqD7zpqPV21qZzyXtRc
CUN8ZujNrFz6/JAWvOQ2BxtxwACbvm0LiaNb3ssrOSJe4Yr0wfhWUrIOYKcBrpol
sjePf8MvdS9PrSj7iws42uixW2nRIRuV22EdU/Av9VDeed0oSY+uvb06D/ZlqwTy
IaLd8FLpxyL+YTGq7xMgDpk5JDjazCh0tNgTfb7FKKi9JbaQAI/hVZH4yt9gVQUI
s+4lANKUcAm9iyk0NzNtQZE8duy+S43kD550Rz3o5gaFsdlKH1wd+RzTNtlwoO8T
SEww1p//TAv9Y+HuNorJj5e7qrH/y4sAcYj007fQ1jGMIqRG0446W+OMcDr2QNEd
rFBVu1A24Vtrcgk49mG7aPCA5kh3Njb4A0zDcoCP8vYywgHV5apcp3iEWqYZ+zA5
WFe/l7EmBsko
=gKfv
-----END PGP SIGNATURE-----