uprade&Minlog

This commit is contained in:
2024-06-03 09:35:30 +02:00
parent a169ab6ab9
commit ecf30c3ee2
3 changed files with 117 additions and 92 deletions

View File

@@ -2,7 +2,7 @@
stdenv.mkDerivation rec {
name = "minlog";
version = "2024-04-14";
version = "2024-04-24";
src = fetchgit {
url = "http://www.ed.math.lmu.de/m/~minlogit/git/minlog.git";