FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity

math/yices: Properly fix distfile source specification

Browse Source 
Most of GH ports have DISTVERSIONPREXFIX=v, this one uses ${PORTNAME}

Approved by:	yuri@ (Mentor, implicit)

Fixes:	6eae341539 * math/yices: Fix distfile source specification
This commit is contained in:
Älven
2025-09-22 15:54:59 +04:00
parent 36e8f4b0c7
commit 09db11b3d2
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/yices/Makefile
+2 -2
View File
@@ -1,6 +1,7 @@
PORTNAME= yices
DISTVERSIONPREFIX= ${PORTNAME}-
DISTVERSION= 2.7.0
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@@ -18,7 +19,6 @@ USES= autoreconf compiler:c11 gmake localbase
USE_GITHUB= yes
GH_ACCOUNT= SRI-CSL
GH_PROJECT= yices2
GH_TAGNAME= yices-${DISTVERSION}
USE_LDCONFIG= yes
GNU_CONFIGURE= yes
math/yices/distinfo
+3 -3
View File
@@ -1,3 +1,3 @@
TIMESTAMP = 1758486511
SHA256 (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
SIZE (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 10461165
TIMESTAMP = 1758542030
SHA256 (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
SIZE (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 10461165