Attachment 480628 Details for Bug 623796 – coq-8.6:20170704-141515.log.bz2

coq-8.6:20170704-141515.log.bz2

coq-8.6:20170704-141515.log.bz2 (application/x-bzip2), 24.08 KB, created by Agostino Sarubbo on 2017-07-04 14:22:46 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Agostino Sarubbo

Created: 2017-07-04 14:22:46 UTC

Size: 24.08 KB

patch

obsolete

Attachment is not viewable in your browser because its MIME type (application/x-bzip2) is not one that your browser is able to display.

Actions: View

Attachments on bug 623796: 480628 | 480630