anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Update packages/catala/catala.0.10.0/opam

authored by

Louis Gesbert and committed by
GitHub d5809805 872fc154

+1
+1
packages/catala/catala.0.10.0/opam
··· 54 54 conflicts: [ 55 55 "z3" {< "4.8.11"} 56 56 "base" {>= "v0.16.0"} 57 + "ocaml-option-bytecode-only" 57 58 ] 58 59 build: [ 59 60 "dune"