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 121CE1382C5 for ; Sat, 16 Jan 2021 21:34:28 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 4A221E0849; Sat, 16 Jan 2021 21:34:27 +0000 (UTC) Received: from smtp.gentoo.org (mail.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (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 2E599E0849 for ; Sat, 16 Jan 2021 21:34:27 +0000 (UTC) Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84]) (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 F0E34340D2F for ; Sat, 16 Jan 2021 21:34:25 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 7EB104B for ; Sat, 16 Jan 2021 21:34:24 +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: <1610832811.a7a7bf61a17ed0027158c35aac900bbc84d3ec23.andrewammerlaan@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: profiles/, sci-mathematics/pff/ X-VCS-Repository: proj/sci X-VCS-Files: profiles/package.mask sci-mathematics/pff/metadata.xml sci-mathematics/pff/pff-8.4.ebuild X-VCS-Directories: profiles/ sci-mathematics/pff/ X-VCS-Committer: andrewammerlaan X-VCS-Committer-Name: Andrew Ammerlaan X-VCS-Revision: a7a7bf61a17ed0027158c35aac900bbc84d3ec23 X-VCS-Branch: master Date: Sat, 16 Jan 2021 21:34:24 +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: 3fb9b9ca-aea4-4dd6-9365-fdfafcd3d732 X-Archives-Hash: 5b16a76bc753c673c8b967ff680b87d7 commit: a7a7bf61a17ed0027158c35aac900bbc84d3ec23 Author: Andrew Ammerlaan riseup net> AuthorDate: Sat Jan 16 21:33:31 2021 +0000 Commit: Andrew Ammerlaan riseup net> CommitDate: Sat Jan 16 21:33:31 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=a7a7bf61 sci-mathematics/pff: remove pack, upstream has dissapeared a quick google search suggests that sci-mathematics/flocq is likely the succesor Signed-off-by: Andrew Ammerlaan riseup.net> profiles/package.mask | 1 - sci-mathematics/pff/metadata.xml | 14 -------------- sci-mathematics/pff/pff-8.4.ebuild | 32 -------------------------------- 3 files changed, 47 deletions(-) diff --git a/profiles/package.mask b/profiles/package.mask index f0127c835..34cefe170 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -135,4 +135,3 @@ sci-libs/fgsl sci-libs/lwpr sci-libs/modglue sci-libs/superlu_dist -sci-mathematics/pff diff --git a/sci-mathematics/pff/metadata.xml b/sci-mathematics/pff/metadata.xml deleted file mode 100644 index 0c97b245d..000000000 --- a/sci-mathematics/pff/metadata.xml +++ /dev/null @@ -1,14 +0,0 @@ - - - - - sci-mathematics@gentoo.org - Gentoo Mathematics Project - - -PFF (Preuves Formelles sur les Flottants = Formal Proofs about Floats) -is a repository of a Coq library about floating-point arithmetic. It -contains both definitions and proofs of basic facts, old and new -properties and algorithms. - - diff --git a/sci-mathematics/pff/pff-8.4.ebuild b/sci-mathematics/pff/pff-8.4.ebuild deleted file mode 100644 index 951b49edc..000000000 --- a/sci-mathematics/pff/pff-8.4.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -DESCRIPTION="Library for reasoning about floating point numbers in coq" -HOMEPAGE="http://lipforge.ens-lyon.fr/www/pff/" -SRC_URI="http://lipforge.ens-lyon.fr/frs/download.php/165/Float${PV}.tgz" - -LICENSE="LGPL-2" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="" - -DEPEND="sci-mathematics/coq" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/Float${PV}" - -src_prepare() { - sed -i Makefile \ - -e "s|\`\$(COQC) -where\`/user-contrib|\$(DSTROOT)/\`\$(COQC) -where\`/user-contrib|g" \ - -e "s|VOFILESINC=\$(filter \$(wildcard \./\*),\$(VOFILES))|VOFILESINC:=\$(filter-out ,\$(VOFILES))|g" -} - -src_compile(){ - default -} - -src_install(){ - emake install DSTROOT="${D}" -}