{
  "source_archive": "OMEGA_NAUGHT_Lean_Proof_v0.1(1).zip",
  "source_archive_sha256": "f77f83d0edd127b5377f7c796963ec9d0cb5610bae14116361b9c6aec8437178",
  "source_files": 29,
  "source_uncompressed_bytes": 98418,
  "all_reference_files_equal_original_members": true,
  "os": "Linux-6.18.35-x86_64-with-glibc2.39",
  "python_used_for_packaging_only": "3.12.14",
  "libc": [
    "glibc",
    "2.39"
  ]
}