sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/glucose: update 4.1 → 4.2.1

Browse source
This commit is contained in:
Yuri Victorovich 2025-01-09 21:30:19 -08:00
parent b53f99fda4
commit 6e097a7e1e
2 changed files with 11 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
math/glucose/Makefile
View file

@ -1,18 +1,19 @@
PORTNAME= glucose
DISTVERSION= 4.1
PORTREVISION= 3
DISTVERSION= 4.2.1
CATEGORIES= math
MASTER_SITES= http://www.labri.fr/perso/lsimon/downloads/softwares/
DISTNAME= glucose-syrup-${DISTVERSION}
MAINTAINER= yuri@FreeBSD.org
COMMENT= Parallel SAT solver based on Minisat, with glue clauses
WWW= https://www.labri.fr/perso/lsimon/glucose/
WWW= https://www.labri.fr/perso/lsimon/glucose/ \
https://github.com/audemard/glucose
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENCE
LICENSE_FILE= ${WRKSRC}/LICENSE
USES= compiler:c++11-lang gmake tar:tgz
USES= compiler:c++11-lang gmake
USE_GITHUB= yes
GH_ACCOUNT= audemard
PLIST_FILES= bin/glucose bin/glucose-syrup

6
math/glucose/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1517475160
SHA256 (glucose-syrup-4.1.tgz) = 51aa1cf1bed2b14f1543b099e85a56dd1a92be37e6e3eb0c4a1fd883d5cc5029
SIZE (glucose-syrup-4.1.tgz) = 82779
TIMESTAMP = 1736486340
SHA256 (audemard-glucose-4.2.1_GH0.tar.gz) = a6d4af223e851b50ec6cdbd34b10ce7c8958e372b6c590c589b6d976a03c9a0d
SIZE (audemard-glucose-4.2.1_GH0.tar.gz) = 88105