mdebray/tvl-depot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
tvl-depot/users/grfn/system/home
History
Griffin Smith 0156292099 feat(grfn/home): Install latex bussproofs package 
Change-Id: I11da65decbd55c7c5ab9915887280ea4366d3c9d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/5937
Tested-by: BuildkiteCI
Reviewed-by: grfn <grfn@gws.fyi>
Autosubmit: grfn <grfn@gws.fyi>
2022-07-11 14:44:42 +00:00
..
common style: format entire depot with nixpkgs-fmt 2022-01-31 16:11:53 +00:00
machines chore(3p/sources): Bump channels & overlays 2022-07-05 15:05:17 +00:00
modules feat(grfn/home): Install latex bussproofs package 2022-07-11 14:44:42 +00:00
platforms chore(3p/sources): Bump channels & overlays 2022-06-08 19:03:03 +00:00
.skip-subtree refactor(users/glittershark): Rename to grfn 2021-04-12 14:45:51 +00:00
default.nix refactor(grfn): Prepare for restricted-eval 2022-05-26 16:37:02 +00:00
home.nix refactor(users/glittershark): Rename to grfn 2021-04-12 14:45:51 +00:00