mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-10-20 20:53:19 +02:00
38 lines
1.6 KiB
Nix
38 lines
1.6 KiB
Nix
args @ { fetchurl, ... }:
|
|
rec {
|
|
baseName = ''type-i'';
|
|
version = ''20191227-git'';
|
|
|
|
description = ''Type Inference Utility on Fundamentally 1-arg Predicates'';
|
|
|
|
deps = [ args."alexandria" args."closer-mop" args."introspect-environment" args."lisp-namespace" args."trivia_dot_level0" args."trivia_dot_level1" args."trivia_dot_level2" args."trivia_dot_trivial" args."trivial-cltl2" ];
|
|
|
|
src = fetchurl {
|
|
url = ''http://beta.quicklisp.org/archive/type-i/2019-12-27/type-i-20191227-git.tgz'';
|
|
sha256 = ''0f8q6klqjgz1kdyhisfkk07izvgs04jchlv2kl3srjxfr5dj5jl5'';
|
|
};
|
|
|
|
packageName = "type-i";
|
|
|
|
asdFilesToKeep = ["type-i.asd"];
|
|
overrides = x: x;
|
|
}
|
|
/* (SYSTEM type-i DESCRIPTION
|
|
Type Inference Utility on Fundamentally 1-arg Predicates SHA256
|
|
0f8q6klqjgz1kdyhisfkk07izvgs04jchlv2kl3srjxfr5dj5jl5 URL
|
|
http://beta.quicklisp.org/archive/type-i/2019-12-27/type-i-20191227-git.tgz
|
|
MD5 af344179d3f97b836d1e3106f8d1c306 NAME type-i FILENAME type-i DEPS
|
|
((NAME alexandria FILENAME alexandria)
|
|
(NAME closer-mop FILENAME closer-mop)
|
|
(NAME introspect-environment FILENAME introspect-environment)
|
|
(NAME lisp-namespace FILENAME lisp-namespace)
|
|
(NAME trivia.level0 FILENAME trivia_dot_level0)
|
|
(NAME trivia.level1 FILENAME trivia_dot_level1)
|
|
(NAME trivia.level2 FILENAME trivia_dot_level2)
|
|
(NAME trivia.trivial FILENAME trivia_dot_trivial)
|
|
(NAME trivial-cltl2 FILENAME trivial-cltl2))
|
|
DEPENDENCIES
|
|
(alexandria closer-mop introspect-environment lisp-namespace trivia.level0
|
|
trivia.level1 trivia.level2 trivia.trivial trivial-cltl2)
|
|
VERSION 20191227-git SIBLINGS (type-i.test) PARASITES NIL) */
|