Ignore checksums from local math repository

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
Add conexp-ng dependency

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>