Adding a forgejo runner

2025-12-18 01:00:23 +01:00 · 2025-12-18 01:00:23 +01:00 · 748796b11e
commit 748796b11e
parent 1a09ffa481
6 changed files with 68 additions and 26 deletions
--- a/users/lyes/desktop/packages.nix
+++ b/users/lyes/desktop/packages.nix
@ -42,6 +42,7 @@ in {
    # Image
    gimp
    inkscape
+    pixieditor

    # Video
    mpv
@ -100,6 +101,7 @@ in {
    gcc
    rustup
    python3
+    zola
    ocaml
    ocamlPackages.ocaml-lsp
    ocamlPackages.ocamlformat
@ -127,14 +129,14 @@ in {
    coqPackages.metarocq-utils
    coqPackages.metarocq-template-rocq
    coqPackages.vscoq-language-server
-    numworks-udev-rules
-    zola
    # Why3
    why3
    alt-ergo
    cvc4
    cvc5
    z3
+    # CryptoVerif
+    cryptoverif

    # Containers & VMs
    toolbox