drwxr-xr-x | 0 | root |
root |
/usr/lib/hugs/packages/HGL
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics
|
-rw-r--r-- | 1384 | root |
root |
/usr/lib/hugs/packages/HGL/LICENSE
|
-rw-r--r-- | 593 | root |
root |
/usr/lib/hugs/packages/HGL/Paths_HGL.hs
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL
|
-rw-r--r-- | 3042 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL.hs
|
-rw-r--r-- | 8236 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/SOE.hs
|
-rw-r--r-- | 794 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Core.hs
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw
|
-rw-r--r-- | 1478 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw.hs
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals
|
-rw-r--r-- | 7618 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Key.hs
|
-rw-r--r-- | 2825 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Run.hs
|
-rw-r--r-- | 573 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Units.hs
|
-rw-r--r-- | 9785 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Utils.hs
|
-rw-r--r-- | 5945 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Window.hs
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/X11
|
-rw-r--r-- | 3426 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Brush.hs
|
-rw-r--r-- | 5679 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Font.hs
|
-rw-r--r-- | 785 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Monad.hs
|
-rw-r--r-- | 4325 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Pen.hs
|
-rw-r--r-- | 6930 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Picture.hs
|
-rw-r--r-- | 6024 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Region.hs
|
-rw-r--r-- | 6529 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Draw/Text.hs
|
-rw-r--r-- | 4408 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals/Draw.hs
|
-rw-r--r-- | 3250 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals/Event.hs
|
-rw-r--r-- | 2353 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals/Events.hs
|
-rw-r--r-- | 1744 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals/Flag.hs
|
-rw-r--r-- | 4661 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals/Types.hs
|
-rw-r--r-- | 1370 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/Internals/Utilities.hs
|
-rw-r--r-- | 1917 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/X11/DC.hs
|
-rw-r--r-- | 1483 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/X11/Display.hs
|
-rw-r--r-- | 3599 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/X11/Timer.hs
|
-rw-r--r-- | 2882 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/X11/Types.hs
|
-rw-r--r-- | 22242 | root |
root |
/usr/lib/hugs/packages/HGL/Graphics/HGL/X11/Window.hs
|