Accepted coq-iris 4.0.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-iris 4.0.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 19 Aug 2022 09:49:09 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=O2dYKw24umBl8gQmNWK4+a8Q0J2aeWm39T6dv7d0dLA=; b=G7ygwSKrt86kY0JiYNgkO028u2 EDzn6/eEFcSvzTX7kW4eYGSJyWoIoVf+IuRF5cIYCGKnvB1k+KnXW/79Mp+9OnNuDal+T0E0IhIB8 P4ijIkt1/NdoTZjey+G8MhpyBWeCcwqrEbOntpieJfzQMSTZGyHqtQ37ehYvylkG8TUArg/j36laD XBuUMFg1a9u7YTqabVa8tPJq8AxQ8WOgP8MEkWcbqH7XVrRnoATCxDV0gZrsAqS2CUz+2xAQ3RReu x/OppnkxO7sDsv3ICv+RVE4IL6FHegj1gmWnDBPY+AfoUikc9mjrWOO/WWFJYXqh/Samd5LDPHjX8 0sgwPL6A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oOycn-000aA0-8x@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 19 Aug 2022 11:38:43 +0200
Source: coq-iris
Architecture: source
Version: 4.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-iris (4.0.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
cedd18cf785713ef574273f87c2a26940b20fc3a 2158 coq-iris_4.0.0-1.dsc
4bb97d644c46f26cbbc4f55e89a285e621be7109 701165 coq-iris_4.0.0.orig.tar.gz
134503bd330291a7931c5e2964ea69a113fce119 11904 coq-iris_4.0.0-1.debian.tar.xz
14617d531e04b93b869c19fec0cfc250b6345da2 13594 coq-iris_4.0.0-1_source.buildinfo
Checksums-Sha256:
59d82e69e96f45215f3dee42f881e3997f8c34350826b1bb867db2b205228475 2158 coq-iris_4.0.0-1.dsc
52efc5a44631537ac1e44ddb7978178dfb946c0c2ad839e6aabc2794ca4364ba 701165 coq-iris_4.0.0.orig.tar.gz
a3e3d9f8c0a93083e7764f178e80a35e79bdc242c06c2a76450a4d74aa1a91ca 11904 coq-iris_4.0.0-1.debian.tar.xz
501c28328a0c2ab384eaf2bb096258b1407c2be6de667532a5cc9a11128c974f 13594 coq-iris_4.0.0-1_source.buildinfo
Files:
2f499fd3036e870af051aeb90596e3fd 2158 ocaml optional coq-iris_4.0.0-1.dsc
78799f4fd2699f2bbd1197fa771292cd 701165 ocaml optional coq-iris_4.0.0.orig.tar.gz
4a22cbaf7f5d70bf112cc7719f92ab35 11904 ocaml optional coq-iris_4.0.0-1.debian.tar.xz
91cce0ce188dfec499f9f22a0383ec84 13594 ocaml optional coq-iris_4.0.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL/WkQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRbb0QAKYb+DPS8MZSjbcZ1nwbyGziu9Zh+Rbg
iiB1NjX0g4rApAkD8FM8/Cy78itR+mmrI5ppMNuEKofOAAxg851yeX2GxiBq4q7j
y37iOZsBr1x/9hrfow3Nn35iRNkvUYkK1MZkmdFBID+7Y4eSmVxNWuh2y1bWG8Dy
y0PR6XFVYYkM9QWU38NrJTT8fiLwi1Xuxwm8TF4pfCqOlVshEysXqnV7tNgY87X8
AfEMkG6Ad9ItK1q/oGuyWytfpgbNF52xElSGs8KvoRFgu2ECglAS7briCwh+GMYA
MgIKlmuD/nj3igsTsF48NGdeHP5MLacCfZIrWx8v6/Y30ccDRiviFS4noV7bVra5
GjECrzD4+W+x6zuyy/Ai/gCGUefe04/77A2B+cch0lzQSxxf52a8MITIoZGZrCwg
/icwBmBd3lb8JaDiKHjYZcJxTE9/pobt+6c8vKKdIOYMoqjtZUlHHjjFejo2yLIt
mAH30hJGIQJZ22PwVVrVDymMdnpFNqy/SYlfipYNVkDuGEn4z01ul2lwCqWmJskI
LARS5mbt/O8eaQ9D8WtKybVMoBiLM5uJX8A/4i0Lo34FctXemFvPa+z/eVYD+WLV
5WbMC26C2MA0PWJG0y6aGJZf2+BhwOew/GwFREcsFrjuD+QSXru95DaFdN1aSRCv
eNAnP3j7Pcov
=DeuX
-----END PGP SIGNATURE-----