Packages from the vendor reducktion

reducktion/socrates