djot-js: 0.3.1 -> 0.3.2, adopt (#461044)

This commit is contained in:
Felix Bargfeldt
2025-11-18 18:23:40 +00:00
committed by GitHub
2 changed files with 10 additions and 3 deletions
+7
View File
@@ -22589,6 +22589,13 @@
githubId = 592876;
name = "Robert W. Pearce";
};
rpqt = {
email = "rpqt@rpqt.fr";
matrix = "@rpqt:matrix.org";
github = "rpqt";
githubId = 49253685;
name = "Romain Paquet";
};
rprecenth = {
email = "rasmus@precenth.eu";
github = "Prillan";
+3 -3
View File
@@ -7,13 +7,13 @@
buildNpmPackage rec {
pname = "djot-js";
version = "0.3.1";
version = "0.3.2";
src = fetchFromGitHub {
owner = "jgm";
repo = "djot.js";
rev = "@djot/djot@${version}";
hash = "sha256-dQfjI+8cKqn4qLT9eUKfCP++BFCWQ/MmrlQNVRNCFuU=";
hash = "sha256-SkE7ssWC62sYZNshB8ncfMVI4NEyEbzO5IVIDsKtynU=";
};
npmDepsHash = "sha256-FjrjwhVv2WRjbEga9w37lwz7KYgTTHGsoqt496Uq/0c=";
@@ -41,7 +41,7 @@ buildNpmPackage rec {
homepage = "https://github.com/jgm/djot.js";
changelog = "https://github.com/jgm/djot.js/blob/${src.rev}/CHANGELOG.md";
license = licenses.mit;
maintainers = [ ];
maintainers = with lib.maintainers; [ rpqt ];
mainProgram = "djot";
};
}