Mr Hedgehog 65e9494cab Update ... nvim-telescope: a36a813d5d031e6f5d52b74986915e68130febd9 → 503db70a6a82ff4847593e5830c05082db39faa0 telescope-ui-select: eadc72ef0962c605662fe43cf3e2eca8357ed0ef → 186a124a01d7f19e6fcf608d4e1cc61d61ebe939 coq-tp: 273d79bb11fe356d3a619cff36a7b0ca00ae4005 → 38263b500082889c2bc3d277d0a5bca0c677c87d coq-artifacts: 55d84af8eecee71b1270d5657363b6d82777efde → 2626f9ca258f44fb2647a850e3213396569bb3b3		2022-03-24 17:43:24 -04:00
..
.shake.database	Update	2022-03-24 17:43:24 -04:00
.shake.lock	push for testing	2022-02-09 13:40:36 -05:00
generated.nix	Update	2022-03-24 17:43:24 -04:00