Fri, 20 Sep 2019 09:44:06 UTC

Information for build frama-c-18.0-2.fc31

ID1323718
Package Nameframa-c
Version18.0
Release2.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#04c8e7df07ddf03d80fb5b23ff1e351609c5f8bb
Built byreleng
State failed
Volume DEFAULT
StartedSun, 28 Jul 2019 19:19:01 UTC
CompletedSun, 28 Jul 2019 20:27:37 UTC
Taskbuild (f31-rebuild, /rpms/frama-c.git:04c8e7df07ddf03d80fb5b23ff1e351609c5f8bb)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#04c8e7df07ddf03d80fb5b23ff1e351609c5f8bb'}}
Tags No tags
RPMs No RPMs