rpms / Agda-stdlib

Clone
Source Code
GIT

cad8a31 make package noarch since Agda now builds on armv7hl

Authored and Committed by petersen 3 years ago
raw patch tree parent
1 file changed. 6 lines added. 4 lines removed.
Agda-stdlib.spec
file modified
+6 -4 
    make package noarch since Agda now builds on armv7hl
file modified
+6 -4
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.