From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 050611382C5 for ; Thu, 4 Mar 2021 13:07:46 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 35D4AE085B; Thu, 4 Mar 2021 13:07:45 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id DE8ECE085B for ; Thu, 4 Mar 2021 13:07:44 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 772DC340F37 for ; Thu, 4 Mar 2021 13:07:43 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 15A97478 for ; Thu, 4 Mar 2021 13:07:42 +0000 (UTC) From: "Andrew Ammerlaan" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andrew Ammerlaan" Message-ID: <1614863253.4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2.andrewammerlaan@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/why3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/why3/why3-1.3.3.ebuild X-VCS-Directories: sci-mathematics/why3/ X-VCS-Committer: andrewammerlaan X-VCS-Committer-Name: Andrew Ammerlaan X-VCS-Revision: 4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2 X-VCS-Branch: master Date: Thu, 4 Mar 2021 13:07:42 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: d1bcb47c-dee9-47c2-b889-c6e00d3d8436 X-Archives-Hash: bf10fe1e5f40611ec5b3397b5db1edc0 commit: 4d56f41bcbf02ab76cd1d36ecc7e1f93a3261ce2 Author: Andrew Ammerlaan riseup net> AuthorDate: Thu Mar 4 13:07:33 2021 +0000 Commit: Andrew Ammerlaan riseup net> CommitDate: Thu Mar 4 13:07:33 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=4d56f41b sci-mathematics/why3: use the proper version number for frame-c Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan riseup.net> sci-mathematics/why3/why3-1.3.3.ebuild | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci-mathematics/why3/why3-1.3.3.ebuild b/sci-mathematics/why3/why3-1.3.3.ebuild index 41c1f9b9f..ab4a54b91 100644 --- a/sci-mathematics/why3/why3-1.3.3.ebuild +++ b/sci-mathematics/why3/why3-1.3.3.ebuild @@ -29,7 +29,7 @@ DEPEND=" dev-ml/menhir dev-ml/num sci-mathematics/coq - frama-c? ( >=sci-mathematics/frama-c-20140301 ) + frama-c? ( >=sci-mathematics/frama-c-22 ) float? ( sci-mathematics/flocq ) " RDEPEND="${DEPEND}"