Build Package #10
nathancartlidgeAnnotations
1 error
|
build (AMD64)
Process completed with exit code 1.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
AgdaInput-v0.4.0-1-g5d5b152-x64.zip
Expired
|
41.6 KB |
|