This package includes"leda"


drwxr-xr-x-     root     root       1024 Jul 24 09:46 /usr/doc/packages/leda
-rw-r--r---     root     root      77399 Sep 04 08:15 /usr/doc/packages/leda/CHANGES
-rw-r--r---     root     root      22710 Sep 04 08:15 /usr/doc/packages/leda/FIXES
drwxr-x--x-     root     root       5120 Jul 24 09:46 /usr/doc/packages/leda/MANUAL
-rw-r--r---     root     root     333173 Oct 07 13:27 /usr/doc/packages/leda/MANUAL.ps.gz
-rwxr-x--x-     root     root       4096 Jul 23  1997 /usr/doc/packages/leda/MANUAL/.ID_MAP.dir
-rwxr-x--x-     root     root       2048 Jul 23  1997 /usr/doc/packages/leda/MANUAL/.ID_MAP.pag
-rwxr-x--x-     root     root       4096 Jul 23  1997 /usr/doc/packages/leda/MANUAL/.IMG_PARAMS.dir
-rwxr-x--x-     root     root       2048 Jul 23  1997 /usr/doc/packages/leda/MANUAL/.IMG_PARAMS.pag
-rwxr-x--x-     root     root       4096 Jul 23  1997 /usr/doc/packages/leda/MANUAL/.ORIG_MAP.dir
-rwxr-x--x-     root     root       2048 Jul 23  1997 /usr/doc/packages/leda/MANUAL/.ORIG_MAP.pag
-rwxr-xr-x-     root     root        344 Jul 23  1997 /usr/doc/packages/leda/MANUAL/MANUAL.css
-rwxr-xr-x-     root     root       2021 Jul 23  1997 /usr/doc/packages/leda/MANUAL/MANUAL.html
-rwxr-xr-x-     root     root      18378 Jul 23  1997 /usr/doc/packages/leda/MANUAL/TEMPORARYFILE
-rwxr-xr-x-     root     root      27228 Jul 23  1997 /usr/doc/packages/leda/MANUAL/contents.pl
-rwxr-xr-x-     root     root        347 Jul 23  1997 /usr/doc/packages/leda/MANUAL/figure.pl
-rwxr-xr-x-     root     root        143 Jul 23  1997 /usr/doc/packages/leda/MANUAL/images.aux
-rwxr-xr-x-     root     root      20628 Jul 23  1997 /usr/doc/packages/leda/MANUAL/images.pl
-rwxr-xr-x-     root     root      43775 Jul 23  1997 /usr/doc/packages/leda/MANUAL/images.tex
-rwxr-xr-x-     root     root         49 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img1.gif
-rwxr-xr-x-     root     root         59 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img10.gif
-rwxr-xr-x-     root     root         45 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img11.gif
-rwxr-xr-x-     root     root        589 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img12.gif
-rwxr-xr-x-     root     root         61 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img13.gif
-rwxr-xr-x-     root     root         61 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img14.gif
-rwxr-xr-x-     root     root        294 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img15.gif
-rwxr-xr-x-     root     root        226 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img16.gif
-rwxr-xr-x-     root     root        146 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img17.gif
-rwxr-xr-x-     root     root        293 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img18.gif
-rwxr-xr-x-     root     root        301 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img19.gif
-rwxr-xr-x-     root     root       4045 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img2.gif
-rwxr-xr-x-     root     root      11297 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img2.ppm
-rwxr-xr-x-     root     root        445 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img20.gif
-rwxr-xr-x-     root     root         98 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img21.gif
-rwxr-xr-x-     root     root         49 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img22.gif
-rwxr-xr-x-     root     root        227 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img23.gif
-rwxr-xr-x-     root     root         88 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img24.gif
-rwxr-xr-x-     root     root         88 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img25.gif
-rwxr-xr-x-     root     root         84 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img26.gif
-rwxr-xr-x-     root     root        166 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img27.gif
-rwxr-xr-x-     root     root        351 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img28.gif
-rwxr-xr-x-     root     root        204 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img29.gif
-rwxr-xr-x-     root     root        945 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img3.gif
-rwxr-xr-x-     root     root        384 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img30.gif
-rwxr-xr-x-     root     root        246 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img31.gif
-rwxr-xr-x-     root     root        237 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img32.gif
-rwxr-xr-x-     root     root        294 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img33.gif
-rwxr-xr-x-     root     root        197 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img34.gif
-rwxr-xr-x-     root     root        556 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img35.gif
-rwxr-xr-x-     root     root        525 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img36.gif
-rwxr-xr-x-     root     root        575 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img37.gif
-rwxr-xr-x-     root     root        177 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img38.gif
-rwxr-xr-x-     root     root         56 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img39.gif
-rwxr-xr-x-     root     root         65 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img4.gif
-rwxr-xr-x-     root     root        140 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img40.gif
-rwxr-xr-x-     root     root        257 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img5.gif
-rwxr-xr-x-     root     root       9437 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img6.gif
-rwxr-xr-x-     root     root       8244 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img7.gif
-rwxr-xr-x-     root     root        816 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img8.gif
-rwxr-xr-x-     root     root        972 Jul 23  1997 /usr/doc/packages/leda/MANUAL/img9.gif
-rwxr-xr-x-     root     root      15550 Jul 23  1997 /usr/doc/packages/leda/MANUAL/internals.pl
-rwxr-xr-x-     root     root      17071 Jul 23  1997 /usr/doc/packages/leda/MANUAL/labels.pl
-rwxr-xr-x-     root     root       2686 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node1.html
-rwxr-xr-x-     root     root       3590 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node10.html
-rwxr-xr-x-     root     root      11282 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node100.html
-rwxr-xr-x-     root     root      12890 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node101.html
-rwxr-xr-x-     root     root      10308 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node102.html
-rwxr-xr-x-     root     root      13794 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node103.html
-rwxr-xr-x-     root     root      17283 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node104.html
-rwxr-xr-x-     root     root      22226 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node105.html
-rwxr-xr-x-     root     root      10496 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node106.html
-rwxr-xr-x-     root     root      12613 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node107.html
-rwxr-xr-x-     root     root      10917 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node108.html
-rwxr-xr-x-     root     root      12665 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node109.html
-rwxr-xr-x-     root     root       8424 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node11.html
-rwxr-xr-x-     root     root      16080 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node110.html
-rwxr-xr-x-     root     root       2485 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node111.html
-rwxr-xr-x-     root     root      18611 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node112.html
-rwxr-xr-x-     root     root       9407 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node113.html
-rwxr-xr-x-     root     root       9358 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node114.html
-rwxr-xr-x-     root     root       8454 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node115.html
-rwxr-xr-x-     root     root       8806 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node116.html
-rwxr-xr-x-     root     root       5327 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node117.html
-rwxr-xr-x-     root     root       2161 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node118.html
-rwxr-xr-x-     root     root      13371 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node119.html
-rwxr-xr-x-     root     root       3014 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node12.html
-rwxr-xr-x-     root     root       8717 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node120.html
-rwxr-xr-x-     root     root      22639 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node121.html
-rwxr-xr-x-     root     root      10096 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node122.html
-rwxr-xr-x-     root     root       2282 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node123.html
-rwxr-xr-x-     root     root       5781 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node124.html
-rwxr-xr-x-     root     root      93010 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node125.html
-rwxr-xr-x-     root     root       4075 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node126.html
-rwxr-xr-x-     root     root       5299 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node127.html
-rwxr-xr-x-     root     root       2839 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node128.html
-rwxr-xr-x-     root     root      45225 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node129.html
-rwxr-xr-x-     root     root      11983 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node13.html
-rwxr-xr-x-     root     root       3056 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node130.html
-rwxr-xr-x-     root     root       2498 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node131.html
-rwxr-xr-x-     root     root       2493 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node132.html
-rwxr-xr-x-     root     root       2555 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node133.html
-rwxr-xr-x-     root     root       2894 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node134.html
-rwxr-xr-x-     root     root       2612 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node135.html
-rwxr-xr-x-     root     root       2593 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node136.html
-rwxr-xr-x-     root     root       5332 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node137.html
-rwxr-xr-x-     root     root       2509 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node138.html
-rwxr-xr-x-     root     root       2279 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node139.html
-rwxr-xr-x-     root     root       2468 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node14.html
-rwxr-xr-x-     root     root       1785 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node140.html
-rwxr-xr-x-     root     root       8943 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node141.html
-rwxr-xr-x-     root     root       3292 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node142.html
-rwxr-xr-x-     root     root       2400 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node143.html
-rwxr-xr-x-     root     root       2411 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node144.html
-rwxr-xr-x-     root     root       4115 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node145.html
-rwxr-xr-x-     root     root       2973 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node146.html
-rwxr-xr-x-     root     root       3017 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node147.html
-rwxr-xr-x-     root     root       2084 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node148.html
-rwxr-xr-x-     root     root       2924 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node149.html
-rwxr-xr-x-     root     root       2507 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node15.html
-rwxr-xr-x-     root     root       2905 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node150.html
-rwxr-xr-x-     root     root       3094 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node151.html
-rwxr-xr-x-     root     root       1738 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node152.html
-rwxr-xr-x-     root     root      23343 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node153.html
-rwxr-xr-x-     root     root       9874 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node154.html
-rwxr-xr-x-     root     root      12684 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node155.html
-rwxr-xr-x-     root     root       2058 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node156.html
-rwxr-xr-x-     root     root       3858 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node16.html
-rwxr-xr-x-     root     root       2816 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node17.html
-rwxr-xr-x-     root     root       2922 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node18.html
-rwxr-xr-x-     root     root       2617 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node19.html
-rwxr-xr-x-     root     root       7584 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node2.html
-rwxr-xr-x-     root     root       1717 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node20.html
-rwxr-xr-x-     root     root       2134 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node21.html
-rwxr-xr-x-     root     root       5940 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node22.html
-rwxr-xr-x-     root     root       6516 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node23.html
-rwxr-xr-x-     root     root       1787 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node24.html
-rwxr-xr-x-     root     root      12608 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node25.html
-rwxr-xr-x-     root     root       8872 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node26.html
-rwxr-xr-x-     root     root       2804 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node27.html
-rwxr-xr-x-     root     root       7098 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node28.html
-rwxr-xr-x-     root     root       9269 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node29.html
-rwxr-xr-x-     root     root       2697 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node3.html
-rwxr-xr-x-     root     root      13048 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node30.html
-rwxr-xr-x-     root     root       9909 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node31.html
-rwxr-xr-x-     root     root       6219 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node32.html
-rwxr-xr-x-     root     root       9421 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node33.html
-rwxr-xr-x-     root     root       9642 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node34.html
-rwxr-xr-x-     root     root       8853 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node35.html
-rwxr-xr-x-     root     root      20424 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node36.html
-rwxr-xr-x-     root     root      19192 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node37.html
-rwxr-xr-x-     root     root       3075 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node38.html
-rwxr-xr-x-     root     root      11049 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node39.html
-rwxr-xr-x-     root     root       3011 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node4.html
-rwxr-xr-x-     root     root       4127 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node40.html
-rwxr-xr-x-     root     root       4983 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node41.html
-rwxr-xr-x-     root     root       4960 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node42.html
-rwxr-xr-x-     root     root       4122 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node43.html
-rwxr-xr-x-     root     root       4139 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node44.html
-rwxr-xr-x-     root     root      28676 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node45.html
-rwxr-xr-x-     root     root       9990 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node46.html
-rwxr-xr-x-     root     root       8622 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node47.html
-rwxr-xr-x-     root     root       5382 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node48.html
-rwxr-xr-x-     root     root       5537 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node49.html
-rwxr-xr-x-     root     root       8911 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node5.html
-rwxr-xr-x-     root     root       6015 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node50.html
-rwxr-xr-x-     root     root       7521 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node51.html
-rwxr-xr-x-     root     root       6954 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node52.html
-rwxr-xr-x-     root     root       2748 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node53.html
-rwxr-xr-x-     root     root       8016 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node54.html
-rwxr-xr-x-     root     root       2857 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node55.html
-rwxr-xr-x-     root     root      13045 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node56.html
-rwxr-xr-x-     root     root       2891 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node57.html
-rwxr-xr-x-     root     root       5564 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node58.html
-rwxr-xr-x-     root     root       2911 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node59.html
-rwxr-xr-x-     root     root       2400 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node6.html
-rwxr-xr-x-     root     root       5615 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node60.html
-rwxr-xr-x-     root     root       3533 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node61.html
-rwxr-xr-x-     root     root       4817 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node62.html
-rwxr-xr-x-     root     root       7424 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node63.html
-rwxr-xr-x-     root     root       2110 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node64.html
-rwxr-xr-x-     root     root       7585 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node65.html
-rwxr-xr-x-     root     root       2279 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node66.html
-rwxr-xr-x-     root     root       7960 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node67.html
-rwxr-xr-x-     root     root       3082 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node68.html
-rwxr-xr-x-     root     root       4588 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node69.html
-rwxr-xr-x-     root     root       7989 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node7.html
-rwxr-xr-x-     root     root      66543 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node70.html
-rwxr-xr-x-     root     root      13503 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node71.html
-rwxr-xr-x-     root     root       2717 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node72.html
-rwxr-xr-x-     root     root       2718 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node73.html
-rwxr-xr-x-     root     root       7141 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node74.html
-rwxr-xr-x-     root     root       8751 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node75.html
-rwxr-xr-x-     root     root       6955 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node76.html
-rwxr-xr-x-     root     root       7181 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node77.html
-rwxr-xr-x-     root     root       6924 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node78.html
-rwxr-xr-x-     root     root       5727 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node79.html
-rwxr-xr-x-     root     root       3540 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node8.html
-rwxr-xr-x-     root     root       5720 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node80.html
-rwxr-xr-x-     root     root       5740 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node81.html
-rwxr-xr-x-     root     root       6459 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node82.html
-rwxr-xr-x-     root     root       6190 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node83.html
-rwxr-xr-x-     root     root       5073 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node84.html
-rwxr-xr-x-     root     root       5031 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node85.html
-rwxr-xr-x-     root     root       8105 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node86.html
-rwxr-xr-x-     root     root       4232 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node87.html
-rwxr-xr-x-     root     root       6802 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node88.html
-rwxr-xr-x-     root     root       4004 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node89.html
-rwxr-xr-x-     root     root       4668 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node9.html
-rwxr-xr-x-     root     root      12164 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node90.html
-rwxr-xr-x-     root     root      10513 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node91.html
-rwxr-xr-x-     root     root       2425 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node92.html
-rwxr-xr-x-     root     root       8816 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node93.html
-rwxr-xr-x-     root     root      15766 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node94.html
-rwxr-xr-x-     root     root       6168 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node95.html
-rwxr-xr-x-     root     root       2540 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node96.html
-rwxr-xr-x-     root     root       5672 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node97.html
-rwxr-xr-x-     root     root      14422 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node98.html
-rwxr-xr-x-     root     root      17212 Jul 23  1997 /usr/doc/packages/leda/MANUAL/node99.html
-rwxr-xr-x-     root     root      28132 Jul 23  1997 /usr/doc/packages/leda/MANUAL/sections.pl
-rwxr-xr-x-     root     root      18378 Jul 23  1997 /usr/doc/packages/leda/MANUAL/tableofcontents.html
-rw-r--r---     root     root       1673 Sep 04 08:15 /usr/doc/packages/leda/README
-rw-r--r---     root     root       1096 Sep 04 08:15 /usr/doc/packages/leda/license.txt
drwxr-xr-x-     root     root       3072 Jul 24 09:45 /usr/include/g++/LEDA
-rw-r--r---     root     root       3834 Jul 24 09:45 /usr/include/g++/LEDA/REDEFINE_NAMES.h
-rw-r--r---     root     root       2006 Jul 24 09:45 /usr/include/g++/LEDA/UNDEFINE_NAMES.h
-rw-r--r---     root     root       4327 Jul 24 09:45 /usr/include/g++/LEDA/_d_array.h
-rw-r--r---     root     root       4914 Jul 24 09:45 /usr/include/g++/LEDA/_dictionary.h
-rw-r--r---     root     root       4444 Jul 24 09:45 /usr/include/g++/LEDA/_p_queue.h
-rw-r--r---     root     root       6057 Jul 24 09:45 /usr/include/g++/LEDA/_point.h
-rw-r--r---     root     root       3412 Jul 24 09:45 /usr/include/g++/LEDA/_prio.h
-rw-r--r---     root     root        644 Jul 24 09:45 /usr/include/g++/LEDA/_set.h
-rw-r--r---     root     root       5594 Jul 24 09:45 /usr/include/g++/LEDA/_sortseq.h
-rw-r--r---     root     root       8738 Jul 24 09:45 /usr/include/g++/LEDA/array.h
-rw-r--r---     root     root       3033 Jul 24 09:45 /usr/include/g++/LEDA/array2.h
-rw-r--r---     root     root       4213 Jul 24 09:45 /usr/include/g++/LEDA/b_node_pq.h
-rw-r--r---     root     root       3028 Jul 24 09:45 /usr/include/g++/LEDA/b_prio.h
-rw-r--r---     root     root       3279 Jul 24 09:45 /usr/include/g++/LEDA/b_queue.h
-rw-r--r---     root     root       3045 Jul 24 09:45 /usr/include/g++/LEDA/b_stack.h
-rw-r--r---     root     root      19850 Jul 24 09:45 /usr/include/g++/LEDA/base_window.h
-rw-r--r---     root     root       1535 Jul 24 09:45 /usr/include/g++/LEDA/basic.h
-rw-r--r---     root     root       1025 Jul 24 09:45 /usr/include/g++/LEDA/basic_alg.h
-rw-r--r---     root     root      11206 Jul 24 09:45 /usr/include/g++/LEDA/bigfloat.h
drwxr-xr-x-     root     root       1024 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps
drwxr-xr-x-     root     root       1024 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32
-rw-r--r---     root     root       1366 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32.h
-rw-r--r---     root     root        851 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/a_annulus.xbm
-rw-r--r---     root     root        848 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/circle.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/dice.xbm
-rw-r--r---     root     root        854 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/empty_circle.xbm
-rw-r--r---     root     root        853 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/encl_circle.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/exit.xbm
-rw-r--r---     root     root        850 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/f_triang.xbm
-rw-r--r---     root     root        848 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/f_voro.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/grid.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/help.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/hull.xbm
-rw-r--r---     root     root        848 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/inside.xbm
-rw-r--r---     root     root        851 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/intersect.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/line.xbm
-rw-r--r---     root     root        847 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/point.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/poly.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/rect.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/tree.xbm
-rw-r--r---     root     root        848 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/triang.xbm
-rw-r--r---     root     root        850 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/triangle.xbm
-rw-r--r---     root     root        847 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/union.xbm
-rw-r--r---     root     root        846 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/voro.xbm
-rw-r--r---     root     root        851 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/button32/w_annulus.xbm
-rw-r--r---     root     root      59279 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/leda.lbm
-rw-r--r---     root     root       5405 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/leda_head.xpm
-rw-r--r---     root     root      12902 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/leda_icon.xbm
-rw-r--r---     root     root      13562 Jul 24 09:45 /usr/include/g++/LEDA/bitmaps/leda_icon.xpm
-rw-r--r---     root     root       1312 Jul 24 09:45 /usr/include/g++/LEDA/bool.h
-rw-r--r---     root     root       7480 Jul 24 09:45 /usr/include/g++/LEDA/circle.h
-rw-r--r---     root     root       3189 Jul 24 09:45 /usr/include/g++/LEDA/color.h
-rw-r--r---     root     root       6592 Jul 24 09:45 /usr/include/g++/LEDA/d2_dictionary.h
-rw-r--r---     root     root       4087 Jul 24 09:45 /usr/include/g++/LEDA/d3_dictionary.h
-rw-r--r---     root     root       1061 Jul 24 09:45 /usr/include/g++/LEDA/d3_hull.h
-rw-r--r---     root     root       5574 Jul 24 09:45 /usr/include/g++/LEDA/d3_plane.h
-rw-r--r---     root     root      10520 Jul 24 09:45 /usr/include/g++/LEDA/d3_point.h
-rw-r--r---     root     root       5968 Jul 24 09:45 /usr/include/g++/LEDA/d3_rat_plane.h
-rw-r--r---     root     root      15528 Jul 24 09:45 /usr/include/g++/LEDA/d3_rat_point.h
-rw-r--r---     root     root       1632 Jul 24 09:45 /usr/include/g++/LEDA/d3_window.h
-rw-r--r---     root     root       5625 Jul 24 09:45 /usr/include/g++/LEDA/d_array.h
-rw-r--r---     root     root      16520 Jul 24 09:45 /usr/include/g++/LEDA/delaunay.h
-rw-r--r---     root     root       6765 Jul 24 09:45 /usr/include/g++/LEDA/dictionary.h
-rw-r--r---     root     root       2498 Jul 24 09:45 /usr/include/g++/LEDA/dph_array.h
-rw-r--r---     root     root       8217 Jul 24 09:45 /usr/include/g++/LEDA/dynamic_trees.h
-rw-r--r---     root     root       5344 Jul 24 09:45 /usr/include/g++/LEDA/edge_array.h
-rw-r--r---     root     root        970 Jul 24 09:45 /usr/include/g++/LEDA/edge_data.h
-rw-r--r---     root     root       4513 Jul 24 09:45 /usr/include/g++/LEDA/edge_map.h
-rw-r--r---     root     root       2752 Jul 24 09:45 /usr/include/g++/LEDA/edge_set.h
-rw-r--r---     root     root       2504 Jul 24 09:45 /usr/include/g++/LEDA/error.h
-rw-r--r---     root     root      16126 Jul 24 09:45 /usr/include/g++/LEDA/f_sortseq.h
-rw-r--r---     root     root       4880 Jul 24 09:45 /usr/include/g++/LEDA/face_array.h
-rw-r--r---     root     root       4141 Jul 24 09:45 /usr/include/g++/LEDA/face_map.h
drwxr-xr-x-     root     root       1024 Jul 24 09:45 /usr/include/g++/LEDA/files83
-rw-r--r---     root     root      21621 Jul 24 09:45 /usr/include/g++/LEDA/files83/integer_vecmat.h
-rw-r--r---     root     root       7213 Jul 24 09:45 /usr/include/g++/LEDA/files83/node_map_12.h
-rw-r--r---     root     root        768 Jul 24 09:45 /usr/include/g++/LEDA/float_delaunay.h
-rw-r--r---     root     root       4995 Jul 24 09:45 /usr/include/g++/LEDA/floatf.h
-rw-r--r---     root     root       8674 Jul 24 09:45 /usr/include/g++/LEDA/floatingpoint.h
-rw-r--r---     root     root       1808 Jul 24 09:45 /usr/include/g++/LEDA/geo_rep.h
-rw-r--r---     root     root       2463 Jul 24 09:45 /usr/include/g++/LEDA/global.h
-rw-r--r---     root     root      13328 Jul 24 09:45 /usr/include/g++/LEDA/gml_graph.h
-rw-r--r---     root     root      60090 Jul 24 09:45 /usr/include/g++/LEDA/graph.h
-rw-r--r---     root     root      24638 Jul 24 09:45 /usr/include/g++/LEDA/graph_alg.h
-rw-r--r---     root     root       4620 Jul 24 09:45 /usr/include/g++/LEDA/graph_draw.h
-rw-r--r---     root     root       1107 Jul 24 09:45 /usr/include/g++/LEDA/graph_edit.h
-rw-r--r---     root     root       5422 Jul 24 09:45 /usr/include/g++/LEDA/graph_gen.h
-rw-r--r---     root     root       5393 Jul 24 09:45 /usr/include/g++/LEDA/graph_map.h
-rw-r--r---     root     root       5305 Jul 24 09:45 /usr/include/g++/LEDA/graph_misc.h
-rw-r--r---     root     root       8598 Jul 24 09:45 /usr/include/g++/LEDA/graph_objects.h
-rw-r--r---     root     root      54978 Jul 24 09:45 /usr/include/g++/LEDA/graphwin.h
-rw-r--r---     root     root       4764 Jul 24 09:45 /usr/include/g++/LEDA/h_array.h
-rw-r--r---     root     root       2665 Jul 24 09:45 /usr/include/g++/LEDA/handle_types.h
-rw-r--r---     root     root       2845 Jul 24 09:45 /usr/include/g++/LEDA/hash.h
drwxr-xr-x-     root     root       1024 Jul 24 09:45 /usr/include/g++/LEDA/impl
-rw-r--r---     root     root       4815 Jul 24 09:45 /usr/include/g++/LEDA/impl/ab_tree.h
-rw-r--r---     root     root       1627 Jul 24 09:45 /usr/include/g++/LEDA/impl/avl_tree.h
-rw-r--r---     root     root       1904 Jul 24 09:45 /usr/include/g++/LEDA/impl/b_heap.h
-rw-r--r---     root     root       6241 Jul 24 09:45 /usr/include/g++/LEDA/impl/bb1_tree.h
-rw-r--r---     root     root       2018 Jul 24 09:45 /usr/include/g++/LEDA/impl/bb_tree.h
-rw-r--r---     root     root       2757 Jul 24 09:45 /usr/include/g++/LEDA/impl/bin_heap.h
-rw-r--r---     root     root       8587 Jul 24 09:45 /usr/include/g++/LEDA/impl/bin_tree.h
-rw-r--r---     root     root       3874 Jul 24 09:45 /usr/include/g++/LEDA/impl/ch_hash.h
-rw-r--r---     root     root       2536 Jul 24 09:45 /usr/include/g++/LEDA/impl/ch_map.h
-rw-r--r---     root     root       3091 Jul 24 09:45 /usr/include/g++/LEDA/impl/ch_map2.h
-rw-r--r---     root     root       1516 Jul 24 09:45 /usr/include/g++/LEDA/impl/dic_impl.h
-rw-r--r---     root     root       6392 Jul 24 09:45 /usr/include/g++/LEDA/impl/dlist.h
-rw-r--r---     root     root       4827 Jul 24 09:45 /usr/include/g++/LEDA/impl/dp_hash.h
-rw-r--r---     root     root       5635 Jul 24 09:45 /usr/include/g++/LEDA/impl/eb_tree.h
-rw-r--r---     root     root       4101 Jul 24 09:45 /usr/include/g++/LEDA/impl/f_heap.h
-rw-r--r---     root     root       7535 Jul 24 09:45 /usr/include/g++/LEDA/impl/f_skiplist.h
-rw-r--r---     root     root       4649 Jul 24 09:45 /usr/include/g++/LEDA/impl/gen_array.h
-rw-r--r---     root     root       8493 Jul 24 09:45 /usr/include/g++/LEDA/impl/gml_parser.h
-rw-r--r---     root     root       8326 Jul 24 09:45 /usr/include/g++/LEDA/impl/iv_tree.h
-rw-r--r---     root     root       2461 Jul 24 09:45 /usr/include/g++/LEDA/impl/k_heap.h
-rw-r--r---     root     root       2130 Jul 24 09:45 /usr/include/g++/LEDA/impl/list_pq.h
-rw-r--r---     root     root       2385 Jul 24 09:45 /usr/include/g++/LEDA/impl/m_heap.h
-rw-r--r---     root     root       7363 Jul 24 09:45 /usr/include/g++/LEDA/impl/olist.h
-rw-r--r---     root     root       2429 Jul 24 09:45 /usr/include/g++/LEDA/impl/p_aux_heap.h
-rw-r--r---     root     root       3387 Jul 24 09:45 /usr/include/g++/LEDA/impl/p_heap.h
-rw-r--r---     root     root       6156 Jul 24 09:45 /usr/include/g++/LEDA/impl/pers_tree.h
-rw-r--r---     root     root       1562 Jul 24 09:45 /usr/include/g++/LEDA/impl/prio_impl.h
-rw-r--r---     root     root       5417 Jul 24 09:45 /usr/include/g++/LEDA/impl/ps_tree.h
-rw-r--r---     root     root       3571 Jul 24 09:45 /usr/include/g++/LEDA/impl/r_heap.h
-rw-r--r---     root     root       6565 Jul 24 09:45 /usr/include/g++/LEDA/impl/range_tree.h
-rw-r--r---     root     root       1705 Jul 24 09:45 /usr/include/g++/LEDA/impl/rb_tree.h
-rw-r--r---     root     root       1654 Jul 24 09:45 /usr/include/g++/LEDA/impl/rs_tree.h
-rw-r--r---     root     root       9247 Jul 24 09:45 /usr/include/g++/LEDA/impl/seg_tree.h
-rw-r--r---     root     root       1719 Jul 24 09:45 /usr/include/g++/LEDA/impl/seq_impl.h
-rw-r--r---     root     root       5496 Jul 24 09:45 /usr/include/g++/LEDA/impl/skiplist.h
-rw-r--r---     root     root       3227 Jul 24 09:45 /usr/include/g++/LEDA/impl/slist.h
-rw-r--r---     root     root       5814 Jul 24 09:45 /usr/include/g++/LEDA/impl/x_basic.h
-rw-r--r---     root     root       1561 Jul 24 09:45 /usr/include/g++/LEDA/impl/x_window.h
-rw-r--r---     root     root       3475 Jul 24 09:45 /usr/include/g++/LEDA/int_set.h
-rw-r--r---     root     root      11705 Jul 24 09:45 /usr/include/g++/LEDA/integer.h
-rw-r--r---     root     root      15810 Jul 24 09:45 /usr/include/g++/LEDA/integer_matrix.h
-rw-r--r---     root     root       7117 Jul 24 09:45 /usr/include/g++/LEDA/integer_vector.h
-rw-r--r---     root     root       4794 Jul 24 09:45 /usr/include/g++/LEDA/interval_set.h
-rw-r--r---     root     root       5734 Jul 24 09:45 /usr/include/g++/LEDA/iteration.h
-rw-r--r---     root     root       1717 Jul 24 09:45 /usr/include/g++/LEDA/lin_order.h
-rw-r--r---     root     root       8011 Jul 24 09:45 /usr/include/g++/LEDA/line.h
-rw-r--r---     root     root      19626 Jul 24 09:45 /usr/include/g++/LEDA/list.h
-rw-r--r---     root     root       3292 Jul 24 09:45 /usr/include/g++/LEDA/map.h
-rw-r--r---     root     root       3625 Jul 24 09:45 /usr/include/g++/LEDA/map2.h
-rw-r--r---     root     root       5305 Jul 24 09:45 /usr/include/g++/LEDA/matrix.h
-rw-r--r---     root     root       5682 Jul 24 09:45 /usr/include/g++/LEDA/memory.h
-rw-r--r---     root     root       2820 Jul 24 09:45 /usr/include/g++/LEDA/menu.h
-rw-r--r---     root     root       3172 Jul 24 09:45 /usr/include/g++/LEDA/misc.h
-rw-r--r---     root     root       5004 Jul 24 09:45 /usr/include/g++/LEDA/node_array.h
-rw-r--r---     root     root        970 Jul 24 09:45 /usr/include/g++/LEDA/node_data.h
-rw-r--r---     root     root       4379 Jul 24 09:45 /usr/include/g++/LEDA/node_list.h
-rw-r--r---     root     root       4436 Jul 24 09:45 /usr/include/g++/LEDA/node_list1.h
-rw-r--r---     root     root       4511 Jul 24 09:45 /usr/include/g++/LEDA/node_map.h
-rw-r--r---     root     root       3997 Jul 24 09:45 /usr/include/g++/LEDA/node_map2.h
-rw-r--r---     root     root       4104 Jul 24 09:45 /usr/include/g++/LEDA/node_matrix.h
-rw-r--r---     root     root       2832 Jul 24 09:45 /usr/include/g++/LEDA/node_partition.h
-rw-r--r---     root     root       4787 Jul 24 09:45 /usr/include/g++/LEDA/node_pq.h
-rw-r--r---     root     root       3257 Jul 24 09:45 /usr/include/g++/LEDA/node_set.h
-rw-r--r---     root     root       4173 Jul 24 09:45 /usr/include/g++/LEDA/node_slist.h
-rw-r--r---     root     root       7583 Jul 24 09:45 /usr/include/g++/LEDA/p_dictionary.h
-rw-r--r---     root     root       5557 Jul 24 09:45 /usr/include/g++/LEDA/p_queue.h
-rw-r--r---     root     root       2538 Jul 24 09:45 /usr/include/g++/LEDA/panel.h
-rw-r--r---     root     root      17560 Jul 24 09:45 /usr/include/g++/LEDA/param_types.h
-rw-r--r---     root     root       5701 Jul 24 09:45 /usr/include/g++/LEDA/partition.h
-rw-r--r---     root     root      10540 Jul 24 09:45 /usr/include/g++/LEDA/planar_map.h
-rw-r--r---     root     root       1047 Jul 24 09:45 /usr/include/g++/LEDA/plane.h
-rw-r--r---     root     root      12330 Jul 24 09:45 /usr/include/g++/LEDA/plane_alg.h
-rw-r--r---     root     root        992 Jul 24 09:45 /usr/include/g++/LEDA/plane_graph.h
-rw-r--r---     root     root      10225 Jul 24 09:45 /usr/include/g++/LEDA/point.h
-rw-r--r---     root     root       5400 Jul 24 09:45 /usr/include/g++/LEDA/point_set.h
-rw-r--r---     root     root       6375 Jul 24 09:45 /usr/include/g++/LEDA/polygon.h
-rw-r--r---     root     root        646 Jul 24 09:45 /usr/include/g++/LEDA/pq_node.h
-rw-r--r---     root     root       3166 Jul 24 09:45 /usr/include/g++/LEDA/pq_tree.h
-rw-r--r---     root     root       5172 Jul 24 09:45 /usr/include/g++/LEDA/prio.h
-rw-r--r---     root     root      10711 Jul 24 09:45 /usr/include/g++/LEDA/ps_file.h
-rw-r--r---     root     root       4375 Jul 24 09:45 /usr/include/g++/LEDA/quadruple.h
-rw-r--r---     root     root       2853 Jul 24 09:45 /usr/include/g++/LEDA/queue.h
-rw-r--r---     root     root       5885 Jul 24 09:45 /usr/include/g++/LEDA/random.h
-rw-r--r---     root     root       5886 Jul 24 09:45 /usr/include/g++/LEDA/random_source.h
-rw-r--r---     root     root       7177 Jul 24 09:45 /usr/include/g++/LEDA/rat_circle.h
-rw-r--r---     root     root        763 Jul 24 09:45 /usr/include/g++/LEDA/rat_delaunay.h
-rw-r--r---     root     root       7212 Jul 24 09:45 /usr/include/g++/LEDA/rat_line.h
-rw-r--r---     root     root      12614 Jul 24 09:45 /usr/include/g++/LEDA/rat_point.h
-rw-r--r---     root     root       6721 Jul 24 09:45 /usr/include/g++/LEDA/rat_polygon.h
-rw-r--r---     root     root       6178 Jul 24 09:45 /usr/include/g++/LEDA/rat_ray.h
-rw-r--r---     root     root      13145 Jul 24 09:45 /usr/include/g++/LEDA/rat_segment.h
-rw-r--r---     root     root      10461 Jul 24 09:45 /usr/include/g++/LEDA/rat_vector.h
-rw-r--r---     root     root       6483 Jul 24 09:45 /usr/include/g++/LEDA/rational.h
-rw-r--r---     root     root       6930 Jul 24 09:45 /usr/include/g++/LEDA/ray.h
-rw-r--r---     root     root      12329 Jul 24 09:45 /usr/include/g++/LEDA/real.h
-rw-r--r---     root     root       1733 Jul 24 09:45 /usr/include/g++/LEDA/regtest.h
-rw-r--r---     root     root      10450 Jul 24 09:45 /usr/include/g++/LEDA/segment.h
-rw-r--r---     root     root       5361 Jul 24 09:45 /usr/include/g++/LEDA/segment_set.h
-rw-r--r---     root     root       6752 Jul 24 09:45 /usr/include/g++/LEDA/set.h
-rw-r--r---     root     root       5566 Jul 24 09:45 /usr/include/g++/LEDA/slist.h
-rw-r--r---     root     root      10127 Jul 24 09:45 /usr/include/g++/LEDA/sortseq.h
-rw-r--r---     root     root       2964 Jul 24 09:45 /usr/include/g++/LEDA/stack.h
-rw-r--r---     root     root       1100 Jul 24 09:45 /usr/include/g++/LEDA/stl.h
-rw-r--r---     root     root       5841 Jul 24 09:45 /usr/include/g++/LEDA/stream.h
-rw-r--r---     root     root       9798 Jul 24 09:45 /usr/include/g++/LEDA/string.h
-rw-r--r---     root     root       3886 Jul 24 09:45 /usr/include/g++/LEDA/subdivision.h
-rw-r--r---     root     root       3236 Jul 24 09:45 /usr/include/g++/LEDA/sugiyama.h
-rw-r--r---     root     root       1285 Jul 24 09:45 /usr/include/g++/LEDA/sweep.h
drwxr-xr-x-     root     root       1024 Jul 24 09:45 /usr/include/g++/LEDA/sys
-rw-r--r---     root     root        468 Jul 24 09:45 /usr/include/g++/LEDA/sys/dos.h
-rw-r--r---     root     root        552 Jul 24 09:45 /usr/include/g++/LEDA/sys/os2.h
-rw-r--r---     root     root       2719 Jul 24 09:45 /usr/include/g++/LEDA/sys/unix.h
-rw-r--r---     root     root         75 Jul 24 09:45 /usr/include/g++/LEDA/sys/win32.0
-rw-r--r---     root     root       1819 Jul 24 09:45 /usr/include/g++/LEDA/sys/win32.h
-rw-r--r---     root     root        932 Jul 24 09:45 /usr/include/g++/LEDA/system.h
drwxr-xr-x-     root     root       1024 Jul 24 09:45 /usr/include/g++/LEDA/thread
-rw-r--r---     root     root        986 Jul 24 09:45 /usr/include/g++/LEDA/thread.h
-rw-r--r---     root     root        818 Jul 24 09:45 /usr/include/g++/LEDA/thread/cps_mutex.h
-rw-r--r---     root     root        257 Jul 24 09:45 /usr/include/g++/LEDA/thread/dummy_mutex.h
-rw-r--r---     root     root        131 Jul 24 09:45 /usr/include/g++/LEDA/thread/guard.h
-rw-r--r---     root     root        722 Jul 24 09:45 /usr/include/g++/LEDA/thread/lock.h
-rw-r--r---     root     root       2475 Jul 24 09:45 /usr/include/g++/LEDA/thread/mem_mgment.h
-rw-r--r---     root     root        888 Jul 24 09:45 /usr/include/g++/LEDA/thread/pos_mutex.h
-rw-r--r---     root     root        298 Jul 24 09:45 /usr/include/g++/LEDA/thread/semaphore.h
-rw-r--r---     root     root        793 Jul 24 09:45 /usr/include/g++/LEDA/thread/sol_mutex.h
-rw-r--r---     root     root       6975 Jul 24 09:45 /usr/include/g++/LEDA/tree_collection.h
-rw-r--r---     root     root       3314 Jul 24 09:45 /usr/include/g++/LEDA/ugraph.h
-rw-r--r---     root     root       5307 Jul 24 09:45 /usr/include/g++/LEDA/vector.h
-rw-r--r---     root     root      57494 Jul 24 09:45 /usr/include/g++/LEDA/window.h
-rw-r--r---     root     root        889 Jul 24 09:45 /usr/include/g++/LEDA/winmain.h
-rw-r--r---     root     root     344490 Jul 24 09:45 /usr/lib/libD3.a
-rwxr-xr-x-     root     root     256914 Jul 24 09:45 /usr/lib/libD3.so
-rw-r--r---     root     root    1920090 Jul 24 09:45 /usr/lib/libG.a
-rwxr-xr-x-     root     root    1105586 Jul 24 09:45 /usr/lib/libG.so
-rw-r--r---     root     root     743386 Jul 24 09:45 /usr/lib/libL.a
-rwxr-xr-x-     root     root     611073 Jul 24 09:45 /usr/lib/libL.so
-rw-r--r---     root     root    3088372 Jul 24 09:45 /usr/lib/libP.a
-rwxr-xr-x-     root     root    1689444 Jul 24 09:46 /usr/lib/libP.so
-rw-r--r---     root     root    1352662 Jul 24 09:45 /usr/lib/libW.a
-rwxr-xr-x-     root     root     935695 Jul 24 09:46 /usr/lib/libW.so


(c) S.u.S.E. - Last update: 18.08.98 09:06;