about summary refs log tree commit diff
path: root/users/wpcarro/third_party/lisp/linear-programming.nix (follow)
AgeCommit message (Collapse)AuthorFilesLines
2021-12-14 r/3245 refactor(3p/lisp): Move things from //users/wpcarro/third_party/lispVincent Ambo1-26/+0
* 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 r/3226 subtree(users/wpcarro): docking briefcase at '24f5a642'Vincent Ambo1-0/+26
git-subtree-dir: users/wpcarro git-subtree-mainline: 464bbcb15c09813172c79820bcf526bb10cf4208 git-subtree-split: 24f5a642af3aa1627bbff977f0a101907a02c69f Change-Id: I6105b3762b79126b3488359c95978cadb3efa789