2018-09-12 09:47:19 +01:00
|
|
|
args @ { fetchurl, ... }:
|
2019-10-10 08:38:35 +01:00
|
|
|
rec {
|
2017-03-31 11:06:05 +01:00
|
|
|
baseName = ''cl-unification'';
|
2020-10-24 11:53:25 +01:00
|
|
|
version = ''20200925-git'';
|
2017-03-31 11:06:05 +01:00
|
|
|
|
|
|
|
description = ''The CL-UNIFICATION system.
|
|
|
|
|
|
|
|
The system contains the definitions for the 'unification' machinery.'';
|
|
|
|
|
|
|
|
deps = [ ];
|
|
|
|
|
|
|
|
src = fetchurl {
|
2020-10-24 11:53:25 +01:00
|
|
|
url = ''http://beta.quicklisp.org/archive/cl-unification/2020-09-25/cl-unification-20200925-git.tgz'';
|
|
|
|
sha256 = ''05i1bmbabfgym9v28cbl37yr0r1m4a4k4a844z6wlq6qf45vzais'';
|
2017-03-31 11:06:05 +01:00
|
|
|
};
|
2017-08-31 01:22:51 +01:00
|
|
|
|
2017-06-21 21:15:07 +01:00
|
|
|
packageName = "cl-unification";
|
2017-03-31 11:06:05 +01:00
|
|
|
|
2017-08-31 01:22:51 +01:00
|
|
|
asdFilesToKeep = ["cl-unification.asd"];
|
|
|
|
overrides = x: x;
|
2017-03-31 11:06:05 +01:00
|
|
|
}
|
2017-04-01 07:08:02 +01:00
|
|
|
/* (SYSTEM cl-unification DESCRIPTION The CL-UNIFICATION system.
|
|
|
|
|
|
|
|
The system contains the definitions for the 'unification' machinery.
|
2020-10-24 11:53:25 +01:00
|
|
|
SHA256 05i1bmbabfgym9v28cbl37yr0r1m4a4k4a844z6wlq6qf45vzais URL
|
|
|
|
http://beta.quicklisp.org/archive/cl-unification/2020-09-25/cl-unification-20200925-git.tgz
|
|
|
|
MD5 90588d566c2e12dac3530b65384a87ab NAME cl-unification FILENAME
|
|
|
|
cl-unification DEPS NIL DEPENDENCIES NIL VERSION 20200925-git SIBLINGS
|
2017-08-31 01:22:51 +01:00
|
|
|
(cl-unification-lib cl-unification-test cl-ppcre-template) PARASITES NIL) */
|