Add AssumeNG to repository (see #10238)