nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-03 20:33:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
89f5d52cf4
nixpkgs/pkgs/development/compilers/solc
History
Mikael Brockman 3d107c15bd solc: v0.4.13 -> v0.4.16 (#28732) 
Also add the Z3 SMT solver as a dependency, since the new solc can use
it for checking assertions and stuff (which is awesome).
2017-08-30 18:21:17 +02:00
..
default.nix solc: v0.4.13 -> v0.4.16 (#28732) 2017-08-30 18:21:17 +02:00