c'est le bordel un peu

2026-06-07 17:10:46 +02:00
parent b4f7205dce
commit 33ec89cd08
18 changed files with 731 additions and 42 deletions
--- a/devshells.nix
+++ b/devshells.nix
@@ -64,7 +64,15 @@ in {
            ps.hyperref
            ps.lm
            ps.xcolor
+            ps.datetime2-french
            ps.datetime2
+            ps.llncs
+
+            ps.ec
+            ps.cm-super
+            ps.metafont
+
+            ps.latexindent
          ]
        ))
    ];