Packages from the vendor amsa

amsa/phprop