repo manifest for a workspace allowing to build ArduPlane for Parrot Disco - View it on GitHub