Updated 2025-08-31 01:21:52 +09:00
Updated 2025-08-29 00:22:54 +09:00
Updated 2025-08-27 18:27:17 +09:00
Updated 2025-08-25 10:44:29 +09:00
my scoop bucket
Updated 2025-08-24 08:49:37 +09:00
Updated 2025-08-18 08:16:31 +09:00
Also on aur
Updated 2025-08-07 21:38:30 +09:00
Updated 2025-08-07 05:50:55 +09:00
Also on AUR
Updated 2025-08-06 18:21:39 +09:00
Updated 2025-08-06 18:20:01 +09:00
Updated 2025-07-13 20:33:07 +09:00
Theorem proving in lean
Updated 2025-06-05 17:49:40 +09:00
Updated 2025-06-05 06:51:07 +09:00
Updated 2025-04-13 23:40:49 +09:00
Cross device backup manager. https://git.qwjyh.net/PKGBUILDs/xdbm
Updated 2025-04-09 23:49:55 +09:00
Updated 2025-04-08 09:18:34 +09:00
Updated 2025-03-01 10:14:23 +09:00
Updated 2025-02-10 21:35:08 +09:00