rpms / Agda

Clone
Source Code
GIT

d5e4024 set LD_LIBRARY_PATH for compiling .agda files

Authored and Committed by petersen 7 years ago
raw patch tree parent
1 file changed. 9 lines added. 5 lines removed.
Agda.spec
file modified
+9 -5 
    set LD_LIBRARY_PATH for compiling .agda files
file modified
+9 -5
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.