)]}'
{
  "id": "2bec99b85822e6d008e9c805fee2d5774909c4a0",
  "repo": "libhwbase",
  "revision": "69e90862cec692a886a1c6de751d380f7386bd44",
  "path": "common/hw-time-timer.ads"
}