nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-15 02:03:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
8c4cc99917
nixpkgs/pkgs/applications/science/logic/coq
History
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