{
 "case": "dirichletproblem",
 "tag": "v4.33.0",
 "pass": "raw",
 "build_rc": 1,
 "cache_rc": 0,
 "cache_s": 50.7,
 "build_s": 37.3,
 "errors": 9,
 "files_with_errors": 1,
 "deprecation_warnings": 0,
 "errors_detail": [
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 32,
   "col": 4,
   "msg": "`BoundedContinuousFunction.compContinuousCLM` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 40,
   "col": 8,
   "msg": "`BoundedContinuousFunction.compContinuousCLM_apply` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 50,
   "col": 4,
   "msg": "`Real.Lp.fourierTransformInv` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 53,
   "col": 8,
   "msg": "`Real.fourierInv_congr_ae` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 60,
   "col": 8,
   "msg": "`Real.Lp.fourierTransformInv_apply` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 65,
   "col": 8,
   "msg": "`Real.Lp.coe_fourierTransformInv` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 71,
   "col": 8,
   "msg": "`Real.Lp.fourierTransformInv_toLp` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 80,
   "col": 4,
   "msg": "`Real.Lp.fourierTransformInvCLM` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  },
  {
   "sev": "error",
   "file": "DirichletProblem/Mathlib/Analysis/Fourier/FourierTransform.lean",
   "line": 84,
   "col": 8,
   "msg": "`Real.Lp.fourierTransformInvCLM_apply` has already been declared",
   "detail": [],
   "kind": "other",
   "ident": null
  }
 ],
 "deprecations": []
}