diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-07-28 06:45:31 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-07-28 06:45:31 +0000 |
| commit | 0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1 (patch) | |
| tree | d14cc340f26fcda956aaa484d169b87e3de31ac4 /pkgs | |
| parent | 01c8e4fe81120a121432b24dc5bf46b814b7da64 (diff) | |
| download | nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.tar nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.tar.gz nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.tar.bz2 nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.tar.lz nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.tar.xz nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.tar.zst nixlib-0f94ac9296a687f6c8cc2cacc14a99f2db8ae9c1.zip | |
coqPackages.autosubst: fix hash
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/development/coq-modules/autosubst/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/coq-modules/autosubst/default.nix b/pkgs/development/coq-modules/autosubst/default.nix index d27ba0052994..a27a247c9d0b 100644 --- a/pkgs/development/coq-modules/autosubst/default.nix +++ b/pkgs/development/coq-modules/autosubst/default.nix @@ -8,7 +8,7 @@ stdenv.mkDerivation rec { src = fetchgit { url = git://github.com/uds-psl/autosubst.git; rev = "1c3bb3bbf5477e3b33533a0fc090399f45fe3034"; - sha256 = "1wqfzc9az85fvx71xxfii502jgc3mp0r3xwfb8vnb03vkk625ln0"; + sha256 = "06pcjbngzwqyncvfwzz88j33wvdj9kizxyg5adp7y6186h8an341"; }; propagatedBuildInputs = [ mathcomp ]; |