| Port: | math/hs-Agda |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| math/hs-Agda | 2.7.0.1 | 141amd64-default | stage | 2025-03-04 11:14 | log report build queue |
| math/hs-Agda | 2.7.0.1 | main-amd64-default | stage | 2025-03-03 17:01 | log report build queue |
| math/hs-Agda | 2.7.0.1 | 134amd64-default | stage | 2025-03-02 16:27 | log report build queue |
| math/hs-Agda | 2.7.0.1 | 141amd64-default | stage | 2025-03-01 14:45 | log report build queue |
| math/hs-Agda | 2.7.0.1 | 141amd64-default | stage | 2025-02-28 00:48 | log report build queue |