| Port: | math/alt-ergo |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| math/alt-ergo | 2.5.4 | main-amd64-default | package | 2024-10-13 04:08 | log report build queue |
| math/alt-ergo | 2.5.4 | main-i386-default | package | 2024-10-12 12:54 | log report build queue |
| math/alt-ergo | 2.5.4 | 141amd64-default | package | 2024-10-10 19:51 | log report build queue |
| math/alt-ergo | 2.5.4 | 141i386-default | package | 2024-10-10 15:45 | log report build queue |