Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Sep 2023 07:09:51 +0200
Source: why3
Architecture: source
Version: 1.6.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Stéphane Glondu <
[email protected]>
Changes:
why3 (1.6.0-1) unstable; urgency=medium
.
* Team upload
* New upstream release
* Depend on ocaml instead of transitional ocaml-nox
* Bump Standard-Version to 4.6.2
Checksums-Sha1:
046e82897cf1d4455580a3b8725586e3867c2f9e 2435 why3_1.6.0-1.dsc
1f8f40b4ede2bb1aff5386cba0c6a0bfc11a4092 6850062 why3_1.6.0.orig.tar.gz
157b30cfb1ca187474c1e95c60dc30ac803bc261 18360 why3_1.6.0-1.debian.tar.xz Checksums-Sha256:
34c860a2e712039c57901068d49eaf42f65594401e2c1af4a5996bfec4507474 2435 why3_1.6.0-1.dsc
845bccea41d271a0ad70709ce957b397d091ec115b88a3e84c487b923d19271c 6850062 why3_1.6.0.orig.tar.gz
94d0ee921fdb93d164dcac6da952fcd855f05a1166ca3d7fa4eab8ca80bef0c4 18360 why3_1.6.0-1.debian.tar.xz
Files:
1be000ae2508999aa93bab35fa338380 2435 math optional why3_1.6.0-1.dsc
6b449abe1e485d6f3c12f81c59fc186c 6850062 math optional why3_1.6.0.orig.tar.gz
d42df719d11fbf5db922c63be258f0a3 18360 math optional why3_1.6.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT6rP4SHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBxI0H/1LJePVUP4r0HuZeX+mpxkYDHMcJGOVy krqKxgCojvYJuU8hhXmek7zkggFUwh+wGK4XpkxJnFgL1oMgcmET5gu9KqoeX+gC pogBtS7OoJyesLyvmU4s2FryGmFfNZuuNFJQIhYp0PTyFQZCDjHznozgdaqf9GGM mCjeqkTBwPknIJY9HN0RKNm9P8Rdr//HSuhwOOEVNMQ6MDxRBWIseHgnLR/vtgS6 9ILseZKlL2PRAdJP+xTkuJjHNaI0XEPCj4P9OYVOmdx3QbzgwwYxVdWEIQZvz3eq VlDmdIHVe9Y0RYeN7ykurrp/3VPnwYW2Li92CwEIik18LbVOORpROuU=
=i8zG
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)