Accepted frama-c 20220511-manganese-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted frama-c 20220511-manganese-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 09 Sep 2023 07:04:49 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: frama-c_20220511-manganese-5_source.changes
- Debian-source: frama-c
- Debian-suite: unstable
- Debian-version: 20220511-manganese-5
- 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=Yfprhblu2dgITleMkW3gpRP+qya0wMb7cxVyi/q6oYc=; b=D54ZDHxcXIWJWHfS3h/C4HxZ4T mKvfKYkBPdnb69ijXoUjICifwTJ5OFmXmjKwvH0j7VvUnu9lDI98JuYXEgW/UluTxemTsySa4lnA+ JnXS7qVepPwhVLOyvp8DKtteo4UBCrmoK4VLQoBMt1zjEw3r8aPHwnPLFc8K/Lh7GscTrMgWYvMQK SAPiZ5sAKzFKpfpodW7u/xQGvxauqoJZsCJyba/LS3j7e/keqerCq7ejOvQEdazNFPD3Ie4RHjh7w aftVp7Jf96mjBotlhO2LIZwGpwNlh9JqF+yVp4ap6gj7ylaClglKyc/3hR0DQkAorKST7fnN9++vG oyz7k4Yw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qes1R-00FXvx-80@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 09 Sep 2023 08:26:56 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1051485
Changes:
frama-c (20220511-manganese-5) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Disable Why3 support (Closes: #1051485)
* Depend on ocaml instead of transitional ocaml-nox
.
[ Debian Janitor ]
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9~).
+ Build-Depends: Drop versioned constraint on libocamlgraph-ocaml-dev (>=
1.8.8).
Checksums-Sha1:
cff26394c95c4ee4d33c7750c0c868d7000b7053 2145 frama-c_20220511-manganese-5.dsc
a6e389c92be52437df4cbf287594f23609f80c04 16816 frama-c_20220511-manganese-5.debian.tar.xz
Checksums-Sha256:
3db560705f3174655ab573d980f918d29ab841483770ca4a6abc1eb4bc5205ff 2145 frama-c_20220511-manganese-5.dsc
bcf844eb16f85e10f838df00d470faefe4b6be7e5cc613f6ce04ba4b76d8c4d5 16816 frama-c_20220511-manganese-5.debian.tar.xz
Files:
31710fa79f6973d59126335f16d9f3c2 2145 devel optional frama-c_20220511-manganese-5.dsc
0e607a2e35db67f5a740cd31a3be2c05 16816 devel optional frama-c_20220511-manganese-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmT8FWcSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBjpYH/1McKBH/t3uw/GWzC3ZJIMb7TRmlW0p1
2ksGrmF9lX8JiTXducEYsIxWZBxUqX/N5IWBu5zOw1gpVLFGPrkAXIAIKpe0eTGe
XesKDQheaBViSSrNb5khodwKu1MiOGalZ0hujcRl3pcKU0MkaHpe4pbBaptodVwW
Rx/Z6j7SxKXlH7fC8d9xUeMmc1qidGoGdbBSzXAY+zw69B+WRyFH/fHgLfNUEa0D
tuL2eRwMRO4IS9MGfdGKjVKRYfJgsvgrYaVnHWTSWTOSqyAGm3UVAEoXj/cqufmz
IGkaCYGk04SnCWKZf2JQ6TTIzvJjtMMhXWOp1Amx7jNK3bZpOoHZ1KM=
=oc4Q
-----END PGP SIGNATURE-----