tvl-depot/users
Vincent Ambo b0614b5c83 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 <mail@tazj.in>
Reviewed-by: grfn <grfn@gws.fyi>
Reviewed-by: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI
2021-12-14 21:21:53 +00:00
..
cynthia feat(cynthia): add SSH CA 2020-09-27 23:14:12 +00:00
edef fix(edef/keys): add readTree header 2020-08-05 02:21:47 +00:00
ericvolp12 chore(users/ericvolp12): Create ericvolp12 user directory and OWNERS file 2020-06-16 02:37:07 +00:00
eta chore(eta/keys): add eta's new yubikey-agent SSH key 2021-04-11 14:20:25 +00:00
firefly feat(users/firefly): initialize with key for as 2020-09-28 13:41:40 +00:00
flokli feat(ops/nixos/whitby): add flokli user 2021-03-26 20:31:48 +00:00
grfn feat(grfn/bbbg): Display flash messages 2021-12-13 22:43:05 -05:00
isomer chore(whitby): Move isomer's SSH key to user directory 2020-07-23 19:32:15 +00:00
lukegb chore(lukegb): add keys.clouvider-lon01-nix 2020-11-30 23:18:39 +00:00
Profpatsch refactor(readTree): Move 'drvTargets' into readTree 2021-11-23 14:42:08 +00:00
qyliss feat(whitby): Add SSH key for qyliss 2020-07-23 19:37:09 +00:00
riking feat(u/riking/dotfiles): add tmux.conf 2021-03-01 22:31:13 +00:00
sterni feat(users/sterni/emacs): provide BQN interpreter via Nix 2021-12-14 17:07:29 +00:00
tazjin fix(tazjin/emacs): Fix tdlib version check if max-version is set 2021-12-13 19:54:49 +03:00
wpcarro refactor(3p/lisp): Move things from //users/wpcarro/third_party/lisp 2021-12-14 21:21:53 +00:00
tvlbot.jpg chore(users/tazjin): Add avatar for tvlbot 2020-06-14 22:23:04 +00:00