tangled
alpha
login
or
join now
pyrox.dev
/
nixpkgs
star
0
fork
atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
lol
star
0
fork
atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
overview
issues
pulls
pipelines
nixpkgs
/
pkgs
/
applications
/
science
/
logic
/
stp
/
at
15.09-beta
3 files
default.nix
Don't use "with licenses;" for single licences
11 years ago
fixbuild.diff
STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
12 years ago
fixrefs.diff
STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
12 years ago