cddl: move to by-name

2024-07-31 22:29:10 +02:00 · 2024-07-31 22:29:10 +02:00 · 13a894ff1c
commit 13a894ff1c
parent 52ec421a00
5 changed files with 0 additions and 2 deletions
--- a/pkgs/development/tools/cddl/Gemfile
+++ b/pkgs/development/tools/cddl/Gemfile
--- a/pkgs/development/tools/cddl/Gemfile.lock
+++ b/pkgs/development/tools/cddl/Gemfile.lock
--- a/pkgs/development/tools/cddl/gemset.nix
+++ b/pkgs/development/tools/cddl/gemset.nix
--- a/pkgs/development/tools/cddl/default.nix
+++ b/pkgs/development/tools/cddl/default.nix
--- 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;
                          };