lyes/nixfiles
1
0
Fork 0
Code Issues Pull requests Activity Actions

Add latex's proof

Browse source
This commit is contained in:
Lyes Saadi 2024-07-02 00:42:55 +02:00
parent e36c584615
commit 1df677a050
No known key found for this signature in database
GPG key ID: 17418538BAA17767
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
general/user/packages.nix
View file

@ -14,7 +14,8 @@ let
ly1 ly1
footmisc footmisc
titling titling
frpseudocode; frpseudocode
ebproof;
}); });
in { in {
users.users.lyes.packages = with pkgs; [ users.users.lyes.packages = with pkgs; [