archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-08 01:24:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/build-support/coq
History
Exact
Aliaksandr b4e15ead13
mkCoqDerivation: warn on superfluous enableParallelBuilding
2026-01-31 22:36:34 +02:00
..
meta-fetch coqPackages.mkCoqDerivation: add support for release.<version>.hash (#443726) 2025-11-25 14:41:04 +00:00
default.nix mkCoqDerivation: warn on superfluous enableParallelBuilding 2026-01-31 22:36:34 +02:00
extra-lib.nix