depot/third_party/nixpkgs/pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-unification.nix
Default email bba55970ba Project import generated by Copybara.
GitOrigin-RevId: 3d1a7716d7f1fccbd7d30ab3b2ed3db831f43bde
2021-04-05 17:23:46 +02:00

30 lines
1 KiB
Nix

/* Generated file. */
args @ { fetchurl, ... }:
rec {
baseName = "cl-unification";
version = "20200925-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/2020-09-25/cl-unification-20200925-git.tgz";
sha256 = "05i1bmbabfgym9v28cbl37yr0r1m4a4k4a844z6wlq6qf45vzais";
};
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 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
(cl-unification-lib cl-unification-test cl-ppcre-template) PARASITES NIL) */