[
  {
    "name": "plausible",
    "url": "https://github.com/leanprover-community/plausible",
    "manifest_revision": "d9598f07b1bc701f1e3aae163d2681c1fd978793",
    "actual_revision": "d9598f07b1bc701f1e3aae163d2681c1fd978793",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\plausible",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\plausible",
    "tracked_files": 35,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "LeanSearchClient",
    "url": "https://github.com/leanprover-community/LeanSearchClient",
    "manifest_revision": "ba67e212be1197b84c1f1f6299488a10a3002713",
    "actual_revision": "ba67e212be1197b84c1f1f6299488a10a3002713",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\LeanSearchClient",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\LeanSearchClient",
    "tracked_files": 15,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "importGraph",
    "url": "https://github.com/leanprover-community/import-graph",
    "manifest_revision": "1681d78dd6e65e38b143f9740d829c826673807c",
    "actual_revision": "1681d78dd6e65e38b143f9740d829c826673807c",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\importGraph",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\importGraph",
    "tracked_files": 63,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "proofwidgets",
    "url": "https://github.com/leanprover-community/ProofWidgets4",
    "manifest_revision": "a8acbfd87375ff4abe14ce09db5b7664d383bc7f",
    "actual_revision": "a8acbfd87375ff4abe14ce09db5b7664d383bc7f",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\proofwidgets",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\proofwidgets",
    "tracked_files": 111,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "aesop",
    "url": "https://github.com/leanprover-community/aesop",
    "manifest_revision": "18889deb9e83ea7420ef51c160d6f88552e744e3",
    "actual_revision": "18889deb9e83ea7420ef51c160d6f88552e744e3",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\aesop",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\aesop",
    "tracked_files": 258,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "Qq",
    "url": "https://github.com/leanprover-community/quote4",
    "manifest_revision": "507746ab8f4b643ccdacb2ec4cdb5853fa9f8ab3",
    "actual_revision": "507746ab8f4b643ccdacb2ec4cdb5853fa9f8ab3",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\Qq",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Qq",
    "tracked_files": 35,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "batteries",
    "url": "https://github.com/leanprover-community/batteries",
    "manifest_revision": "4cac2177c37f5530c4da76aa8e4307f3fc9e4dcb",
    "actual_revision": "4cac2177c37f5530c4da76aa8e4307f3fc9e4dcb",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\batteries",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\batteries",
    "tracked_files": 288,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "Cli",
    "url": "https://github.com/leanprover/lean4-cli",
    "manifest_revision": "ab3a82db9fea14cf0fd7f5a2de650f4b534640af",
    "actual_revision": "ab3a82db9fea14cf0fd7f5a2de650f4b534640af",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\Cli",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\Cli",
    "tracked_files": 12,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  },
  {
    "name": "mathlib",
    "url": "https://github.com/leanprover-community/mathlib4.git",
    "manifest_revision": "4cbb42e75a050e830b7cf0f2ae748d7644f59cf7",
    "actual_revision": "4cbb42e75a050e830b7cf0f2ae748d7644f59cf7",
    "original_path": "LEAN_PROJECT\\.lake\\packages\\mathlib",
    "reproduction_path": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages\\mathlib",
    "tracked_files": 9239,
    "working_tree_status": "",
    "git_repository_copied_independently": true,
    "shared_objects": false
  }
]