about summary refs log tree commit diff
path: root/third_party/lisp/prove.nix
AgeCommit message (Collapse)AuthorFilesLines
2021-12-14 r/3245 refactor(3p/lisp): Move things from //users/wpcarro/third_party/lispVincent Ambo1-0/+34
* 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