Hello,

It has been suggested to clone the library from the git repository and checkout the `devel` branch.

For e.g., 

I have cloned the repository by doing:

$ git clone git://git.bugseng.com/ppl/ppl.git

$ cd ppl

ppl$ git branch -r 

:~/ppl$ git branch -r
  origin/COW
  origin/HEAD -> origin/master
  origin/MPI
  origin/alt_lgo
  origin/alt_nnc
  origin/altnum
  origin/bounded_arithmetic
  origin/compliance
  origin/deprecated_0_11_removal
  origin/floating_point
  origin/formatted_output
  origin/generalized_streams
  origin/grids
  origin/interfaces
  origin/lazy
  origin/master
  origin/octagons
  origin/pip
  origin/polynomials
  origin/polyops
  origin/positive
  origin/ppl-0_10-branch
  origin/ppl-0_11-branch
  origin/ppl-0_12-branch
  origin/ppl-0_3-branch
  origin/ppl-0_4-branch
  origin/ppl-0_5-branch
  origin/ppl-0_6-branch
  origin/ppl-0_7-branch
  origin/ppl-0_8-branch
  origin/ppl-0_9-branch
  origin/ppl-1_0-branch
  origin/ppl-1_1-branch
  origin/ppl-1_2-branch
  origin/products
  origin/serial
  origin/simplex
  origin/space_dim
  origin/sparse_matrices
  origin/strict
  origin/termination

That is, there does not seem to be a 'devel' branch anywhere.

As suggested in the 3rd link above the error is produced: https://www.cs.unipr.it/pipermail/ppl-devel/2021-October/019295.html

:~/ppl$ git checkout devel
error: pathspec 'devel' did not match any file(s) known to git

I have also gone through README.configure, but that also does not specify the command that will checkout the devel branch.

Thanks.

Tryer