Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.

Log message:
Import lbt-1.2.2 as wip/lbt.

This software converts a linear temporal logic (ltl) formula to a generalised
B?chi automaton.The resulting automaton may be used, for instance, in model
checking, where it represents a property to be verified from
a model (e.g. a Petri net).