ports/math/mathlibtools/distinfo, branch release/13.3.0
FreeBSD ports tree
https://cgit-dev.freebsd.org/ports/atom?h=release%2F13.3.0
2022-11-05T15:54:02Z
math/mathlibtools: Update 1.1.2 -> 1.2.0
2022-11-05T15:54:02Z
Yuri Victorovich
yuri@FreeBSD.org
2022-11-05T15:53:16Z
urn:sha1:1cb830e1f54b6b0dccda828b5b58529d264f77ea
eported by: portscout
math/mathlibtools: New port: Lean prover mathlib supporting tools
2022-09-06T16:06:07Z
Yuri Victorovich
yuri@FreeBSD.org
2022-09-06T16:00:05Z
urn:sha1:50e722f392244fd61dad33417cd142f0ab90718a