Ubuntu

amd64 build of dafny 1.9.5-1 in ubuntu yakkety RELEASE

Copy archive test-rebuild-20160701 for Matthias Klose
amd64 build of dafny 1.9.5-1

created on 2016-07-01

Build status

Failed to build on lcy01-08

Started on 2016-07-25
Finished on 2016-07-25 (took 1 minute, 52.7 seconds)
buildlog (26.7 KiB)

Build details

Source:: dafny - 1.9.5-1

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

Series:: Yakkety

Architecture:: amd64

Pocket:: Release

Component:: universe