-----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-----
