Merge pull request #56938 from buffet/update-filet

filet: 0.1.0 -> 0.1.1
This commit is contained in:
Ryan Mulligan 2019-03-06 18:56:53 -08:00 committed by GitHub
commit de22967b5e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "filet"; pname = "filet";
version = "0.1.0"; version = "0.1.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "buffet"; owner = "buffet";
repo = "filet"; repo = "filet";
rev = version; rev = version;
sha256 = "0f73c4ipc13c7f4xzi3z103kvxpsw9chdfbvk0ahc60clkxy21k3"; sha256 = "0mpq0jlm7z853ybmijm2s7vb97afhjj80kgsc65ajb5lg95k6mnm";
}; };
makeFlags = [ "PREFIX=$(out)" ]; makeFlags = [ "PREFIX=$(out)" ];