/tools/ci/inria/bootstrap/

• ../
• Jenkinsfile
• remove-sinh-primitive.patch
• script