Ubuntu

amd64 build of dafny 1.9.7-1 in ubuntu artful RELEASE

Copy archive test-rebuild-20170922 for Matthias Klose
amd64 build of dafny 1.9.7-1

created on 2017-09-22

Build status

Failed to build on lcy01-18

Started on 2017-09-23
Finished on 2017-09-23 (took 1 minute, 34.8 seconds)
buildlog (25.7 KiB)

Build details

Source:: dafny - 1.9.7-1

Archive:: Copy archive test-rebuild-20170922 for Matthias Klose

Series:: Artful

Architecture:: amd64

Pocket:: Release

Component:: universe