/gnu/store/yhbkvz06vs0vhg0xccdzn4slmkgilwp5-dsfmt-2.2.3.drv