math/hs-Agda
| Maintainer | haskell@FreeBSD.org |
|---|---|
| Version | 2.8.0.2 |
| Comment | Dependently typed functional programming language and proof assistant |
| Categories | math, haskell |
| Links | FreshPorts upstream |
Fallout list
Showing every version, including the 1 the ports tree has moved past. Hide them.
| version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|
| 2.8.0_1 | 150amd64-quarterly | stage | detail · log · report · build queue | |
| 2.8.0_1 | 144amd64-quarterly | stage | detail · log · report · build queue | |
| 2.8.0_1 → 2.8.0.2 | main-amd64-default | build |
detail
·
log
·
|