6 commits

Author	SHA1	Message	Date
caandt	5bd3fec9c4	add packages	2025-03-24 17:44:05 -05:00
caandt	208baf5b55	the return of coq	2025-03-10 01:48:14 -05:00
caandt	7fbf6a003c	misc	2025-02-11 19:43:13 -06:00
caandt	8193868878	version bump	2025-01-19 10:24:18 -06:00
caandt	f794822a36	lazygit	2025-01-01 19:32:27 -05:00
caandt	f28d3ea99d	add options	2024-12-22 23:46:42 -05:00