sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-07 05:40:30 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/btor2tools: Add CPE information

Browse source 
Approved by:	portmgr (blanket)
This commit is contained in:
Stefan Eßer 2021-10-19 13:14:35 +02:00
parent b3dcccf640
commit 32b46ee94b
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/btor2tools/Makefile
View file

@ -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