| Port: | math/hs-Agda |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/hs-Agda | 2.7.0.1 | 142amd64-quarterly | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | 134amd64-default | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | main-arm64-default | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | 141amd64-default | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | main-amd64-default | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | 134amd64-default | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | 141amd64-default | stage | log report build queue | |
| math/hs-Agda | 2.7.0.1 | 141amd64-default | stage | log report build queue |