I see, Thanks.

BTW, the link comes from the organization that runs the "Common Criteria" certification program:
https://www.commoncriteriaportal.org/products/

There is a button in the menu "download CSV" redirect to the link I posted.

Not sure about the CC EAL 7 certification of NGRAVE.
I was not able to find the certification here: https://www.commoncriteriaportal.org/products/certified_products.csv