diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-12-14T21·00+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2021-12-14T21·21+0000 |
| commit | b0614b5c83ae62672cb036bebb6ce12675aa3074 (patch) | |
| tree | ac2a4fafa87dae3a0f452fb54977421db9a21344 /users/wpcarro/third_party/README.md | |
| parent | 46a2c75a596b292d02d8647dfb44205dd876fd6f (diff) | |
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
Diffstat (limited to 'users/wpcarro/third_party/README.md')
| -rw-r--r-- | users/wpcarro/third_party/README.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/users/wpcarro/third_party/README.md b/users/wpcarro/third_party/README.md deleted file mode 100644 index 29e498a37726..000000000000 --- a/users/wpcarro/third_party/README.md +++ /dev/null @@ -1,5 +0,0 @@ -# third_party - -The `third_party` directory hosts Nix expressions that package software that I -cannot or have not found in other Nix package repositorys like `nixpkgs` or -`depot`. |