nix: typstyle

This commit is contained in:
Léana 江 2024-05-03 09:21:14 +02:00 committed by Léana 江
parent dc04757fc7
commit 3d021454b6
2 changed files with 67 additions and 0 deletions

View file

@ -30,6 +30,8 @@
necrolib = pkgs.callPackage ./necrolib.nix { };
why3 = pkgs.callPackage ./why3.nix { inherit (alt-ergo-pin) alt-ergo; };
maeel = pkgs.callPackage ./maeel.nix { };
typstyle = unstable.callPackage ./typstyle.nix { };
};
};
}