/math/hs-Agda/files/
../
patch-Agda.cabal
patch-src__full__Agda__Syntax__Abstract__Name.hs
patch-src__full__Agda__Syntax__Common.hs
patch-src__full__Agda__Utils__Pointer.hs