1 { swig3, fetchFromGitHub }:
3 ## for updating to swig4, see
4 ## https://github.com/GeraldWodni/swig/pull/6
5 swig3.overrideDerivation (old: {
6 version = "3.0.9-forth";
7 src = fetchFromGitHub {
10 rev = "a45b807e5f9d8ca1a43649c8265d2741a393862a";
11 sha256 = "sha256-6nOOPFGFNaQInEkul0ZAh+ks9n3wqCQ6/tbduvG/To0=";
13 configureFlags = old.configureFlags ++ [