Sophie

Sophie

distrib > Fedora > 14 > x86_64 > by-pkgid > 660bd478206c5a2be5e41a261c9dbeb2 > files

ghc-chalmers-lava2000-devel-1.1.1-7.fc14.x86_64.rpm

Files

drwxr-xr-x 4096 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1
-rw-r--r--1015227 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/HSchalmers-lava2000-1.1.1.o
drwxr-xr-x 4096 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava
-rw-r--r-- 7879 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava.dyn_hi
-rw-r--r-- 7867 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava.hi
-rw-r--r-- 6854 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Paths_chalmers_lava2000.dyn_hi
-rw-r--r-- 6842 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Paths_chalmers_lava2000.hi
-rw-r--r--1381550 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/libHSchalmers-lava2000-1.1.1.a
-rw-r--r-- 9546 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Arithmetic.dyn_hi
-rw-r--r-- 9534 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Arithmetic.hi
-rw-r--r-- 5183 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Combinational.dyn_hi
-rw-r--r-- 5171 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Combinational.hi
-rw-r--r-- 2870 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/ConstructiveAnalysis.dyn_hi
-rw-r--r-- 2858 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/ConstructiveAnalysis.hi
-rw-r--r-- 4446 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Error.dyn_hi
-rw-r--r-- 4434 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Error.hi
-rw-r--r-- 95637 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Generic.dyn_hi
-rw-r--r-- 95625 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Generic.hi
-rw-r--r-- 1165 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/IOBuffering.dyn_hi
-rw-r--r-- 1153 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/IOBuffering.hi
-rw-r--r-- 909 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/LavaDir.dyn_hi
-rw-r--r-- 897 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/LavaDir.hi
-rw-r--r-- 1160 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/LavaRandom.dyn_hi
-rw-r--r-- 1148 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/LavaRandom.hi
-rw-r--r-- 10328 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/MyST.dyn_hi
-rw-r--r-- 10316 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/MyST.hi
-rw-r--r-- 3456 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Netlist.dyn_hi
-rw-r--r-- 3444 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Netlist.hi
-rw-r--r-- 30593 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Operators.dyn_hi
-rw-r--r-- 30581 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Operators.hi
-rw-r--r-- 11379 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Patterns.dyn_hi
-rw-r--r-- 11367 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Patterns.hi
-rw-r--r-- 50059 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Property.dyn_hi
-rw-r--r-- 50047 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Property.hi
-rw-r--r-- 12927 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Ref.dyn_hi
-rw-r--r-- 12915 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Ref.hi
-rw-r--r-- 1705 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Retime.dyn_hi
-rw-r--r-- 1693 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Retime.hi
-rw-r--r-- 1775 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Sequent.dyn_hi
-rw-r--r-- 1763 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Sequent.hi
-rw-r--r-- 2453 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Sequential.dyn_hi
-rw-r--r-- 2441 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Sequential.hi
-rw-r--r-- 10351 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/SequentialCircuits.dyn_hi
-rw-r--r-- 10339 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/SequentialCircuits.hi
-rw-r--r-- 2600 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/SequentialConstructive.dyn_hi
-rw-r--r-- 2588 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/SequentialConstructive.hi
-rw-r--r-- 38055 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Signal.dyn_hi
-rw-r--r-- 38043 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Signal.hi
-rw-r--r-- 1875 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/SignalTry.dyn_hi
-rw-r--r-- 1863 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/SignalTry.hi
-rw-r--r-- 2047 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Stable.dyn_hi
-rw-r--r-- 2035 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Stable.hi
-rw-r--r-- 7520 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Table.dyn_hi
-rw-r--r-- 7508 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Table.hi
-rw-r--r-- 3182 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Test.dyn_hi
-rw-r--r-- 3170 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Test.hi
-rw-r--r-- 4949 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Vhdl.dyn_hi
-rw-r--r-- 4937 root root /usr/lib64/ghc-6.12.3/chalmers-lava2000-1.1.1/Lava/Vhdl.hi
-rw-r--r-- 1582 root root /usr/lib64/ghc-6.12.3/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-- 1485 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Arithmetic.html
-rw-r--r-- 1945 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Combinational.html
-rw-r--r-- 2196 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-ConstructiveAnalysis.html
-rw-r--r-- 4565 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Error.html
-rw-r--r-- 36114 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Generic.html
-rw-r--r-- 2040 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-IOBuffering.html
-rw-r--r-- 2021 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-LavaDir.html
-rw-r--r-- 5602 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-LavaRandom.html
-rw-r--r-- 6796 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-MyST.html
-rw-r--r-- 3644 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Netlist.html
-rw-r--r-- 3698 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Operators.html
-rw-r--r-- 1477 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Patterns.html
-rw-r--r-- 25660 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Property.html
-rw-r--r-- 9700 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Ref.html
-rw-r--r-- 1993 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Retime.html
-rw-r--r-- 3840 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Sequent.html
-rw-r--r-- 2005 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Sequential.html
-rw-r--r-- 1517 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-SequentialCircuits.html
-rw-r--r-- 2065 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-SequentialConstructive.html
-rw-r--r-- 31042 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Signal.html
-rw-r--r-- 4657 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-SignalTry.html
-rw-r--r-- 2025 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Stable.html
-rw-r--r-- 3025 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Table.html
-rw-r--r-- 2130 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Test.html
-rw-r--r-- 3786 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/Lava-Vhdl.html
-rw-r--r-- 2899 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-- 2476 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-124.html
-rw-r--r-- 2472 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-37.html
-rw-r--r-- 2573 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-45.html
-rw-r--r-- 3069 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-60.html
-rw-r--r-- 2476 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-61.html
-rw-r--r-- 2483 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-62.html
-rw-r--r-- 3508 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-A.html
-rw-r--r-- 3502 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-B.html
-rw-r--r-- 4759 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-C.html
-rw-r--r-- 4955 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-D.html
-rw-r--r-- 4450 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-E.html
-rw-r--r-- 4187 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-F.html
-rw-r--r-- 3516 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-G.html
-rw-r--r-- 2733 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-H.html
-rw-r--r-- 5198 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-I.html
-rw-r--r-- 3757 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-L.html
-rw-r--r-- 3779 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-M.html
-rw-r--r-- 4630 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-N.html
-rw-r--r-- 3917 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-O.html
-rw-r--r-- 4119 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-P.html
-rw-r--r-- 4300 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-R.html
-rw-r--r-- 7316 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-S.html
-rw-r--r-- 4904 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-T.html
-rw-r--r-- 3655 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-U.html
-rw-r--r-- 4234 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-V.html
-rw-r--r-- 3163 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-W.html
-rw-r--r-- 2887 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-X.html
-rw-r--r-- 3415 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index-Z.html
-rw-r--r-- 2336 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/doc-index.html
-rw-r--r-- 619 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/frames.html
-rw-r--r-- 3402 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/haddock-util.js
-rw-r--r-- 4714 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/haddock.css
-rw-r--r-- 911 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/haskell_icon.gif
-rw-r--r-- 2298 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/index-frames.html
-rw-r--r-- 5060 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/index.html
-rw-r--r-- 534 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Arithmetic.html
-rw-r--r-- 641 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Combinational.html
-rw-r--r-- 670 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-ConstructiveAnalysis.html
-rw-r--r-- 741 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Error.html
-rw-r--r-- 3560 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Generic.html
-rw-r--r-- 641 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-IOBuffering.html
-rw-r--r-- 627 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-LavaDir.html
-rw-r--r-- 943 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-LavaRandom.html
-rw-r--r-- 1559 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-MyST.html
-rw-r--r-- 817 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Netlist.html
-rw-r--r-- 675 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Operators.html
-rw-r--r-- 530 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Patterns.html
-rw-r--r-- 2497 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Property.html
-rw-r--r-- 1902 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Ref.html
-rw-r--r-- 630 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Retime.html
-rw-r--r-- 753 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Sequent.html
-rw-r--r-- 638 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Sequential.html
-rw-r--r-- 550 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-SequentialCircuits.html
-rw-r--r-- 674 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-SequentialConstructive.html
-rw-r--r-- 3978 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Signal.html
-rw-r--r-- 895 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-SignalTry.html
-rw-r--r-- 616 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Stable.html
-rw-r--r-- 707 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Table.html
-rw-r--r-- 606 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Test.html
-rw-r--r-- 838 root root /usr/share/doc/ghc/html/libraries/chalmers-lava2000-1.1.1/mini_Lava-Vhdl.html
-rw-r--r-- 522 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-- 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-- 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-- 7343 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