/gnu/store/dbskc2hw3s8fi03q8g6xq3v8klw43arm-ada-ed-1.11.2-checkout.drv