7 commits

Author	SHA1	Message	Date
Léana 江	0736bb36b1	vanadium: add ltex-ls-plus package from unstable	2025-02-20 19:21:27 +01:00
Léana 江	ddefd6e09a	vanadium: +gh	2025-02-09 11:30:47 +01:00
Léana 江	95eb4b71e0	nix: format with alejandra	2025-02-08 12:10:29 +01:00
Léana 江	b246bdbe68	vanadium: move dev configuration into devshells	2025-02-03 21:22:26 +01:00
Léana 江	4702cf030c	vanadium: -isabelle	2025-02-03 21:03:36 +01:00
Léana 江	56a45d5532	vanadium: remove git maintenance	2025-01-27 12:33:34 +01:00
Léana 江	dcadddad3a	nixos: init vanadium by cloning carbon	2024-12-28 22:12:18 +01:00