diff options
Diffstat (limited to 'pkgs/development/lisp-modules-obsolete/quicklisp-to-nix-output/cl-smt-lib.nix')
-rw-r--r-- | pkgs/development/lisp-modules-obsolete/quicklisp-to-nix-output/cl-smt-lib.nix | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/pkgs/development/lisp-modules-obsolete/quicklisp-to-nix-output/cl-smt-lib.nix b/pkgs/development/lisp-modules-obsolete/quicklisp-to-nix-output/cl-smt-lib.nix deleted file mode 100644 index 23a11c5176e9f..0000000000000 --- a/pkgs/development/lisp-modules-obsolete/quicklisp-to-nix-output/cl-smt-lib.nix +++ /dev/null @@ -1,31 +0,0 @@ -/* Generated file. */ -args @ { fetchurl, ... }: -rec { - baseName = "cl-smt-lib"; - version = "20211020-git"; - - description = "SMT object supporting SMT-LIB communication over input and output streams"; - - deps = [ args."asdf-package-system" args."named-readtables" args."trivial-gray-streams" ]; - - src = fetchurl { - url = "http://beta.quicklisp.org/archive/cl-smt-lib/2021-10-20/cl-smt-lib-20211020-git.tgz"; - sha256 = "1x2d79xcc0c56cb02axly6c10y6dmvxcpr3f16qry02rpfqys3qm"; - }; - - packageName = "cl-smt-lib"; - - asdFilesToKeep = ["cl-smt-lib.asd"]; - overrides = x: x; -} -/* (SYSTEM cl-smt-lib DESCRIPTION - SMT object supporting SMT-LIB communication over input and output streams - SHA256 1x2d79xcc0c56cb02axly6c10y6dmvxcpr3f16qry02rpfqys3qm URL - http://beta.quicklisp.org/archive/cl-smt-lib/2021-10-20/cl-smt-lib-20211020-git.tgz - MD5 f22b48a87b78fb5b38b35d780d34cd77 NAME cl-smt-lib FILENAME cl-smt-lib - DEPS - ((NAME asdf-package-system FILENAME asdf-package-system) - (NAME named-readtables FILENAME named-readtables) - (NAME trivial-gray-streams FILENAME trivial-gray-streams)) - DEPENDENCIES (asdf-package-system named-readtables trivial-gray-streams) - VERSION 20211020-git SIBLINGS NIL PARASITES NIL) */ |