Re: Missing packages?

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.