prevexampleNoOracle.spec 142 Bytes