/sources/contrib/fernan/nhc98/src/prelude/GreenCard/
      1114 2009-09-19 GreenCard.gc
        72 2009-09-19 GreenCard.hc
       284 2009-09-19 GreenCard.p.c
       284 2009-09-19 GreenCard.z.c
       481 2009-09-19 Makefile
       147 2009-09-19 Makefile.inc
       268 2009-09-19 mkfile