-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 13 Aug 2024 01:43:15 +0200 Source: why3 Architecture: source Version: 1.7.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Changes: why3 (1.7.2-2) unstable; urgency=medium . * Team upload * Do not hardcode /usr/lib/ocaml * Depend on ocaml-native-compilers in tests for now Checksums-Sha1: 2b57071c73fd459b7211acbd807594c289786f46 2452 why3_1.7.2-2.dsc 761db1462de28010a12ac553d54546cac3dbc5f3 18584 why3_1.7.2-2.debian.tar.xz Checksums-Sha256: ac89a686db541d1b675170049a3fe3fc586a9dd189e0947b862552de98fcfb32 2452 why3_1.7.2-2.dsc de0b8ac19b206fb73fb302d78924d70dedc2248a42f3ca19c8dab15a99b9760b 18584 why3_1.7.2-2.debian.tar.xz Files: 6f286e18876153153273a9c069d1caae 2452 math optional why3_1.7.2-2.dsc 502d3ff132989d1dc5bdedeebd9a9694 18584 math optional why3_1.7.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAma6nkwSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBoxUIALFO+pBDbt+4Its2d/LiML9ZfqFro9ST xj+QOO7eXObNbTb+Kw5zcf+WexxUO0fDQjTeOeG8wNewr7JsA8HchiG8f2FuafGC SQkpGght8lWCSI+zatbZHnXxD7JmZv8bR4cz8iCpfrQP3SgRCbPvvrXgFRpK2s53 KlNbIZCzu+0wPT0+efiaI5E/yctptHI0plL7GAkvthHoQ9KdDhBhGK4V3vZU7cqQ lzOZ06E+wqvH1QhBvjNV2ceHaXdf3dUyIbuWH4Y0/9yy2UIebkqLjfaVt8H0e20q 2yZ2u1Wfg/ITyyRGyzeUEhtv0pCg0Gt56LqqlpJqBTt+lC6sdnP1fBY= =cH21 -----END PGP SIGNATURE-----
