/gnu/store/svbrxcnh82s19riyf1fks6hgagp1lfx9-dejagnu-1.6.2.drv