Closed p15-git-acc closed 3 years ago
The command make profile used to give an error, but now it works for me. I think this code fell through the cracks when arb split from flint.
make profile
The command
make profileused to give an error, but now it works for me. I think this code fell through the cracks when arb split from flint.