From b0614b5c83ae62672cb036bebb6ce12675aa3074 Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Wed, 15 Dec 2021 00:00:26 +0300 Subject: refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp * move packages and adapt them for the depot structure instead of briefcase * drop linear-programming package, it didn't build anyways Note that at least some of these packages (e.g. prove) are deprecated upstream, but lets sort that out later. Change-Id: I7f5a5faa29d57f060b21ac8e1706090866a82000 Reviewed-on: https://cl.tvl.fyi/c/depot/+/4330 Autosubmit: tazjin Reviewed-by: grfn Reviewed-by: wpcarro Tested-by: BuildkiteCI --- users/wpcarro/third_party/default.nix | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 users/wpcarro/third_party/default.nix (limited to 'users/wpcarro/third_party/default.nix') diff --git a/users/wpcarro/third_party/default.nix b/users/wpcarro/third_party/default.nix deleted file mode 100644 index 949110373fb2..000000000000 --- a/users/wpcarro/third_party/default.nix +++ /dev/null @@ -1,5 +0,0 @@ -{ pkgs, briefcase, depot, ... }: - -# Exposing these to be available as briefcase.third_party.pkgs for example. - -{ inherit pkgs briefcase depot; } -- cgit 1.4.1