add `update-implies` to package "info.rkt"s
add `update-implies` to package "info.rkt"s

original commit: eb9cbe20bf7b4ebc1eee63e2ca079ae566ff8c05

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket