CompatHelper: add new compat entry for "NLopt" at version "0.6"#2

github-actions[bot] wants to merge 1 commit intomasterpagnani/PlmIsing:masterfrom

compathelper/new_version/2020-12-07-19-52-20-216-2018848989pagnani/PlmIsing:compathelper/new_version/2020-12-07-19-52-20-216-2018848989Copy head branch name to clipboard