Packages from the vendor semsol

semsol/arc2