package contrib opts = "--nobasepkgs --total -i ../prelude -i ../base" modules = Control.Algebra, Control.Isomorphism.Primitives, Classes.Verified, Data.Fun, Data.Rel, Data.Buffer, Data.Hash, Data.Matrix, Data.ZZ, Data.Sign, Data.BoundedList, Data.Heap, Data.SortedMap, Data.SortedSet, Decidable.Decidable, Decidable.Order, Network.Cgi, Network.Socket, System.Concurrency.Process