/sources/patch/maybe/spin-625/
     10306 2013-09-16 dstep.c
     10024 2013-09-16 dstep.c.orig
        13 2013-09-16 email
      1274 2013-09-16 files
     23981 2013-09-16 flow.c
     23433 2013-09-16 flow.c.orig
      9595 2013-09-16 guided.c
      7705 2013-09-16 guided.c.orig
     25607 2013-09-16 main.c
     24659 2013-09-16 main.c.orig
     17858 2013-09-16 mesg.c
     16800 2013-09-16 mesg.c.orig
         0 2013-09-16 notes
        52 2014-02-23 origls
     40454 2013-09-16 pangen1.c
     40221 2013-09-16 pangen1.c.orig
    220432 2013-09-16 pangen1.h
    198341 2013-09-16 pangen1.h.orig
     89261 2013-09-16 pangen2.c
     81963 2013-09-16 pangen2.c.orig
     31725 2013-09-16 pangen2.h
     33201 2013-09-16 pangen2.h.orig
     10202 2013-09-16 pangen3.c
      9711 2013-09-16 pangen3.c.orig
     39395 2013-09-16 pangen3.h
     29273 2013-09-16 pangen3.h.orig
      8526 2013-09-16 pangen4.c
      8237 2013-09-16 pangen4.c.orig
     19054 2013-09-16 pangen4.h
     19034 2013-09-16 pangen4.h.orig
     17325 2013-09-16 pangen5.c
     16804 2013-09-16 pangen5.c.orig
     11157 2013-09-16 pangen5.h
     11151 2013-09-16 pangen5.h.orig
     48312 2013-09-16 pangen6.c
     48260 2013-09-16 pangen6.c.orig
     91991 2013-09-16 pangen6.h
     91291 2013-09-16 pangen6.h.orig
     19021 2013-09-16 pangen7.c
     18888 2013-09-16 pangen7.c.orig
     66082 2013-09-16 pangen7.h
     11892 2013-09-16 ps_msc.c
     11886 2013-09-16 ps_msc.c.orig
      1957 2013-09-16 readme
      9962 2013-09-16 reprosrc.c
      2939 2013-09-16 reprosrc.c.orig
     16711 2013-09-16 run.c
     15109 2013-09-16 run.c.orig
     24336 2013-09-16 sched.c
     23441 2013-09-16 sched.c.orig
     13446 2013-09-16 spin.h
     13096 2013-09-16 spin.h.orig
     26390 2013-09-16 spin.y
     24610 2013-09-16 spin.y.orig
     36198 2013-09-16 spinlex.c
     34525 2013-09-16 spinlex.c.orig
     14266 2013-09-16 sym.c
     13833 2013-09-16 sym.c.orig
     13562 2013-09-16 tl_buchi.c
     13203 2013-09-16 tl_buchi.c.orig
      5588 2013-09-16 tl_lex.c
      5338 2013-09-16 tl_lex.c.orig
      5251 2013-09-16 tl_main.c
      5182 2013-09-16 tl_main.c.orig
      8443 2013-09-16 tl_parse.c
      8375 2013-09-16 tl_parse.c.orig
      6090 2013-09-16 tl_rewrt.c
      6034 2013-09-16 tl_rewrt.c.orig
     17111 2013-09-16 tl_trans.c
     17111 2013-09-16 tl_trans.c.orig
      8855 2013-09-16 vars.c
      8639 2013-09-16 vars.c.orig
        55 2013-09-16 version.h
        55 2013-09-16 version.h.orig