mirror of
https://git.freebsd.org/ports.git
synced 2026-06-02 11:08:52 +00:00
09db11b3d2
Most of GH ports have DISTVERSIONPREXFIX=v, this one uses ${PORTNAME}
Approved by: yuri@ (Mentor, implicit)
Fixes: 6eae341539 * math/yices: Fix distfile source specification