{
  "package": "SpecsVerification",
  "version": "0.5-4",
  "date": "2026-10-06 22:40:15 UTC",
  "urls": []
}