6
file0=C:\fptools-happy\fptools\happy\LICENSE
7
file1=C:\fptools-happy\fptools\happy\README
8
file2=C:\fptools-happy\fptools\happy\TODO
9
file3=C:\fptools-happy\fptools\happy\ANNOUNCE
10
file4=C:\fptools-happy\fptools\happy\CHANGES
15
fulldirectory=C:\ISRelease\fptools\bin
16
file0=C:\fptools-happy\fptools\happy\src\happy-1.11
19
fulldirectory=C:\ISRelease\fptools\lib
20
file0=C:\fptools-happy\fptools\happy\src\happy.exe
25
file0=C:\fptools-happy\fptools\happy\templates\HappyTemplate-arrays-coerce
26
file1=C:\fptools-happy\fptools\happy\templates\HappyTemplate
27
file2=C:\fptools-happy\fptools\happy\templates\HappyTemplate-arrays
28
file3=C:\fptools-happy\fptools\happy\templates\HappyTemplate-coerce
29
file4=C:\fptools-happy\fptools\happy\templates\HappyTemplate-arrays-coerce-debug
30
file5=C:\fptools-happy\fptools\happy\templates\HappyTemplate-arrays-debug
31
file6=C:\fptools-happy\fptools\happy\templates\HappyTemplate-arrays-ghc
32
file7=C:\fptools-happy\fptools\happy\templates\HappyTemplate-arrays-ghc-debug
33
file8=C:\fptools-happy\fptools\happy\templates\HappyTemplate-ghc