Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Aug 2024 07:05:01 +0200
Source: coq-iris
Architecture: source
Version: 4.2.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
coq-iris (4.2.0-3) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Do not hardcode /usr/lib/ocaml
.
[ Julien Puydt ]
* Fix d/watch
Checksums-Sha1:
0dfd7e8d0717a3c4aa8508f5e03ae18a6058db31 1930 coq-iris_4.2.0-3.dsc
7f6b63a1fe2059ddd5ec1c3b8f5ebb16fc766c84 12648 coq-iris_4.2.0-3.debian.tar.xz Checksums-Sha256:
f8eacdca6f63df838a1ac3cb5f2797d82ac2b6d4deea057254d579b1f2a50344 1930 coq-iris_4.2.0-3.dsc
569342a393847194f2e1548b44fe5278fe3432474d13e2ab3c41111c0769d86a 12648 coq-iris_4.2.0-3.debian.tar.xz
Files:
3fabdd1a7ae4fdedc49ad2799b3c79f1 1930 ocaml optional coq-iris_4.2.0-3.dsc
3d715386544cef06ec7e9f3357d092e2 12648 ocaml optional coq-iris_4.2.0-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDRYSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBzwQH+wUbbvtfxVBDtzA4w6tYVwTxNuCPBUH6 lMDEP9ss96PgpkAj5vs/9hZss+E0VSsJOc0OaPvd82g3jLUqm3DUBaMVW+zzBq3b p4U6ViS74BqLRFx1NUs5ahX/ynbRXx06US1a3Mo56xvT3p5REFCwmmesUlVpsvv4 uQGmHaYm8v7EqbdHzOLeE2vqoDeOyMD/1R6K+6SYacL3rreSbScKiUycph/7x0XZ r3yhRrqWb/PYoPek+SuWWsyXvKLPBPhwpchFQOc6E4HhS8QEPq25LA5dpH++x+/b zeDZO3f2gJM2BysLEGoEAN36hnN/Kh/KAzy2SKFKOJo38ULySKw3jy0=
=9Jro
-----END PGP SIGNATURE-----
--==============&72131870922364386=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq8S2wAKCRCb9qggYcy5 IaFgAP9cb0NLRXcUf7QBmcIgpjGKRp7uATBl6xtp5OiZkzLYHgEAiJCzIOsnXcUJ djxk1X0NRFXSkbyLA6QqeS+RZhzlZA4=HY3f
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)