{
 "case": "persistentdecomp",
 "tag": "v4.35.0",
 "pass": "raw",
 "build_rc": 0,
 "cache_rc": 0,
 "cache_s": 25.9,
 "build_s": 5.4,
 "errors": 0,
 "files_with_errors": 0,
 "deprecation_warnings": 9,
 "errors_detail": [],
 "deprecations": [
  {
   "file": "PersistentDecomp/DirectSumDecomposition.lean",
   "line": 91,
   "old": "Set.mem_setOf_eq",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecomposition.lean",
   "line": 99,
   "old": "Set.mem_setOf_eq",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecomposition.lean",
   "line": 109,
   "old": "Set.mem_setOf_eq",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecomposition.lean",
   "line": 258,
   "old": "if_true",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecompositionDual.lean",
   "line": 98,
   "old": "Set.mem_setOf_eq",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecompositionDual.lean",
   "line": 107,
   "old": "Set.mem_setOf_eq",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecompositionDual.lean",
   "line": 117,
   "old": "Set.mem_setOf_eq",
   "new": null
  },
  {
   "file": "PersistentDecomp/DirectSumDecompositionDual.lean",
   "line": 337,
   "old": "if_true",
   "new": null
  },
  {
   "file": "PersistentDecomp/Mathlib/Algebra/DirectSum/Basic.lean",
   "line": 36,
   "old": "dif_neg",
   "new": null
  }
 ]
}