4 Commits

Author	SHA1	Message	Date
Zahary Karadjov	8b8302dd90	[Nix] Pin the Nimble build as well	2019-02-07 21:04:00 +01:00
Zahary Karadjov	68a3d2d6a5	[Nix] git is no longer used in the build scripts, so we can remove some of the required hacks	2019-02-07 20:13:32 +01:00
Zahary Karadjov	31b68ccf70	Pin the version of csources as well; Replace fetchGit with fetchTarball	2019-02-07 20:03:53 +01:00
Zahary Karadjov	987c561b0c	Use a recent Nixpkgs release and fix the Nix build	2019-02-06 21:02:02 +01:00