packages feed

sbv-14.0: SBVTestSuite/GoldFiles/tpCache_hit.gold

Lemma: fact                             Q.E.D.
Cached: fact                            Q.E.D.