refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp r/3245

* 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 <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI

1 files changed, 0 insertions, 17 deletions

diff --git a/users/wpcarro/third_party/lisp/anaphora.nix b/users/wpcarro/third_party/lisp/anaphora.nix
deleted file mode 100644
index bf4bf663f4d4..000000000000
--- a/users/wpcarro/third_party/lisp/anaphora.nix
+++ /dev/null
@@ -1,17 +0,0 @@
-{ depot, ... }:
-
-let
-  src = builtins.fetchGit {
-    url = "https://github.com/tokenrove/anaphora.git";
-    rev = "aeace4c68cf55098a67112750b28f8f2dc6d0e30";
-  };
-in depot.nix.buildLisp.library {
-  name = "anaphora";
-  deps = [];
-  srcs = [
-    "${src}/packages.lisp"
-    "${src}/early.lisp"
-    "${src}/symbolic.lisp"
-    "${src}/anaphora.lisp"
-  ];
-}