Attachment 250057 Details for Bug 278438 – [PATCH] math/stp: Update 2.3.3 -> smtcomp2020

[patch] [PATCH] math/stp: Update 2.3.3 -> smtcomp2020

0001-math-stp-Update-2.3.3-smtcomp2020.patch (text/plain), 1.33 KB, created by Älven on 2024-04-18 16:33:23 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Älven

Created: 2024-04-18 16:33:23 UTC

Size: 1.33 KB

patch

obsolete

>From 1d12f5820331ab94266cc89826a9a2e2ebc5d62d Mon Sep 17 00:00:00 2001
>From: Andrey Korobkov <alster@vinterdalen.se>
>Date: Thu, 18 Apr 2024 20:28:04 +0400
>Subject: [PATCH] math/stp: Update 2.3.3 -> smtcomp2020
>
>PR: 278438
>---
> math/stp/Makefile | 5 ++---
> math/stp/distinfo | 6 +++---
> 2 files changed, 5 insertions(+), 6 deletions(-)
>
>diff --git a/math/stp/Makefile b/math/stp/Makefile
>index 39f0370568f8..07e72b697cb1 100644
>--- a/math/stp/Makefile
>+++ b/math/stp/Makefile
>@@ -1,6 +1,5 @@
> PORTNAME=	stp
>-DISTVERSION=	2.3.3
>-PORTREVISION=	13
>+DISTVERSION=	smtcomp2020
> PORTEPOCH=	1
> CATEGORIES=	math
> 
>@@ -17,7 +16,7 @@ LIB_DEPENDS=	libboost_program_options.so:devel/boost-libs \
> 
> USES=		bison:build compiler:c++11-lang cmake perl5 python
> USE_GITHUB=	yes
>-USE_PERL5=	build
> USE_LDCONFIG=	yes
>+USE_PERL5=	build
> 
> .include <bsd.port.mk>
>diff --git a/math/stp/distinfo b/math/stp/distinfo
>index 868d6a803e52..d00ad66f8795 100644
>--- a/math/stp/distinfo
>+++ b/math/stp/distinfo
>@@ -1,3 +1,3 @@
>-TIMESTAMP = 1563715848
>-SHA256 (stp-stp-2.3.3_GH0.tar.gz) = ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa
>-SIZE (stp-stp-2.3.3_GH0.tar.gz) = 2577550
>+TIMESTAMP = 1713457414
>+SHA256 (stp-stp-smtcomp2020_GH0.tar.gz) = c7d17490be10c23507739ae316c2185e43d691ba19a586dc435d28e69c831ad2
>+SIZE (stp-stp-smtcomp2020_GH0.tar.gz) = 8742215
>-- 
>2.44.0
>

Flags:

alster: maintainer-approval? (arrowd)

Actions: View | Diff

Attachments on bug 278438: 250057