Update packages/conf-calcium/conf-calcium.1/opam
Marcello Seri 2 years ago 61308cac 824f57c2
··· 19 ] {os = "macos"} 20 ] 21 depends: [ 0 22 "conf-flint" 23 ] 24 depexts: [
··· 19 ] {os = "macos"} 20 ] 21 depends: [ 22 + "conf-arb" 23 "conf-flint" 24 ] 25 depexts: [