Logo
Explore Help
Register Sign In
zaphar/dotfiles
1
0
Fork 0
You've already forked dotfiles
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity
169 Commits 6 Branches 0 Tags
Commit Graph

15 Commits

Author SHA1 Message Date
Jeremy Wall
5d221bfdfe maint: Update rust-overlay 2024-03-26 18:59:32 -04:00
Jeremy Wall
3e3c532054 Update heracles version locally 2024-03-25 13:52:28 -04:00
Jeremy Wall
9b2bd1fbfa feat: Use neogit instead of vimagit 2024-03-12 10:11:14 -04:00
Jeremy Wall
e3b4402b0b fix: don't install dotnet from nix for now. 2024-03-05 12:36:45 -05:00
Jeremy Wall
effb7cede8 Expand the Heracles dashboard a bit 2024-02-28 11:13:56 -05:00
Jeremy Wall
d75180b59b Heracles FTW 2024-02-23 12:09:00 -05:00
Jeremy Wall
8fc0d047dd Prepare to use lean4 from flake 2024-01-29 23:38:32 -05:00
Jeremy Wall
6de5297111 Workaround the broken symbols in libcxx on darwin.
We use a specific patched commit in nixpkgs until the permanent fix is merged.
2024-01-29 16:29:10 -05:00
Jeremy Wall
6711228f3c Working ocaml using unstable 2024-01-29 00:04:22 -05:00
Jeremy Wall
39377c5beb Single flake construction 2024-01-28 23:46:33 -05:00
Jeremy Wall
f30dcd048a add d2 vim plugin 2024-01-28 18:39:21 -05:00
Jeremy Wall
fcb1d2420b Roslyn is "working" 2024-01-09 08:30:42 -05:00
Jeremy Wall
179b01999b Update nixpkgs version to 23.11 latest 2024-01-05 15:28:39 -05:00
Jeremy Wall
2643c52158 Update nixpkgs 2023-12-26 21:57:42 -06:00
Jeremy Wall
055062292d Add oha to my default toolset 2023-09-21 09:44:59 -04:00
Powered by Gitea Version: 1.23.8 Page: 273ms Template: 19ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API