| Port details |
- py-math-verify HuggingFace library for verifying mathematical answers
- 0.9.0 math
 =0      Package not present on quarterly.This port was created during this quarter. It will be in the next quarterly branch but not the current one. - Maintainer: yuri@FreeBSD.org
- Port Added: 2026-07-09 05:21:44
- Last Update: 2026-07-09 05:20:14
- Commit Hash: 14a673a
- Also Listed In: python
- License: APACHE20
- WWW:
- https://github.com/huggingface/math-verify
- Description:
- Math-Verify is a HuggingFace library for verifying mathematical answers.
It provides evaluation metrics and verification utilities for assessing
the correctness of mathematical solutions, supporting both numeric and
symbolic answer comparison.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}math-verify>0:math/py-math-verify@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-math-verify/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-math-verify
- pkg install py312-math-verify
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
NOTE: This is a Python port. Instead of py312-math-verify listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py312-math-verify
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1783090332
SHA256 (math_verify-0.9.0.tar.gz) = 45ac6c61344ba056b9e99a660a4bc8d044ed408f730aed68c60435aa5eec4645
SIZE (math_verify-0.9.0.tar.gz) = 60329
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py312-setuptools>0 : devel/py-setuptools@py312
- py312-wheel>0 : devel/py-wheel@py312
- python3.12 : lang/python312
- py312-build>=0 : devel/py-build@py312
- py312-installer>=0 : devel/py-installer@py312
- Test dependencies:
-
- python3.12 : lang/python312
- Runtime dependencies:
-
- py312-latex2sympy2-extended>0 : math/py-latex2sympy2-extended@py312
- python3.12 : lang/python312
- This port is required by:
- for Run
-
- devel/py-mellea
Configuration Options:- No options to configure
- Options name:
- math_py-math-verify
- USES:
- python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 1
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
0.9.0
09 Jul 2026 05:20:14
 |
Yuri Victorovich (yuri) |
math/py-math-verify: New port: HuggingFace library for verifying mathematical
answers |
Number of commits found: 1
|
As an Amazon Associate I earn from qualifying purchases.