b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

idrisPackages.{categories,derive}: Use upstream instead of forks

Browse source 
These forks were introduced in https://github.com/NixOS/nixpkgs/pull/42861 to
make the builds succeed. The changes have since been incorporated
upstream.
This commit is contained in:
Silvan Mosberger 2018-10-26 11:15:10 +02:00
parent e438125d97
commit 41b55b3508
No known key found for this signature in database
GPG key ID: 9424360B4B85C9E7
2 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
pkgs/development/idris-modules/categories.nix
View file

@ -6,11 +6,10 @@ build-idris-package {
name = "categories";
version = "2018-07-02";
# https://github.com/danilkolikov/categories/pull/5
src = fetchFromGitHub {
owner = "infinisil";
owner = "danilkolikov";
repo = "categories";
rev = "9722d62297e5025431e91b271ab09c5d14867236";
rev = "a1e0ac0f0da2e336a7d3900051892ff7ed504c35";
sha256 = "1bbmm8zif5d5wckdaddw6q3c39w6ms1cxrlrmkdn7bik88dawff2";
};

7
pkgs/development/idris-modules/derive.nix
View file

@ -10,12 +10,11 @@ build-idris-package {
idrisDeps = [ contrib pruviloj ];
# https://github.com/david-christiansen/derive-all-the-instances/pull/9
src = fetchFromGitHub {
owner = "infinisil";
owner = "david-christiansen";
repo = "derive-all-the-instances";
rev = "61c3e12e26f599379299fcbb9c40a81bfc3e0604";
sha256 = "0g2lb8nrwqwf3gm5fir43cxz6db84n19xiwkv8cmmqc1fgy6v0qn";
rev = "0a9a5082d4ab6f879a2c141d1a7b645fa73fd950";
sha256 = "06za15m1kv9mijzll5712crry4iwx3b0fjv76gy9vv1p10gy2g4m";
};
meta = {