-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 19 Mar 2022 15:01:40 +0100
Source: why3
Architecture: source
Version: 1.4.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.4.1-2) unstable; urgency=medium
.
* Fix compilation on bytecode architectures, on these architectures we
have to look for exported units in why3ide.cma.
Checksums-Sha1:
e9f4ecdb2e78939ba1b6f54f6c63e5bd101345b5 2662 why3_1.4.1-2.dsc
329e6f907f33f887c46cffcddc3eecbf885e0b8a 20424 why3_1.4.1-2.debian.tar.xz
81671cddf22ca05eb564bdde19f1e277dc535aa6 14988 why3_1.4.1-2_source.buildinfo
Checksums-Sha256:
9e6db1d4690b2bc8c5d498cdb431988014d84216cc7880f53ae0f9b07f49541c 2662 why3_1.4.1-2.dsc
c8983eb515b88691da787e05a5c9c1c784cb66db930d2fb1ad4d5b6d1bcc2e3a 20424 why3_1.4.1-2.debian.tar.xz
51df4993324e446c735e77adca5539e4ad8d1e7e52b81323acf7d9fd7ba0a4ae 14988 why3_1.4.1-2_source.buildinfo
Files:
3542f53f0492d96cb5af17801a1a7f56 2662 math optional why3_1.4.1-2.dsc
0731555fb308e60761bd60074dd52737 20424 math optional why3_1.4.1-2.debian.tar.xz
f153efad5cbca76358de50880c6601c3 14988 math optional why3_1.4.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmI2HPcACgkQdFxHZtTK
zf8cfhAAmEEANWFYa9tGE8StBC5uiMOrQRVgKGWCoN8/HEK+C0e2Kez1FPd9FeN6
hAQM9+6q2ghZMTq2YlkPm9lWf7flVfwH4Yb5eB8BLz7Ieg2s7UweHV4o7DzObeF2
TpL1MMUCN0zXwQ2bHS2wjwBA8dZ/xUDyHLGooPcAXlUoMUXe6ffB/FdtU07JXeeG
mAqWuYiqYVFdghqtRb7JO9v1RdTiTFRB/V0SQQFU3wvCBwPM+jdBbKxmZv9vG0Vp
RXEPqvie9aZI8rvfDjvsRIsCFkwRME9LuJDQnW2nbCZB7TfiaOCqJc83ZZmb82CO
fc+CVWjLyzctu1Iq2MYQ1ZutUQwp3sSCakm0cVVvtHkEtzEBhOZVyeZrdpDLQatQ
n18ZYwch6728zA1bMtk9Holwcj2hFb1iv5nVDtPTph+Nyd1nBqYubQHWPf34jQhJ
MKLYWkSMvR330qXKi2C0hYmdqXiDZ9LJWmU1uboK5s/X9wJQzidQshXmzBKs7zTg
gkm8ge5YHl/BozBlkq/QS4OcL8Im3mGljknyBQI7RHnlQHV6HQQX/isHcrX8gc1M
wJMqwHiDG91RwcsUl+fSk8tE+hfb/2JuNvGy0piwlJOH6/WYQt5PGhyQh+nF07wa
O8mIqP8Wq7UTyd/mLHuO5t8dL87t9jrdXSVGcqIAtcC9sntDnTg=
=j6Ej
-----END PGP SIGNATURE-----
