CTAN update: computational-complexity class