From 20bc60bb4cb38d73711247ae1574c6d62fc4b86f Mon Sep 17 00:00:00 2001 From: Michael Zhang Date: Thu, 12 Sep 2024 19:55:19 -0500 Subject: [PATCH] update some metadata --- README.md | 3 ++- package.json | 6 +++++- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 285ffb0..03bdf23 100644 --- a/README.md +++ b/README.md @@ -41,4 +41,5 @@ Author: Michael Zhang License: GPL-3.0 -Send questions to ~mzhang/public-inbox@lists.sr.ht \ No newline at end of file +Send questions to +`~mzhang/public-inbox@lists.sr.ht` \ No newline at end of file diff --git a/package.json b/package.json index b5c3ee1..df40db3 100644 --- a/package.json +++ b/package.json @@ -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",