Wed, 12 May 2021 07:21:55 UTC

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

ID1024569
Package NameAgda-stdlib
Version0.13
Release4.fc28
Epoch
Built byignatenkobrain
State canceled
Volume DEFAULT
StartedFri, 09 Feb 2018 08:48:13 UTC
CompletedFri, 09 Feb 2018 09:20:36 UTC
Taskbuild (rawhide, /rpms/Agda-stdlib.git:4c8ea3035a8ebe7c89f08e763a25285b74a79a08)
Tags No tags
RPMs No RPMs