subrepo:
  subdir:   "subrepos/NON-SDP"
  merged:   "6db31ca"
upstream:
  origin:   "git@gitlab.inria.fr:MatchingToolbox/NoN-SDP.git"
  branch:   "master"
  commit:   "6db31ca"
git-subrepo:
  version:  "0.4.0"
  origin:   "https://github.com/ingydotnet/git-subrepo"
  commit:   "74339e8"