Sergei Trofimovich 739ab383a5 coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip update ... fetchzip changed unpacking of UTF-8 files on glibc systems: https://github.com/NixOS/nixpkgs/pull/176253 As a result unpacked contents changed it's filenames. Closes: https://github.com/NixOS/nixpkgs/issues/176225		2022-06-11 17:16:43 +01:00
..
default.nix	coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip update	2022-06-11 17:16:43 +01:00