CompatHelper: add new compat entry for Distributions at version 0.25, (keep existing compat)#35

github-actions[bot] wants to merge 1 commit intomains-ccs/Amica.jl:mainfrom

compathelper/new_version/2023-12-16-00-59-44-924-03191999753s-ccs/Amica.jl:compathelper/new_version/2023-12-16-00-59-44-924-03191999753Copy head branch name to clipboard