2014-10-31 18:31:19 +01:00
|
|
|
{ callPackage, ... } @ args:
|
2009-03-25 17:06:00 +01:00
|
|
|
|
2014-10-31 18:31:19 +01:00
|
|
|
callPackage ./generic.nix (args // {
|
|
|
|
baseVersion = "1.10";
|
2015-08-08 18:15:12 +02:00
|
|
|
revision = "10";
|
|
|
|
sha256 = "0qs1ps25k79jnzm31zjl6hj8kxzfwwjsdrlc9bz621218r3v2rvb";
|
2015-03-08 19:55:17 +01:00
|
|
|
extraConfigureFlags = "--with-gnump";
|
2014-10-31 18:31:19 +01:00
|
|
|
})
|