cstratak/rpath

Project ID: 39635

Package: idris

General Information

Dist Git Repo:
cstratak/rpath/idris

Default Build Source

Source Type:
Build from an SCM repository
SCM type:
git
Clone URL:
https://src.fedoraproject.org/rpms/idris.git
Committish:
rawhide
Build SRPM with:
rpkg
Build ID Package Version Submitted Build Time Status
1980282 1.3.3-3.fc33 2 months ago 39 minutes succeeded

Status Badge

HTML Code:
Markdown Code: