{
  "name": "remark-agda",
  "version": "0.1.0",
  "description": "Plugin for processing Literate Agda files with Remark",
  "repository": { "url": "https://git.mzhang.io/michael/remark-agda" },
  "bugs": { "email": "~mzhang/public-inbox@lists.sr.ht" },
  "license": "GPL-3.0-only",

  "main": "dist/index.js",
  "module": "src/index.ts",
  "types": "dist/index.d.ts",
  "type": "module",
  "devDependencies": {
    "@biomejs/biome": "^1.9.0",
    "@types/bun": "latest",
    "rehype-raw": "^7.0.0",
    "rehype-stringify": "^10.0.0",
    "remark-parse": "^11.0.0",
    "remark-rehype": "^11.1.0",
    "to-vfile": "^8.0.0",
    "vfile": "^6.0.3",
    "vfile-reporter": "^8.1.1"
  },
  "peerDependencies": {
    "typescript": "^5.0.0"
  },
  "dependencies": {
    "hast": "^1.0.0",
    "hast-util-from-html": "^2.0.2",
    "unified": "^11.0.5",
    "unist": "^0.0.1",
    "unist-util-visit": "^5.0.0"
  },
  "trustedDependencies": ["@biomejs/biome"],
  "files": ["dist/index.js", "dist/index.d.ts"]
}