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
1 fallout of a version the ports tree has moved past is left out. Show it.
| 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 |