diff options
| author | Ingo Blechschmidt <iblech@web.de> | 2021-01-27 13:44:40 +0100 |
|---|---|---|
| committer | Ingo Blechschmidt <iblech@web.de> | 2021-01-27 14:07:49 +0100 |
| commit | ec52278ea11bc393df2ac2d92c211048cb02dc20 (patch) | |
| tree | ecacf765346e816e22b23bd98d357d9b5674420f /pkgs/development/libraries/agda | |
| parent | 5465e6e8ef58d38e07b98b5619342ccebe9d991d (diff) | |
| download | nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.tar nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.tar.gz nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.tar.bz2 nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.tar.lz nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.tar.xz nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.tar.zst nixpkgs-ec52278ea11bc393df2ac2d92c211048cb02dc20.zip | |
agdaPackages.functional-linear-algebra: 0.1 -> 0.2
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/functional-linear-algebra/default.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix index ce4deb5b519..15603f293b4 100644 --- a/pkgs/development/libraries/agda/functional-linear-algebra/default.nix +++ b/pkgs/development/libraries/agda/functional-linear-algebra/default.nix @@ -1,7 +1,7 @@ { fetchFromGitHub, lib, mkDerivation, standard-library }: mkDerivation rec { - version = "0.1"; + version = "0.2"; pname = "functional-linear-algebra"; buildInputs = [ standard-library ]; @@ -10,9 +10,13 @@ mkDerivation rec { repo = "functional-linear-algebra"; owner = "ryanorendorff"; rev = "v${version}"; - sha256 = "09ri3jmgp9jjwi1mzv4c3w6rvcmyx6spa2qxpwlcn0f4bmfva6wm"; + sha256 = "1dz7kh92df23scl1pkhn70n1f2v3d0x84liphn9kpsd6wlsxccxc"; }; + preConfigure = '' + sh generate-everything.sh + ''; + meta = with lib; { homepage = "https://github.com/ryanorendorff/functional-linear-algebra"; description = '' |