Sophie

Sophie

distrib > Fedora > 15 > x86_64 > media > os > by-pkgid > ffce5fbfd3411343a9808865d37a6744 > files

ghc-chalmers-lava2000-devel-1.1.1-11.fc15.i686.rpm

Files

drwxr-xr-x 4096 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1
-rw-r--r--649753 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/HSchalmers-lava2000-1.1.1.o
drwxr-xr-x 4096 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava
-rw-r--r-- 7835 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava.dyn_hi
-rw-r--r-- 7823 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava.hi
-rw-r--r-- 7482 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Paths_chalmers_lava2000.dyn_hi
-rw-r--r-- 7470 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Paths_chalmers_lava2000.hi
-rw-r--r--984610 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/libHSchalmers-lava2000-1.1.1.a
-rw-r--r-- 7460 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Arithmetic.dyn_hi
-rw-r--r-- 7448 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Arithmetic.hi
-rw-r--r-- 4627 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Combinational.dyn_hi
-rw-r--r-- 4615 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Combinational.hi
-rw-r--r-- 2562 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/ConstructiveAnalysis.dyn_hi
-rw-r--r-- 2550 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/ConstructiveAnalysis.hi
-rw-r--r-- 4452 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Error.dyn_hi
-rw-r--r-- 4440 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Error.hi
-rw-r--r-- 79758 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Generic.dyn_hi
-rw-r--r-- 79746 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Generic.hi
-rw-r--r-- 1125 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/IOBuffering.dyn_hi
-rw-r--r-- 1113 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/IOBuffering.hi
-rw-r--r-- 858 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/LavaDir.dyn_hi
-rw-r--r-- 846 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/LavaDir.hi
-rw-r--r-- 1119 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/LavaRandom.dyn_hi
-rw-r--r-- 1107 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/LavaRandom.hi
-rw-r--r-- 9275 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/MyST.dyn_hi
-rw-r--r-- 9263 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/MyST.hi
-rw-r--r-- 3313 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Netlist.dyn_hi
-rw-r--r-- 3301 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Netlist.hi
-rw-r--r-- 26748 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Operators.dyn_hi
-rw-r--r-- 26736 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Operators.hi
-rw-r--r-- 11021 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Patterns.dyn_hi
-rw-r--r-- 11009 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Patterns.hi
-rw-r--r-- 50191 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Property.dyn_hi
-rw-r--r-- 50179 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Property.hi
-rw-r--r-- 14253 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Ref.dyn_hi
-rw-r--r-- 14241 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Ref.hi
-rw-r--r-- 1617 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Retime.dyn_hi
-rw-r--r-- 1605 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Retime.hi
-rw-r--r-- 1527 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Sequent.dyn_hi
-rw-r--r-- 1515 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Sequent.hi
-rw-r--r-- 2266 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Sequential.dyn_hi
-rw-r--r-- 2254 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Sequential.hi
-rw-r--r-- 9504 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/SequentialCircuits.dyn_hi
-rw-r--r-- 9492 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/SequentialCircuits.hi
-rw-r--r-- 2473 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/SequentialConstructive.dyn_hi
-rw-r--r-- 2461 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/SequentialConstructive.hi
-rw-r--r-- 31269 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Signal.dyn_hi
-rw-r--r-- 31257 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Signal.hi
-rw-r--r-- 1842 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/SignalTry.dyn_hi
-rw-r--r-- 1830 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/SignalTry.hi
-rw-r--r-- 1838 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Stable.dyn_hi
-rw-r--r-- 1826 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Stable.hi
-rw-r--r-- 6819 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Table.dyn_hi
-rw-r--r-- 6807 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Table.hi
-rw-r--r-- 3378 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Test.dyn_hi
-rw-r--r-- 3366 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Test.hi
-rw-r--r-- 4789 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Vhdl.dyn_hi
-rw-r--r-- 4777 root root /usr/lib/ghc-7.0.2/chalmers-lava2000-1.1.1/Lava/Vhdl.hi
-rw-r--r-- 1576 root root /usr/lib/ghc-7.0.2/package.conf.d/chalmers-lava2000-1.1.1.conf
drwxr-xr-x 4096 root root /usr/share/chalmers-lava2000-1.1.1
drwxr-xr-x 4096 root root /usr/share/chalmers-lava2000-1.1.1/Vhdl
-rw-r--r-- 2065 root root /usr/share/chalmers-lava2000-1.1.1/Vhdl/lava.vhd
drwxr-xr-x 4096 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1
-rw-r--r-- 1083 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Arithmetic.html
-rw-r--r-- 1363 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Combinational.html
-rw-r--r-- 1598 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-ConstructiveAnalysis.html
-rw-r--r-- 3331 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Error.html
-rw-r--r-- 27548 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Generic.html
-rw-r--r-- 1453 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-IOBuffering.html
-rw-r--r-- 1433 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-LavaDir.html
-rw-r--r-- 4258 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-LavaRandom.html
-rw-r--r-- 4508 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-MyST.html
-rw-r--r-- 2709 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Netlist.html
-rw-r--r-- 2464 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Operators.html
-rw-r--r-- 1075 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Patterns.html
-rw-r--r-- 20519 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Property.html
-rw-r--r-- 6622 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Ref.html
-rw-r--r-- 1402 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Retime.html
-rw-r--r-- 2693 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Sequent.html
-rw-r--r-- 1416 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Sequential.html
-rw-r--r-- 1115 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-SequentialCircuits.html
-rw-r--r-- 1476 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-SequentialConstructive.html
-rw-r--r-- 23869 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Signal.html
-rw-r--r-- 3298 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-SignalTry.html
-rw-r--r-- 1437 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Stable.html
-rw-r--r-- 2255 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Table.html
-rw-r--r-- 1540 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Test.html
-rw-r--r-- 2843 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Vhdl.html
-rw-r--r-- 2148 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava.html
-rw-r--r-- 17930 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/chalmers-lava2000.haddock
-rw-r--r-- 2333 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-124.html
-rw-r--r-- 2329 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-37.html
-rw-r--r-- 2396 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-45.html
-rw-r--r-- 2759 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-60.html
-rw-r--r-- 2333 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-61.html
-rw-r--r-- 2343 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-62.html
-rw-r--r-- 3086 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-A.html
-rw-r--r-- 30956 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-All.html
-rw-r--r-- 3075 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-B.html
-rw-r--r-- 4062 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-C.html
-rw-r--r-- 4208 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-D.html
-rw-r--r-- 3817 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-E.html
-rw-r--r-- 3626 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-F.html
-rw-r--r-- 3111 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-G.html
-rw-r--r-- 2518 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-H.html
-rw-r--r-- 4331 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-I.html
-rw-r--r-- 3306 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-L.html
-rw-r--r-- 3298 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-M.html
-rw-r--r-- 3933 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-N.html
-rw-r--r-- 3411 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-O.html
-rw-r--r-- 3540 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-P.html
-rw-r--r-- 3679 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-R.html
-rw-r--r-- 5995 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-S.html
-rw-r--r-- 4131 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-T.html
-rw-r--r-- 3216 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-U.html
-rw-r--r-- 3669 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-V.html
-rw-r--r-- 2864 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-W.html
-rw-r--r-- 2634 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-X.html
-rw-r--r-- 3044 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-Z.html
-rw-r--r-- 2180 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index.html
-rw-r--r-- 830 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/frames.html
-rw-r--r-- 7521 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/haddock-util.js
-rw-r--r-- 1684 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/hslogo-16.png
-rw-r--r-- 2850 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/index-frames.html
-rw-r--r-- 3439 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/index.html
-rw-r--r-- 635 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Arithmetic.html
-rw-r--r-- 754 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Combinational.html
-rw-r--r-- 783 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-ConstructiveAnalysis.html
-rw-r--r-- 858 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Error.html
-rw-r--r-- 3914 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Generic.html
-rw-r--r-- 754 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-IOBuffering.html
-rw-r--r-- 740 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-LavaDir.html
-rw-r--r-- 1082 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-LavaRandom.html
-rw-r--r-- 1757 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-MyST.html
-rw-r--r-- 952 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Netlist.html
-rw-r--r-- 781 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Operators.html
-rw-r--r-- 631 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Patterns.html
-rw-r--r-- 2730 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Property.html
-rw-r--r-- 2137 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Ref.html
-rw-r--r-- 743 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Retime.html
-rw-r--r-- 870 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Sequent.html
-rw-r--r-- 751 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Sequential.html
-rw-r--r-- 651 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-SequentialCircuits.html
-rw-r--r-- 787 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-SequentialConstructive.html
-rw-r--r-- 4466 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Signal.html
-rw-r--r-- 1016 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-SignalTry.html
-rw-r--r-- 729 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Stable.html
-rw-r--r-- 831 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Table.html
-rw-r--r-- 719 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Test.html
-rw-r--r-- 973 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Vhdl.html
-rw-r--r-- 613 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava.html
-rw-r--r-- 56 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/minus.gif
-rw-r--r-- 8144 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/ocean.css
-rw-r--r-- 59 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/plus.gif
drwxr-xr-x 4096 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src
-rw-r--r-- 11327 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/synopsis.png
-rw-r--r-- 16576 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Arithmetic.html
-rw-r--r-- 5997 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Combinational.html
-rw-r--r-- 22398 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-ConstructiveAnalysis.html
-rw-r--r-- 6096 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Error.html
-rw-r--r--143179 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Generic.html
-rw-r--r-- 1588 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-IOBuffering.html
-rw-r--r-- 1098 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-LavaDir.html
-rw-r--r-- 1966 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-LavaRandom.html
-rw-r--r-- 12418 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-MyST.html
-rw-r--r-- 11271 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Netlist.html
-rw-r--r-- 22948 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Operators.html
-rw-r--r-- 20628 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Patterns.html
-rw-r--r--124057 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Property.html
-rw-r--r-- 26757 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Ref.html
-rw-r--r-- 10097 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Retime.html
-rw-r--r-- 3443 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Sequent.html
-rw-r--r-- 24505 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Sequential.html
-rw-r--r-- 11615 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-SequentialCircuits.html
-rw-r--r-- 32638 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-SequentialConstructive.html
-rw-r--r-- 77986 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Signal.html
-rw-r--r-- 4452 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-SignalTry.html
-rw-r--r-- 8786 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Stable.html
-rw-r--r-- 9209 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Table.html
-rw-r--r-- 3892 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Test.html
-rw-r--r-- 38728 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava-Vhdl.html
-rw-r--r-- 4651 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Lava.html
-rw-r--r-- 7340 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/Paths_chalmers_lava2000.html
-rw-r--r-- 243 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/src/hscolour.css