From 13a894ff1ced5e49359bff45b46e368b05dfd299 Mon Sep 17 00:00:00 2001 From: amesgen Date: Wed, 31 Jul 2024 22:29:10 +0200 Subject: [PATCH] cddl: move to by-name --- pkgs/{development/tools => by-name/cd}/cddl/Gemfile | 0 pkgs/{development/tools => by-name/cd}/cddl/Gemfile.lock | 0 pkgs/{development/tools => by-name/cd}/cddl/gemset.nix | 0 .../tools/cddl/default.nix => by-name/cd/cddl/package.nix} | 0 pkgs/top-level/all-packages.nix | 2 -- 5 files changed, 2 deletions(-) rename pkgs/{development/tools => by-name/cd}/cddl/Gemfile (100%) rename pkgs/{development/tools => by-name/cd}/cddl/Gemfile.lock (100%) rename pkgs/{development/tools => by-name/cd}/cddl/gemset.nix (100%) rename pkgs/{development/tools/cddl/default.nix => by-name/cd/cddl/package.nix} (100%) diff --git a/pkgs/development/tools/cddl/Gemfile b/pkgs/by-name/cd/cddl/Gemfile similarity index 100% rename from pkgs/development/tools/cddl/Gemfile rename to pkgs/by-name/cd/cddl/Gemfile diff --git a/pkgs/development/tools/cddl/Gemfile.lock b/pkgs/by-name/cd/cddl/Gemfile.lock similarity index 100% rename from pkgs/development/tools/cddl/Gemfile.lock rename to pkgs/by-name/cd/cddl/Gemfile.lock diff --git a/pkgs/development/tools/cddl/gemset.nix b/pkgs/by-name/cd/cddl/gemset.nix similarity index 100% rename from pkgs/development/tools/cddl/gemset.nix rename to pkgs/by-name/cd/cddl/gemset.nix diff --git a/pkgs/development/tools/cddl/default.nix b/pkgs/by-name/cd/cddl/package.nix similarity index 100% rename from pkgs/development/tools/cddl/default.nix rename to pkgs/by-name/cd/cddl/package.nix diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 09ec5802f303..04fdab284479 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -4460,8 +4460,6 @@ with pkgs; cbftp = callPackage ../tools/networking/cbftp { }; - cddl = callPackage ../development/tools/cddl { }; - cedille = callPackage ../applications/science/logic/cedille { inherit (haskellPackages) alex happy Agda ghcWithPackages; };