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

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

  propagatedBuildInputs = [ dolmen spelll uutf ];

  meta = dolmen.meta // {
    description = "Typechecker for automated deduction languages";
  };
}