michael/remark-agda
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update some metadata

Browse source
This commit is contained in:
Michael Zhang 2024-09-12 19:55:19 -05:00
parent 0763472b18
commit 20bc60bb4c
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -41,4 +41,5 @@ Author: Michael Zhang
License: GPL-3.0
Send questions to ~mzhang/public-inbox@lists.sr.ht
Send questions to
`~mzhang/public-inbox@lists.sr.ht`

6
package.json
View file

@ -1,6 +1,10 @@
{
"name": "remark-agda",
"version": "0.0.1",
"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",