nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 08:23:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0

Browse Source 
https://github.com/ryanorendorff/functional-linear-algebra/releases/tag/v0.5.0
This commit is contained in:
Naïm Favier 2023-12-23 21:52:05 +01:00
parent 38baa1f3af
commit 4c395aa8e3
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/libraries/agda/functional-linear-algebra/default.nix
View File

@ -1,7 +1,7 @@
{ fetchFromGitHub, lib, mkDerivation, standard-library }:
mkDerivation rec {
version = "0.4.1";
version = "0.5.0";
pname = "functional-linear-algebra";
buildInputs = [ standard-library ];
@ -10,7 +10,7 @@ mkDerivation rec {
repo = "functional-linear-algebra";
owner = "ryanorendorff";
rev = "v${version}";
sha256 = "GrTeMEHEXb0t2RgHWiGfvvofNYl8YYaaoCE18JrG6Q4=";
sha256 = "sha256-3nme/eH4pY6bD0DkhL4Dj/Vp/WnZqkQtZTNk+n1oAyY=";
};
preConfigure = ''