Älven 09db11b3d2

math/yices: Properly fix distfile source specification ...

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

Approved by:	yuri@ (Mentor, implicit)

Fixes:	6eae341539cc * math/yices: Fix distfile source specification

2025-09-22 15:59:23 +04:00

..

files

…

distinfo

math/yices: Properly fix distfile source specification

2025-09-22 15:59:23 +04:00

Makefile

math/yices: Properly fix distfile source specification

2025-09-22 15:59:23 +04:00

pkg-descr

…

pkg-plist

…