Packages from jolicode