idrisPackages.derive: 2018-02-15 -> 2018-07-02, fix build

This commit is contained in:
Silvan Mosberger 2018-07-02 05:19:51 +02:00
parent c6c726bdfd
commit cefa098cd8
No known key found for this signature in database
GPG Key ID: 9424360B4B85C9E7

View File

@ -6,15 +6,16 @@
}:
build-idris-package {
name = "derive";
version = "2018-02-15";
version = "2018-07-02";
idrisDeps = [ contrib pruviloj ];
# https://github.com/david-christiansen/derive-all-the-instances/pull/9
src = fetchFromGitHub {
owner = "davlum";
owner = "infinisil";
repo = "derive-all-the-instances";
rev = "2c8956807bd094ba33569227de921c6726401c42";
sha256 = "0l7263s04r52ql292vnnx2kngld6s1dipmaz5na7m82lj9p4x17y";
rev = "61c3e12e26f599379299fcbb9c40a81bfc3e0604";
sha256 = "0g2lb8nrwqwf3gm5fir43cxz6db84n19xiwkv8cmmqc1fgy6v0qn";
};
meta = {