nix: remove typstyle (got merged on nixpkgs )

This commit is contained in:
Léana 江 2024-05-04 00:21:22 +02:00 committed by Léana 江
parent c6bb4b9af4
commit e44e55a5e3
3 changed files with 6 additions and 75 deletions

View file

@ -30,8 +30,6 @@
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 { };
};
};
}