coq-iris_4.0.0-1_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: