/math/hs-Agda/files/

• ../
• patch-Agda.cabal
• patch-src__full__Agda__Interaction__Highlighting__Generate.hs
• patch-src__full__Agda__Utils__Generics.hs