3 commits

Author	SHA1	Message	Date
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