quicklispPackages: regenerate

This commit is contained in:
Michael Raskin
2021-03-28 14:57:54 +02:00
parent e96cae7e3c
commit fad53e2961
306 changed files with 2245 additions and 1827 deletions
@@ -1,7 +1,7 @@
args @ { fetchurl, ... }:
rec {
baseName = "cl-unification";
version = "20200925-git";
baseName = ''cl-unification'';
version = ''20200925-git'';
description = ''The CL-UNIFICATION system.
@@ -10,8 +10,8 @@ The system contains the definitions for the 'unification' machinery.'';
deps = [ ];
src = fetchurl {
url = "http://beta.quicklisp.org/archive/cl-unification/2020-09-25/cl-unification-20200925-git.tgz";
sha256 = "05i1bmbabfgym9v28cbl37yr0r1m4a4k4a844z6wlq6qf45vzais";
url = ''http://beta.quicklisp.org/archive/cl-unification/2020-09-25/cl-unification-20200925-git.tgz'';
sha256 = ''05i1bmbabfgym9v28cbl37yr0r1m4a4k4a844z6wlq6qf45vzais'';
};
packageName = "cl-unification";