dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions2 Packages Projects Releases Wiki Activity

idrisPackages.categories: 2017-03-01 -> 2018-07-02, fix build

Browse Source
This commit is contained in:
Silvan Mosberger 2018-07-02 05:53:34 +02:00
parent 74d2b01db5
commit c6c726bdfd
No known key found for this signature in database
GPG Key ID: 9424360B4B85C9E7
1 changed files with 5 additions and 4 deletions

9
pkgs/development/idris-modules/categories.nix
View File

@ -4,13 +4,14 @@
}: }:
build-idris-package { build-idris-package {
name = "categories"; name = "categories";
version = "2017-03-01"; version = "2018-07-02";
# https://github.com/danilkolikov/categories/pull/5
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "danilkolikov"; owner = "infinisil";
repo = "categories"; repo = "categories";
rev = "933fe418d154e10df39ddb09a74419cb4c4a57e8"; rev = "9722d62297e5025431e91b271ab09c5d14867236";
sha256 = "1dmpcv13zh7j4k6s2nlpf08gmpawaqaqkbqbg8zrgw253piwb0ci"; sha256 = "1bbmm8zif5d5wckdaddw6q3c39w6ms1cxrlrmkdn7bik88dawff2";
}; };
meta = { meta = {