-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> 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-----
