idrisPackages.eternal: 2018-01-25 -> 2018-07-02, fix build

This commit is contained in:
Silvan Mosberger 2018-07-02 06:00:15 +02:00
parent cefa098cd8
commit 0ca2744df3
No known key found for this signature in database
GPG key ID: 9424360B4B85C9E7

View file

@ -5,15 +5,15 @@
}:
build-idris-package {
name = "eternal";
version = "2018-01-25";
version = "2018-07-02";
idrisDeps = [ effects ];
src = fetchFromGitHub {
owner = "Heather";
repo = "Control.Eternal.Idris";
rev = "7ead56ce6065b55104460ace945adbce38fb13eb";
sha256 = "0b4zys4mhl6r4rbpdxr7n2n20cdc0nkh4lm8n5v4wxkmjzna5cpd";
rev = "2f84b0dd49a7a29a2f852ba96cabfe8322e0852b";
sha256 = "1x8cwngiqi05f3wll0niznm47jj2byivx4mh5xf4sb47kciwkxvs";
};
postUnpack = ''