Date: Tue, 19 Oct 2021 11:15:04 GMT From: =?utf-8?Q?Stefan E=C3=9Fer?= <se@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 32b46ee94b2d - main - math/btor2tools: Add CPE information Message-ID: <202110191115.19JBF4Fu062752@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by se: URL: https://cgit.FreeBSD.org/ports/commit/?id=32b46ee94b2d513b3961b0b51d1eeec00cc4519b commit 32b46ee94b2d513b3961b0b51d1eeec00cc4519b Author: Stefan Eßer <se@FreeBSD.org> AuthorDate: 2021-10-19 11:14:35 +0000 Commit: Stefan Eßer <se@FreeBSD.org> CommitDate: 2021-10-19 11:14:35 +0000 math/btor2tools: Add CPE information Approved by: portmgr (blanket) --- math/btor2tools/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/math/btor2tools/Makefile b/math/btor2tools/Makefile index 71cea7621fe9..f6e21c9cbec5 100644 --- a/math/btor2tools/Makefile +++ b/math/btor2tools/Makefile @@ -8,6 +8,8 @@ COMMENT= Generic parser and tool package for the BTOR2 format LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt +USES= cpe +CPE_VENDOR= ${PORTNAME}_project USE_GITHUB= yes GH_ACCOUNT= Boolector GH_TAGNAME= 1df768d
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202110191115.19JBF4Fu062752>