From nobody Sun Apr 28 18:02:33 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4VSDnj4dqRz5JgZC; Sun, 28 Apr 2024 18:02:33 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4VSDnj44Dpz538C; Sun, 28 Apr 2024 18:02:33 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1714327353; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=pJZN2Wc6N3AaQYP26MLnuOefNqIx7Tsuv/ll0vkYCHY=; b=tB1Rn1NrPmgPuobzjMjkISKvQdW8r007qUbi18ctmqmJbhcQtoVMcuKTRGpg8MtT/ZOgZX Mqq05Rfj6yXgFkt+7xjg8SEc+dG29jk/nu6IWghGQSJyhWe9273bM+erhnpTPqa7qbULJt aLm2VrMfC7nwgd/2XPjw+AV9sg5epymmd3Y0mv6jfxeHEbI+xLUdYplU44LmG4LTtZTVKq q4LMJe5R8Rk2hQ1tCQDfbgNEEGiOYZZfPss11nzQWPtfBT4lZHj8sLf9Ou6U+glwvVJpkK Qlovjc6UGsZn1Dmc0nmqHzCPBAjAo+GSbS9pphCFt1moLGD2HSdzH1nEOGziGw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1714327353; a=rsa-sha256; cv=none; b=nURqDXiVkobaqwqW2iP0/eeZezzBI0hQZ9NB8eH9iRA9YtBVTTZhUp/x6XNzkJ/krDcb/t LPoT6Q2XH1nqt2Dz/FlimlWWzBq7fhmXLpQ9Lw9jeSh+V4nOGeQEgfMD7Bol6w0YtrlXwn mwyPceR+XnE/fadSk8YHNr3GMhn8IsIZavNChc0Qhmm35OvXmQsf1u9toh2l0eYKtxZ7Y9 WpvArlo/MCypvy9aIOg2mh0j7bbrWXzgYBpDtl8iKuo7bSoZnF4YOjW6bRDzCjcoGP7nf3 bvINjQQw1jNz5sfy4by5NNvgmZZp5HKPYDPK6CijH38A3PoaeWZxUztlyCU36Q== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1714327353; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=pJZN2Wc6N3AaQYP26MLnuOefNqIx7Tsuv/ll0vkYCHY=; b=Z7r1UXtHB/ojaJvZ4IVhrs5JHYepw8PutZIMFa3J5O2x86B1isd5vvJFaS/MeRPOx/gXAy nWO6QVsxuoHhCgPagJruqKOJOOEK24zvq18jxDdsS0KuZojbkC0zsIav84JX0usEm/2ez6 rp8XJ1bwN6zUDnZhPlSTpmwy0aPR17uOAYSGe/K5eKWb5YfoLaXPiQETNZJp81KpilOekL mZGFwFuEV4o8qHsEn1sSyILcTgyEiqmnFShCxaFIZv0BE1yl9+ePCaSaA6LSrlfhDqp/3w eJZWznN4kYsASNW8/MQvm/4VHnBakKML6E9E10MrQOSPcDIgyueS82FkZ23pJA== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4VSDnj3gWtzbGr; Sun, 28 Apr 2024 18:02:33 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 43SI2Xmj092755; Sun, 28 Apr 2024 18:02:33 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 43SI2XkL092752; Sun, 28 Apr 2024 18:02:33 GMT (envelope-from git) Date: Sun, 28 Apr 2024 18:02:33 GMT Message-Id: <202404281802.43SI2XkL092752@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 72124020da36 - main - math/mathlibtools: Removed because it is obsolete List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 72124020da368b6e2364d5208d11a8393e3fc9fe Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=72124020da368b6e2364d5208d11a8393e3fc9fe commit 72124020da368b6e2364d5208d11a8393e3fc9fe Author: Yuri Victorovich AuthorDate: 2024-04-28 18:00:55 +0000 Commit: Yuri Victorovich CommitDate: 2024-04-28 18:00:55 +0000 math/mathlibtools: Removed because it is obsolete It was usable with math/lean, but now math/lean4 has superseded math/lean and should be used instead. --- MOVED | 1 + math/Makefile | 1 - math/mathlibtools/Makefile | 31 ------------------------------- math/mathlibtools/distinfo | 3 --- math/mathlibtools/pkg-descr | 3 --- 5 files changed, 1 insertion(+), 38 deletions(-) diff --git a/MOVED b/MOVED index 341835875d1a..e157724a2d1d 100644 --- a/MOVED +++ b/MOVED @@ -3198,3 +3198,4 @@ multimedia/flvtool++||2024-04-21|Has expired: Abandonware, consider using multim www/mod_tidy||2024-04-24|Has expired: Last upstream release was in 2005 net-p2p/go-prysm||2024-04-24|Has expired: Broken for more than 6 months x11-toolkits/p5-Gtk2-Ex-Dialogs||2024-04-24|Has expired: No longer works with modern Gtk2 +math/mathlibtools||2024-04-28|Project is obsolete and archived on GitHub since Aug 2023, not compatible with math/lean4 diff --git a/math/Makefile b/math/Makefile index 2c05d4b0585c..347e9eadf979 100644 --- a/math/Makefile +++ b/math/Makefile @@ -488,7 +488,6 @@ SUBDIR += math77 SUBDIR += mathgl SUBDIR += mathicsscript - SUBDIR += mathlibtools SUBDIR += mathmod SUBDIR += mathomatic SUBDIR += mathpresso diff --git a/math/mathlibtools/Makefile b/math/mathlibtools/Makefile deleted file mode 100644 index d820bd67867b..000000000000 --- a/math/mathlibtools/Makefile +++ /dev/null @@ -1,31 +0,0 @@ -PORTNAME= mathlibtools -DISTVERSION= 1.2.0 -PORTREVISION= 1 -CATEGORIES= math python -MASTER_SITES= PYPI - -MAINTAINER= yuri@FreeBSD.org -COMMENT= Lean prover mathlib supporting tools -WWW= https://github.com/leanprover-community/mathlib-tools - -LICENSE= APACHE20 -LICENSE_FILE= ${WRKSRC}/LICENSE - -RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}atomicwrites>0:devel/py-atomicwrites@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}certifi>0:security/py-certifi@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}click>0:devel/py-click@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}gitpython>=2.1.11:devel/py-gitpython@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}networkx>0:math/py-networkx@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}pydot>0:graphics/py-pydot@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}PyGithub>0:devel/py-PyGithub@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}pyaml>=3.13:textproc/py-pyaml@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}requests>0:www/py-requests@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}toml>=0.10.0:textproc/py-toml@${PY_FLAVOR} \ - ${PYTHON_PKGNAMEPREFIX}tqdm>0:misc/py-tqdm@${PY_FLAVOR} - -USES= python -USE_PYTHON= distutils noflavors autoplist - -NO_ARCH= yes - -.include diff --git a/math/mathlibtools/distinfo b/math/mathlibtools/distinfo deleted file mode 100644 index 7bf57d9c0379..000000000000 --- a/math/mathlibtools/distinfo +++ /dev/null @@ -1,3 +0,0 @@ -TIMESTAMP = 1667631450 -SHA256 (mathlibtools-1.2.0.tar.gz) = 8c85a23a67b50333797d4682b91ad9fbd204a4e2edaf5e3d516b37598bcfc918 -SIZE (mathlibtools-1.2.0.tar.gz) = 27987 diff --git a/math/mathlibtools/pkg-descr b/math/mathlibtools/pkg-descr deleted file mode 100644 index 019f11aadee8..000000000000 --- a/math/mathlibtools/pkg-descr +++ /dev/null @@ -1,3 +0,0 @@ -mathlibtools contains leanproject, a supporting tool for Lean mathlib. - -Lean is installed by the port math/lean.