Accepted why3 1.6.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted why3 1.6.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 08 Sep 2023 06:12:15 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: why3_1.6.0-1_source.changes
- Debian-source: why3
- Debian-suite: unstable
- Debian-version: 1.6.0-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=PnLb7QwfBu5t4Vn+vnBmZbFLCTce0ERt3J1r0Tx9nAo=; b=UIpZte1vzATxjKhcut0+UsI9xG LIvdY+GQuxTqgI0jxk0WpRW6nE4whKgHnnH5iCkn0LMvP7S3Wn4H1rop9e8U8iKWykYeE5w2397Tr mpZ6ev51l6WKYqhRWJikuAVOoTFO1LvuXB07+5NymGo8i7G/1G2fSx3f9vGvJvf282EL334qvsndA Yh8FtjrX3YGeHEVSxe7pwNNtDlGlBlkYQinDnsmRqHx5YXEbsE0btq4aJGEHAjgNAR1IqWQX48Mwh RqwGTqgj1J4tQYOa/hIDiWm9tywhCq8N2Wu9v3cut/z55CIUq/7CK62T1Oy7ALQEAymhdfIabujUh fHQM0opQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qeUj1-00ASH7-Do@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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-----