Ubuntu

amd64 build of dafny 1.9.7-1 in ubuntu zesty RELEASE

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

created on 2016-12-02

Build status

Failed to build on lgw01-01

Started on 2016-12-04
Finished on 2016-12-04 (took 2 minutes, 55.7 seconds)
buildlog (30.8 KiB)

Build details

Source:: dafny - 1.9.7-1

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

Series:: Zesty

Architecture:: amd64

Pocket:: Release

Component:: universe