[CI] Update Nix tooblox #3561

Job	Run time
coq	42s
coq-elpi	2m 21s
mathcomp-bigenough	6m 3s
stdlib	3m 56s
mathcomp-finmap	3m 8s
hierarchy-builder	1m 19s
mathcomp	9m 47s
mathcomp-classical	7m 11s
mathcomp-analysis-single	19m 31s
mathcomp-reals	3m 21s
mathcomp-experimental-reals	1m 46s
mathcomp-reals-stdlib	1m 34s
mathcomp-analysis	13m 42s
mathcomp-analysis-stdlib	9m 49s
	1h 24m 10s

Provide feedback