git: 03d56d76e2b5 - main - math/yices: Bump PORTREVISION for new distfile

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Älven <alven_at_FreeBSD.org>
Date: Sun, 21 Sep 2025 20:54:26 UTC

The branch main has been updated by alven:

URL: https://cgit.FreeBSD.org/ports/commit/?id=03d56d76e2b5746b4b891bb4eb2a2b4fe1c0473b

commit 03d56d76e2b5746b4b891bb4eb2a2b4fe1c0473b
Author:     Älven <alven@FreeBSD.org>
AuthorDate: 2025-09-21 20:52:08 +0000
Commit:     Älven <alven@FreeBSD.org>
CommitDate: 2025-09-21 20:52:08 +0000

    math/yices: Bump PORTREVISION for new distfile
    
    * Forgot to add in previous commit, sorry...
    
    Approved by:    yuri@ (Mentor, implicit)
    
    Fixes:  6eae341539cc * math/yices: Fix distfile source specification
---
 math/yices/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/math/yices/Makefile b/math/yices/Makefile
index 2a3b3b2be87d..264e19c78cfc 100644
--- a/math/yices/Makefile
+++ b/math/yices/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	yices
 DISTVERSION=	2.7.0
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org