jakub/gcc-13-test

Project ID: 76623

Package: idris

General Information

Default Build Source

Source Type:
Build from DistGit
Committish:
afab04051a021fd339efe9f0d9719bfa1ebbbe1c
Clone_Url:
https://src.fedoraproject.org/rpms/idris.git
Build ID Package Version Submitted Build Time Status
5171170 1.3.4-5 2 years ago 16 hours succeeded

Status Badge

HTML Code:
Markdown Code: