Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============35220855378682077=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz23uQAKCRCb9qggYcy5 IVf0AP9AFCpMnhp8hAHyJK8ObAXCt5/nAQLl6CD5A+4Nb9e51QD+IMsPuWhIJXLU yKwoAACyyNw4+9rgEgHLB0pDfSD1VgU=P18e
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)