Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 1st July. For more information please refer to this ticket.

djdelorie/libffi-3.5.1

Project ID: 181971

Package: Agda

General Information

Dist Git Repo:: djdelorie/libffi-3.5.1/Agda

Default Build Source

Source Type:: Build from DistGit
Committish:: 396e77c1f7fd5b355ff016bd828f3cff4441a4bb
Clone_Url:: https://src.fedoraproject.org/rpms/Agda.git

Build ID	Package Version	Submitted	Build Time	Status
9151232	2.7.0.1-54	12 days ago	14 minutes	succeeded

Status Badge

HTML Code:: <a href="https://copr.fedorainfracloud.org/coprs/djdelorie/libffi-3.5.1/package/Agda/"><img src="https://copr.fedorainfracloud.org/coprs/djdelorie/libffi-3.5.1/package/Agda/status_image/last_build.png" /></a>

Markdown Code:: [![Copr build status](https://copr.fedorainfracloud.org/coprs/djdelorie/libffi-3.5.1/package/Agda/status_image/last_build.png)](https://copr.fedorainfracloud.org/coprs/djdelorie/libffi-3.5.1/package/Agda/)