)]}'
{
  "id": "96b1daf5fa939cb84794e656e971e235a87b0ce6",
  "repo": "mirror",
  "revision": "87239e058a81ff9b9e512e3aacccf2d3bd1a6850",
  "path": "Eigen/src/Householder/Householder.h"
}