djdelorie/libffi-3.4.8
Project ID: 174190
Package: Agda
General Information
- Dist Git Repo:
- djdelorie/libffi-3.4.8/Agda
- Source Type:
- Build from DistGit
- Committish:
- d6d8fa2900aa11a69b355eb1583f1e45efed7977
- Clone_Url:
- https://src.fedoraproject.org/rpms/Agda.git
Build ID | Package Version | Submitted | Build Time | Status |
---|---|---|---|---|
8892855 | 2.6.4.3-53 | a month ago | 17 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: