first

apps/basilisk.nix

@@ -0,0 +1,19 @@
+{ pkgs ? import <nixpkgs> {} }:
+let
+  version = "20250220145130";
+  sha256 = "sha256-DAlBmfBdkv8wwghykxJ4H5TSlGBhmdLaWzv35rNTDzE=";
+
+  basilisk = pkgs.fetchzip {
+    url = "https://dl.basilisk-browser.org/" +
+          "basilisk-${version}.linux-x86_64-gtk3.tar.xz";
+    inherit sha256;
+  };
+in
+pkgs.buildFHSEnv {
+  pname = "basilisk";
+  inherit version;
+  targetPkgs = pkgs:
+    (with pkgs;      [ glib dbus-glib gtk3 alsa-lib ]) ++
+    (with pkgs.xorg; [ libX11 libXt ]);
+  runScript = "${basilisk}/basilisk";
+}

apps/firefox-esr-alias.nix

@@ -0,0 +1,13 @@
+{ pkgs ? import <nixpkgs> {} }:
+let inherit (pkgs) stdenv firefox-esr; in
+stdenv.mkDerivation {
+  pname = "firefox-esr-alias";
+  inherit (firefox-esr) version;
+
+  buildInputs  = [ firefox-esr ];
+  dontUnpack   = true;
+  installPhase = ''
+    mkdir -p $out/bin
+    ln -s ${firefox-esr}/bin/firefox-esr $out/bin/firefox-esr
+  '';
+}

apps/isabelle.nix

@@ -0,0 +1,17 @@
+{ pkgs    ? import <nixpkgs> {},
+  version ? "2024",
+}:
+let
+  isabelle = pkgs.fetchzip {
+    url = "https://isabelle.in.tum.de/dist/Isabelle${version}_linux.tar.gz";
+    sha256 = "08d0zg4j12rya0qphdjfvxmy02mhrbzc6i1wy0hjfklpk2x1ml2s";
+  };
+in
+pkgs.buildFHSEnv {
+  pname = "isabelle";
+  inherit version;
+  targetPkgs = pkgs:
+    (with pkgs;      [ zlib fontconfig ]) ++
+    (with pkgs.xorg; [ libX11 libXt libXext libXrender libXtst libXi ]);
+  runScript = "${isabelle}/Isabelle${version}";
+}

apps/multi-ghc.nix

@@ -0,0 +1,27 @@
+{ pkgs     ? import <nixpkgs> {},
+  versions ? [ "8.10" "9.0" "9.2" "9.4" "9.6" "9.8" "9.10" "9.12" ],
+}:
+let
+  inherit (builtins) attrValues replaceStrings;
+  inherit (pkgs)     lib stdenv haskell;
+
+  toPkg = version:
+    "ghc" + replaceStrings ["."] [""] version;
+
+  ghcs = lib.genAttrs versions
+    (v: haskell.compiler.${toPkg v});
+
+  mkLinkCmd = version: pkg: ''
+    ln -s ${pkg}/bin/ghc $out/bin/ghc-${version}
+    ln -s ${pkg}/bin/ghci $out/bin/ghci-${version}
+    ln -s ${pkg}/bin/ghc-pkg $out/bin/ghc-pkg-${version}
+  '';
+in
+stdenv.mkDerivation {
+  name         = "multi-ghc";
+  buildInputs  = attrValues ghcs;
+  dontUnpack   = true;
+  installPhase = lib.concatLines
+    ([ "mkdir -p $out/bin" ] ++
+     lib.mapAttrsToList mkLinkCmd ghcs);
+}