2024-09-12 23:38:07 +00:00
|
|
|
{
|
|
|
|
|
"name": "remark-agda",
|
2024-09-13 00:55:19 +00:00
|
|
|
"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",
|
2024-09-13 00:43:27 +00:00
|
|
|
|
|
|
|
|
"main": "dist/index.js",
|
2024-09-12 23:38:07 +00:00
|
|
|
"module": "src/index.ts",
|
2024-09-13 00:43:27 +00:00
|
|
|
"types": "dist/index.d.ts",
|
2024-09-12 23:38:07 +00:00
|
|
|
"type": "module",
|
|
|
|
|
"devDependencies": {
|
|
|
|
|
"@biomejs/biome": "^1.9.0",
|
|
|
|
|
"@types/bun": "latest",
|
2024-09-13 00:43:27 +00:00
|
|
|
"rehype-raw": "^7.0.0",
|
2024-09-12 23:38:07 +00:00
|
|
|
"rehype-stringify": "^10.0.0",
|
|
|
|
|
"remark-parse": "^11.0.0",
|
|
|
|
|
"remark-rehype": "^11.1.0",
|
2024-09-13 00:43:27 +00:00
|
|
|
"to-vfile": "^8.0.0",
|
|
|
|
|
"vfile": "^6.0.3",
|
|
|
|
|
"vfile-reporter": "^8.1.1"
|
2024-09-12 23:38:07 +00:00
|
|
|
},
|
|
|
|
|
"peerDependencies": {
|
|
|
|
|
"typescript": "^5.0.0"
|
|
|
|
|
},
|
|
|
|
|
"dependencies": {
|
2024-09-13 00:43:27 +00:00
|
|
|
"hast": "^1.0.0",
|
2024-09-12 23:38:07 +00:00
|
|
|
"hast-util-from-html": "^2.0.2",
|
|
|
|
|
"unified": "^11.0.5",
|
2024-09-13 00:43:27 +00:00
|
|
|
"unist": "^0.0.1",
|
2024-09-12 23:38:07 +00:00
|
|
|
"unist-util-visit": "^5.0.0"
|
|
|
|
|
},
|
2024-09-13 00:43:27 +00:00
|
|
|
"trustedDependencies": ["@biomejs/biome"],
|
|
|
|
|
"files": ["dist/index.js", "dist/index.d.ts"]
|
2024-09-12 23:38:07 +00:00
|
|
|
}
|
