https://gitlab.com/tezos/tezos
Raw File
Tip revision: 850c24fe410745d7a733dcdb000305edf45d3862 authored by Arvid Jakobsson on 28 March 2024, 10:44:27 UTC
CI: generate [debian_repository.yml]
Tip revision: 850c24f
README.md
make sure to remove and unpin polynomial, polynomial-sig and plonk, then opam should install all the necessary dependencies.
```
opam install .
```

Otherwise you can manually pin:
```
opam pin add polynomial-sig.dev git+https://gitlab.com/dannywillems/ocaml-polynomial.git#61639af77c2737c117c837bd77d3a54f20627bd6
opam pin add polynomial.dev git+https://gitlab.com/dannywillems/ocaml-polynomial.git#61639af77c2737c117c837bd77d3a54f20627bd6
```
back to top