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
Description
Description
Details
Details
- Provenance
alven Authored on Sep 21 2025, 8:52 PM - Parents
- R11:6eae341539cc: math/yices: Fix distfile source specification
- Branches
- Unknown
- Tags