Catala version 1.0.0~beta#28723

AltGr merged 2 commits intoocaml:masterocaml/opam-repository:masterfrom

denismerigoux:catala-1.0.0denismerigoux/opam-repository:catala-1.0.0Copy head branch name to clipboard