Thank you for your contribution to Debian.
Accepted:
-----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-----
--==============†30955082363848089=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZrqmygAKCRCb9qggYcy5 ISxIAP0Y71y6m49WmCW7fvwmwMrusPQHd7lluGzk+14ZHwzO6QEAgufaB0Cm32s6 solMKDa6RELicR9KTUUqxiFQmVai/g4=ApUK
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)