| Attachment #424976 | |||||
|---|---|---|---|---|---|
| emerge-history.txt | text/plain | 2016-02-08 18:35:10 UTC | 594.14 KB | no flags | Details |
| Attachment #424978 | |||||
|---|---|---|---|---|---|
| environment | text/plain | 2016-02-08 18:35:12 UTC | 121.81 KB | no flags | Details |
| Attachment #424980 | |||||
|---|---|---|---|---|---|
| sci-mathematics:agda-2.4.2.5:20160208-180231.log | text/plain | 2016-02-08 18:35:16 UTC | 21.34 KB | no flags | Details |