-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:53:37 +0100 Source: coq-iris Architecture: source Version: 4.3.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.3.0-1) unstable; urgency=medium . * New upstream. Checksums-Sha1: 508fa9100568238dfb7f6006d45aced8bd9b7984 2165 coq-iris_4.3.0-1.dsc 81a86e454cab90ae635a38f65c7d6c73043f2d7d 622627 coq-iris_4.3.0.orig.tar.bz2 92c3bb05214e60ca8adc3faabdbdc49f96e49c11 12660 coq-iris_4.3.0-1.debian.tar.xz 914d2e7398ed4c51efe926dc9123eb42ae894a72 14023 coq-iris_4.3.0-1_source.buildinfo Checksums-Sha256: b5935e0b54076fd73d390885236541d26b09c058e3d6b2756a6f40e7416bc9bf 2165 coq-iris_4.3.0-1.dsc c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51 622627 coq-iris_4.3.0.orig.tar.bz2 1d0186ed197afa183ca3d114d450f264f6a97e78b23af1a416d221f6b1a07b61 12660 coq-iris_4.3.0-1.debian.tar.xz 4d79341dbc40a8b8b6bffe6c498653e1e1308467e623e565d987f32e1e51fb98 14023 coq-iris_4.3.0-1_source.buildinfo Files: c80c6f2e17e0f9dc2dcbb5cfa8cc56e3 2165 ocaml optional coq-iris_4.3.0-1.dsc cb36996e49a73066d7ba61f7ed270cbc 622627 ocaml optional coq-iris_4.3.0.orig.tar.bz2 f1b71fd7f22b00214749b08983c9531b 12660 ocaml optional coq-iris_4.3.0-1.debian.tar.xz d6c82016ded90988ed31d4aad52c5c29 14023 ocaml optional coq-iris_4.3.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sb0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/AwP/RqZbGM2UIVlhRitVvihtISrV0mBAqOf SwUZKkMaBJ632iLHer16KFKiVinoP6dadcDCtkZ64HHOsp4f/1BMJfSkWXlq/lmS B9XK03HrgiOMLipFoSiYYPdMppf9VyYhIW/albQEQARtN0G8R4YL4F3U/cz8sB4i JNC6CYmtxXan55+y3s/RiNVeWzLSJayQ5LzDnKcUEWIVkTwgL43+oBWeei3V6vZu ECKL8xMbM9sCwo1kYQcB3r4L8ehWMJm4pT+2WJXluSti04zXIYgkoOsIZGDBYz70 s8Bd8tEjtBLLutZORSJg+nkUdFYD5rANc9K6ZixMkqzfAP8jlhWgG69/7bR6F7+w ZTBsS5dWFGLqz3M02ejrxL1NzAdf0p0PLD91JFWbXZ6q7kAwEDQwR8EXAGR+BdFn QnDa1NiXEhbCsrjgg2zLIhJL03Vp0DVE9NT1QpuzP2APh9wi6yNw8FIYmDlXA3s5 l/fWNXy9jau0Y9n9dbRycEO8d7K+u13Z41PQ2AMjA410hE4Xl6MikHoRXf4Smcwl gkp5RM5glvS9zCvb0pBHghuZl9HFuNbu2w3jnTz0tDnl5BRiuyYIaRFMiY/jUCbY eyYoLnr4cCrzEneKhKJG2q9yRhosGSl6YKwQ1mTQKj4sv2cDyoC+km2/X2+FIyLX URKTQ/Y3vTAO =9DaC -----END PGP SIGNATURE-----
