blob: 868c3c8e182070c4fa005b6b835caab7181e77e7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
args @ { fetchurl, ... }:
rec {
baseName = ''cl-unification'';
version = ''20170124-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-01-24/cl-unification-20170124-git.tgz'';
sha256 = ''0gwk40y5byg6q0hhd41rqf8g8i1my0h4lshc63xfnh3mfgcc8bx9'';
};
overrides = x: {
};
}
|