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