GitLab

Hi, I am installing Path-Crawler plugin in frama-c, I am referring the following user manual https://frama-c.com/download/frama-c-pathcrawler.pdf I this document there is no information about the tar file which i have to download. I have attached the document screenshot. Please let me know about where can I find the compressed file for path-crawler.