crux-labs/incremental-datalog not found