{"type":"package","name":"FMFI-UK-1-AIN-412/elm-formula","summary":"Formula parser for first order logic.","license":"MIT","version":"1.0.0","exposed-modules":["Formula"],"elm-version":"0.18.0 <= v < 0.19.0","dependencies":{"elm-lang/core":"5.0.0 <= v < 6.0.0","elm-tools/parser":"2.0.1 <= v < 3.0.0"},"test-dependencies":{}}