Merge master into staging-next

This commit is contained in:
github-actions[bot]
2021-01-08 12:29:36 +00:00
committed by GitHub
23 changed files with 426 additions and 23 deletions
@@ -4,6 +4,8 @@ buildDunePackage rec {
pname = "csexp";
version = "1.3.2";
useDune2 = true;
minimumOCamlVersion = "4.02.3";
src = fetchurl {