ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-11-17 06:06:13 +03:00
Code Issues Projects Releases Wiki Activity
0c130bfad2
nixpkgs/pkgs/build-support/coq
History
Felix Buehler d10e69c86b treewide: deprecate isNull 
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull
2023-03-06 22:40:04 +01:00
..
meta-fetch treewide: deprecate isNull 2023-03-06 22:40:04 +01:00
default.nix treewide: deprecate isNull 2023-03-06 22:40:04 +01:00
extra-lib.nix coqPackages.lib.overrideCoqDerivation: update documentation for overriding version 2022-09-11 07:41:17 +09:00