Packages from disjfa