Missing packages?

[Sven Panne]

Ross Paterson wrote:
 > Probably excluded: which ones?

I'm not sure what the policy for legacy packages is for Hugs, but

    fptools/hslibs/hssource
    fptools/hslibs/net

are purely "proxy" packages which re-export hierarchical stuff, so
they can probably be nuked from the scripts without much harm. But

    fptools/libraries/unix

is a different story: It should be available on *nix platforms. Adding
it to Defs.mk is the easy part, converting/building/installing it
depending on the platform is another story...

Cheers,
    S.