-
coq-tezos-of-ocaml!960
- Merged
- 4
- Approved
updated -
coq-tezos-of-ocaml!959
- Merged
- Approved
updated -
coq-tezos-of-ocaml!958
- Merged
- 73
- Approved
updated -
coq-tezos-of-ocaml!957
- Merged
- 11
- Approved
updated -
coq-tezos-of-ocaml!956
- Merged
- 1
updated -
coq-tezos-of-ocaml!955
- Merged
- 3
- Approved
updated -
coq-tezos-of-ocaml!954updated
-
coq-tezos-of-ocaml!953 Internal errors (part 2)
- Merged
- 25
- Approved
updated -
coq-tezos-of-ocaml!952updated
-
coq-tezos-of-ocaml!951
- Merged
- 15
updated -
coq-tezos-of-ocaml!950updated
-
coq-tezos-of-ocaml!949
- Merged
- 11
- Approved
updated -
coq-tezos-of-ocaml!948 Update translation November 2022
- Merged
- 53
updated -
coq-tezos-of-ocaml!947
- Merged
- 9
- Approved
updated -
coq-tezos-of-ocaml!946
- Merged
- 5
updated -
coq-tezos-of-ocaml!945
- Merged
- 14
- Approved
updated -
coq-tezos-of-ocaml!944
- Merged
- 4
- Approved
updated -
coq-tezos-of-ocaml!943 Internal errors (part 2)
- Merged
- 4
- 1
- Approved
updated -
coq-tezos-of-ocaml!942 Update translation November 2022
- Merged
- Approved
updated -
coq-tezos-of-ocaml!941
- Merged
- Approved
updated