- Revision 1474: /ports/head/math/hs-Agda-stdlib/files
..
patch-lib.cabal
patch-src_Size.agda