Hi,
it seems like there are obsolete links at https://github.com/tendermint/tendermint/tree/master/abci#specification

They lead to the old repo.