Since 1.7 Magma release domain-proxy is a part of Magma, and resides in the main Magma repository in dp directory.