blob: 4434e711d9ded63ac84eff71bc283fd8000c4d70 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
{ fetchurl, ... }:
rec {
baseName = ''cl-unification'';
version = ''20171227-git'';
description = ''The CL-UNIFICATION system.
The system contains the definitions for the 'unification' machinery.'';
deps = [ ];
src = fetchurl {
url = ''http://beta.quicklisp.org/archive/cl-unification/2017-12-27/cl-unification-20171227-git.tgz'';
sha256 = ''0shwnvn5zf0iwgyqf3pa1b9cv2xghl7pss1ymrjgs95r6ijqxn2p'';
};
packageName = "cl-unification";
asdFilesToKeep = ["cl-unification.asd"];
overrides = x: x;
}
/* (SYSTEM cl-unification DESCRIPTION The CL-UNIFICATION system.
The system contains the definitions for the 'unification' machinery.
SHA256 0shwnvn5zf0iwgyqf3pa1b9cv2xghl7pss1ymrjgs95r6ijqxn2p URL
http://beta.quicklisp.org/archive/cl-unification/2017-12-27/cl-unification-20171227-git.tgz
MD5 45bfd18f8e15d16222e0f747992a6ce6 NAME cl-unification FILENAME
cl-unification DEPS NIL DEPENDENCIES NIL VERSION 20171227-git SIBLINGS
(cl-unification-lib cl-unification-test cl-ppcre-template) PARASITES NIL) */
|