tangled alpha
login or join now
pyrox.dev / nixpkgs
lol
fork atom
overview
issues
pulls
pipelines
nixpkgs / pkgs / development / compilers / souper /
at 18.09-beta 2 files
cmake-fix.patch
souper: bump to latest--using LLVM 4 and custom KLEE.
9 years ago
default.nix
z3_opt: remove and replace with z3
8 years ago
tangled alpha
legal
terms of service privacy policy
resources
blog docs source brand
social
discord irc Bluesky bluesky
contact
team@tangled.org security@tangled.org
© 2025 Tangled Labs Oy. All rights reserved.
tangled alpha
legal
terms of service privacy policy
resources
blog docs source brand
social
discord irc Bluesky bluesky
contact
team@tangled.org security@tangled.org
© 2025 Tangled Labs Oy. All rights reserved.