math/lean4
| Maintainer | yuri@FreeBSD.org |
|---|---|
| Version | 4.35.0 |
| Comment | Theorem prover and functional language for math (new gen) |
| Categories | devel, lang, math |
| Links | FreshPorts upstream |
Fallout list
Showing every version, including the 14 the ports tree has moved past. Hide them.
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 4.33.1 → 4.35.0 | 144amd64-default | build | detail · log · report · build queue | |
| 4.33.1 → 4.35.0 | 144amd64-default | build | detail · log · report · build queue | |
| 4.32.1 → 4.35.0 | 144amd64-default | build | detail · log · report · build queue | |
| 4.32.1 → 4.35.0 | 144amd64-default | build | detail · log · report · build queue | |
| 4.32.1 → 4.35.0 | 144amd64-default | build | detail · log · report · build queue | |
| 4.32.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.32.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.32.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.32.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.31.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.31.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.31.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue | |
| 4.31.0 → 4.35.0 | 150amd64-default | build | detail · log · report · build queue | |
| 4.31.0 → 4.35.0 | main-amd64-default | build | detail · log · report · build queue |