-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 12 Sep 2025 14:59:57 +0200 Source: why3 Architecture: source Version: 1.8.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Closes: 1098092 Changes: why3 (1.8.1-1) unstable; urgency=medium . * Team upload * New upstream release (Closes: #1098092) . why3 (1.8.0-3) experimental; urgency=medium . * Update home page. * Build again the documentation packages. * Standards-Version 4.7.2 (no change) Checksums-Sha1: b56e98519d391125ba953d02c9fa10bee5e54b3c 2460 why3_1.8.1-1.dsc 293de0785ebc046491b8bcd8aea941e5c7eb0d3b 6639678 why3_1.8.1.orig.tar.bz2 0e44cfa21af57a844011545e36a7b1c597476a2d 19476 why3_1.8.1-1.debian.tar.xz Checksums-Sha256: fbfa8fd19420afd47822c781bf005e1fd1942268ea7a4262dc5981cfc65c1676 2460 why3_1.8.1-1.dsc 43642d8164458eb389aa90acd2ff0327a5c9ce41425f6ebff7492c9a584e0cbd 6639678 why3_1.8.1.orig.tar.bz2 354859317695eeb7fa8908f9cab424e15ec771aa784018490521d2dd78b5117e 19476 why3_1.8.1-1.debian.tar.xz Files: 590256d69077657d9a3e1051485478e4 2460 math optional why3_1.8.1-1.dsc 57461d5e1cdd5a2179a9c2bb801002bd 6639678 math optional why3_1.8.1.orig.tar.bz2 6c5d6c276b5758a31d5aa98fc574c1a6 19476 math optional why3_1.8.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmjEGc0SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBC+EH/jo/fnuHDdKB9e8lCH58uNHZmK2ucr2r It/bfEqRXy7TfdKwY+FFSzbb2QLP70A/nYRFXnbH0DcBrEw27fJDeZ0Vw2plJICq CbXcoorqT0aCeOHjVB7jp21I0S8+5Obe49dKcDLfFy0v8znNzbZj/Rd5eKN6pAF4 gx59ZCahSeAy6ZXk5VAo7t/K0+bj2+zlmW3lOywZ+XpqBAXx2bdi9vM1/165tRSW ylhdPr5NgmQRit3Y5eLix4JXYDSLPapQBs2EE39f3WdcQQwqlkQZ5PJS79YAxmZw SRowanyoJ9BnuNJ4DrBgUJyGTFsNx8fWfx076E+pk5MmDBfbNN4Waus= =4IYy -----END PGP SIGNATURE-----
Attachment:
pgp5SkVJjFw2x.pgp
Description: PGP signature