This website requires JavaScript.
Explore
Help
Sign In
NixOS
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/NixOS/nixpkgs
synced
2024-10-19 03:47:13 -04:00
Code
Activity
56155
commits
216
branches
122
tags
7.8
GiB
e8b14bd783
Commit graph
2 commits
Author
SHA1
Message
Date
Austin Seipp
7d58646b08
z3/verifast: update license
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Austin Seipp
2646eac8b2
z3: version 4.3.1
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-21 02:50:54 -05:00