<div dir="ltr"><div>Hello,</div><div><br></div><div>It has been suggested to clone the library from the git repository and checkout the `devel` branch.</div><div><br></div><div>For e.g., </div><div><br></div><div><a href="https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html">https://www.cs.unipr.it/pipermail/ppl-devel/2021-February/019283.html</a></div><div><a href="https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html">https://www.cs.unipr.it/pipermail/ppl-devel/2022-March/019307.html</a><br></div><div><a href="https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html">https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html</a><br></div><div><br></div><div>I have cloned the repository by doing:</div><div><br></div><div>$ git clone git://<a href="http://git.bugseng.com/ppl/ppl.git">git.bugseng.com/ppl/ppl.git</a></div><div>$ cd ppl</div><div>ppl$ git branch -r </div><div>:~/ppl$ git branch -r<br>  origin/COW<br>  origin/HEAD -> origin/master<br>  origin/MPI<br>  origin/alt_lgo<br>  origin/alt_nnc<br>  origin/altnum<br>  origin/bounded_arithmetic<br>  origin/compliance<br>  origin/deprecated_0_11_removal<br>  origin/floating_point<br>  origin/formatted_output<br>  origin/generalized_streams<br>  origin/grids<br>  origin/interfaces<br>  origin/lazy<br>  origin/master<br>  origin/octagons<br>  origin/pip<br>  origin/polynomials<br>  origin/polyops<br>  origin/positive<br>  origin/ppl-0_10-branch<br>  origin/ppl-0_11-branch<br>  origin/ppl-0_12-branch<br>  origin/ppl-0_3-branch<br>  origin/ppl-0_4-branch<br>  origin/ppl-0_5-branch<br>  origin/ppl-0_6-branch<br>  origin/ppl-0_7-branch<br>  origin/ppl-0_8-branch<br>  origin/ppl-0_9-branch<br>  origin/ppl-1_0-branch<br>  origin/ppl-1_1-branch<br>  origin/ppl-1_2-branch<br>  origin/products<br>  origin/serial<br>  origin/simplex<br>  origin/space_dim<br>  origin/sparse_matrices<br>  origin/strict<br>  origin/termination<br></div><div><br></div><div>That is, there does not seem to be a 'devel' branch anywhere.</div><div><br></div><div>As suggested in the 3rd link above the error is produced: <a href="https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html">https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html</a></div><div><br></div><div>:~/ppl$ git checkout devel<br>error: pathspec 'devel' did not match any file(s) known to git<br></div><div><br></div><div>I have also gone through README.configure, but that also does not specify the command that will checkout the devel branch.<br></div><div><br></div><div>Thanks.</div><div>Tryer</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
</blockquote></div></div>