rpms / Agda

Clone
Source Code
GIT

c4c53b3 move agda and data to base package, dropping common

Authored and Committed by petersen 3 years ago
raw patch tree parent
1 file changed. 11 lines added. 32 lines removed.
Agda.spec
file modified
+11 -32 
    move agda and data to base package, dropping common
file modified
+11 -32
Powered by Pagure 5.13.3
Documentation • File an Issue • About this Instance • SSH Hostkey/Fingerprint
© Red Hat, Inc. and others.