math/lean4: remove compatibility code for FreeBSD 13
Description
Description
Details
Details
- Provenance
rene Authored on Fri, Jul 31, 9:06 PM - Parents
- R11:8d126ba007db: sysutils/fwupd: Update to 2.1.7
- Branches
- Unknown
- Tags
math/lean4: remove compatibility code for FreeBSD 13 Tags None Referenced Files None Subscribers None |