big refactoring

2025-05-07 20:35:17 +02:00
parent 23010ee036
commit 1f045cdf5c
92 changed files with 378 additions and 1324 deletions
--- a/builds/minlog.nix
+++ b/builds/minlog.nix
@@ -1,25 +0,0 @@
-{ lib, stdenv, fetchgit, chez, which, emacs, texliveFull }:
-
-stdenv.mkDerivation {
-  name = "minlog";
-  version = "2024-04-14";
-
-  src = fetchgit {
-    url = "http://www.ed.math.lmu.de/m/~minlogit/git/minlog.git";
-    rev = "92a3f38d4532942016525ebdfb05c0a0791cad97";
-    hash = "sha256-WWkYjf0vMf6zhSW9zr1hdV8D1W08l5Y0auMghMhFU68=";
-  };
-
-  nativeBuildInputs = [ chez which emacs texliveFull ];
-  buildInputs = [ chez ];
-
-  makeFlags = [ "DESTDIR=$(out)" ];
-
-  meta = with lib; {
-    description = "Minlog is an interactive proof system";
-    homepage = "https://www.ed.math.lmu.de/m//~logik/minlog/#installation";
-    maintainers = [ maintainers.einfischy ];
-    platforms = platforms.linux;
-  };
-}
-