Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit 433c8864ea - Show all commits

View File

@@ -57,6 +57,9 @@ let
in
_divList N;
# A list of all divisors of n, sorted in increased order:
divisors = n: filter (x: (mod n x == 0)) (range 1 n);
# Generates a set given a list of keys, where all values are null.
genNullAttr = l: genAttrs l (name: null);