| Attachment #765331 | |||||
|---|---|---|---|---|---|
| build.log | text/plain | 2022-02-18 07:29:53 UTC | 679.47 KB | no flags | Details |
| Attachment #765379 | |||||
|---|---|---|---|---|---|
| CoqRefMan.log.bz2 | application/x-bzip-compressed-tar | 2022-02-18 12:53:46 UTC | 165.12 KB | no flags | Details |
Attachment cannot be viewed because its MIME type is not text/*, image/*, or application/vnd.mozilla.*. Download the attachment instead.