Mon, 10 May 2021 08:18:00 UTC

Information for build Agda-stdlib-0.13-4.fc29

ID1084935
Package NameAgda-stdlib
Version0.13
Release4.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/Agda-stdlib.git#4c8ea3035a8ebe7c89f08e763a25285b74a79a08
Built bytill
State failed
Volume DEFAULT
StartedSat, 26 May 2018 18:21:08 UTC
CompletedSat, 26 May 2018 18:26:19 UTC
Taskbuild (rawhide, /rpms/Agda-stdlib.git:4c8ea3035a8ebe7c89f08e763a25285b74a79a08)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/Agda-stdlib.git?#4c8ea3035a8ebe7c89f08e763a25285b74a79a08'}}
Tags No tags
RPMs No RPMs