domdere/logic-idris not found