ocamlPackages.dolmen_loop 0.9 -> 0.10 https://github.com/Gbury/dolmen/releases
attrpath: ocamlPackages.dolmen_loop
Checking auto update branch...
No auto update branch exists
Old version 0.9" not present in master derivation file with contents: { buildDunePackage, dolmen, dolmen_type
, gen
, pp_loc
}:

buildDunePackage {
  pname = "dolmen_loop";
  inherit (dolmen) src version;

  propagatedBuildInputs = [ dolmen dolmen_type gen pp_loc ];

  meta = dolmen.meta // {
    description = "Tool library for automated deduction tools";
  };
}