xenia haskal
1 Followers · 1 Following
Repositories
49
 Projects Packages Public Activity Starred Repositories
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 15:51:26 +00:00
126e4efe97 update ghidra + extensions
haskal pushed to main at haskal/dragnpkgs 2026-06-08 15:51:26 +00:00
e51ed82826 update ghidra + extensions
haskal pushed to main at haskal/dragnpkgs 2026-06-08 15:26:08 +00:00
fb725f0039 remove nix-serve-ng overlay
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 15:26:06 +00:00
7e8999a71b remove nix-serve-ng overlay
haskal pushed to main at haskal/dragnpkgs 2026-06-08 14:49:42 +00:00
8cafa2c7db fix ci breakage
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 14:49:42 +00:00
47681646d5 fix ci breakage
haskal pushed to main at haskal/dragnpkgs 2026-06-08 03:27:15 +00:00
bba96534eb eta: update + fix
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 03:27:00 +00:00
1512f8c971 eta: update + fix
haskal pushed to main at haskal/dragnpkgs 2026-06-08 03:19:23 +00:00
dd20246a0b update racket catalog pkgs
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 03:19:14 +00:00
281340669f update racket catalog pkgs
haskal pushed to main at haskal/dragnpkgs 2026-06-08 03:07:02 +00:00
2dffbf1712 lix -> 2.95
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 03:06:41 +00:00
b5e87d726a lix -> 2.95
haskal pushed to main at haskal/dragnpkgs 2026-06-08 02:32:27 +00:00
9a271270ad racket: incorporate upstream changes
ef720386ef strawberry -> 1.2.18
Compare 2 commits »
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 02:32:04 +00:00
29e44293cb racket: incorporate upstream changes
b48976eb87 strawberry -> 1.2.18
Compare 2 commits »
haskal created branch nixos-26.05 in haskal/dragnpkgs 2026-06-08 01:54:42 +00:00
haskal pushed to nixos-26.05 at haskal/dragnpkgs 2026-06-08 01:54:42 +00:00
4e0cce3aad flake-self-attrs
14280abe39 nixos 26.05
Compare 2 commits »
haskal pushed to main at haskal/dragnpkgs 2026-06-08 01:54:23 +00:00
95fc8fed47 flake-self-attrs
haskal deleted branch xenia/test2 from haskal/rosette 2026-06-05 04:30:07 +00:00
haskal pushed to xenia/patches at haskal/rosette 2026-06-05 04:29:35 +00:00
c4c3564cb4 wip: feat: add support for z3 bit rotate exts
9a344b9ab2 fix: always use system Z3 by default
4e6988384e z3: bump version to 4.12.6
1d1cb179db solvers: avoid specifying solver paths in define-runtime-path
Compare 4 commits »
haskal created branch xenia/test2 in haskal/rosette 2026-06-01 06:55:22 +00:00