[crux-commits] ports/opt (master): dejagnu: moved to attic