-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 23 Sep 2025 22:40:18 +0200 Source: why3 Architecture: source Version: 1.8.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: why3 (1.8.2-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: f0d931119dbe1cda532c6cb598dc2c014477640f 2671 why3_1.8.2-1.dsc e143f14cbe31f0603cfa512ede2d38b2b29a85e6 6644926 why3_1.8.2.orig.tar.bz2 515d2505c0307b379703286a1fbf48fb607989e0 19492 why3_1.8.2-1.debian.tar.xz 0c6528ad2c05b921e3f38eda843bd821031e6281 15803 why3_1.8.2-1_source.buildinfo Checksums-Sha256: 743bd613fb5b37a01647e23209d0c2c930b3d5975d5d97cb58f8269e178ead89 2671 why3_1.8.2-1.dsc 1ccb8e6d75632606842987b08b00cbc13d512a3dba9eab06ff420ad3bae1d111 6644926 why3_1.8.2.orig.tar.bz2 18c4ca22963d788594c12d214b23eebfa345c8a4e22c96be961e36b4fe04f375 19492 why3_1.8.2-1.debian.tar.xz 1809bb5e7fef35c05bc9813602bbd2aaceb1ad849f4aa77288ab746facfde8d6 15803 why3_1.8.2-1_source.buildinfo Files: 555ffdf6c8c522e536bdb5ed243b2b98 2671 math optional why3_1.8.2-1.dsc 0a89fc6956ad76a4af1a4763c24af107 6644926 math optional why3_1.8.2.orig.tar.bz2 4688de296db5d3f06b0bf53fdabbc599 19492 math optional why3_1.8.2-1.debian.tar.xz f8c1b38f2e61fed6c6abf5a398423040 15803 math optional why3_1.8.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmjTBjsACgkQdFxHZtTK zf/Khw//RiCps1gMJAMyVjzWHTRzOYDi8J1HaOM7yXrc1Xj6nSiIPm7lix89YYyX 7BrHoT3kt4F0XmScp9EHiazSMB8jHAFA/Teaaz35/0CN95aWBr/bPwNDpaPmgLBL ULKvKpMOh+cOvYxy5wHHdqOP0bG0xyKa7wK39hVxuXR0g3SVgVu498KNAM2NlQeh TukIeTHe5MHBfJDjOn2isIuGaDWlwgozwOriuy8YGfsOJHVkZWG1U/T1EpsRZBV3 rejPb+GmZRYbaDV/a0Oaag04ACj/Lc33V5icM2z2KN2pgOTbgaFEsdFS0cIWzrGU BR2f6utMIEaGmQFcecPvepROyalD/S2Nz1TO3FScF9h98CXcho2jvtdf5Fur63iu o9QjqV/IOuYvcf7hhlwt4svaFtZ0D1Q8gjhQBfldMd4WJlYd9q/Fjtu3WOAKHBIZ Tuy2SYtIYIERrUSgtNOgjJjuoHxZ/KHblj6ke/kDtvWSaDgrWc8rRewXdB00zuCF Tr42I9jAEKGpaR6hpbdVr0gY1oji8SVAIm0H7GPMEIGi7Q6sdpgo6tZ2bQye/17Q NbbIVb9GzXSroRoIbThiboQaw+juvm8KBMQYMZ5Iyffjw4tUaJt9wQVhmCo9A7XE aaoJQq2Z9sOHuGr4StzikaTDyq4KXK2z2eX6YtztBAEhAt7BiZs= =M0LU -----END PGP SIGNATURE-----
Attachment:
pgpSFZ5y2X8xh.pgp
Description: PGP signature