sw/vendor/secure-foundations_veri-titan.lock.hjson

// Copyright lowRISC contributors.
// Licensed under the Apache License, Version 2.0, see LICENSE for details.
// SPDX-License-Identifier: Apache-2.0

// This file is generated by the util/vendor script. Please do not modify it
// manually.

{
  upstream:
  {
    url: https://github.com/secure-foundations/veri-titan.git
    rev: 6e0137bbbebf851518bd7121d01c986c43ab552d
  }
}