nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-09 05:33:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
c39e3d9b74
nixpkgs/pkgs/applications/science/logic/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
..
default.nix treewide: deprecate isNull 2023-03-06 22:40:04 +01:00