search

Kappa-Dev / KappaTools

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
http://kappalanguage.org/
GNU Lesser General Public License v3.0
110 stars 40 forks source link

Update kappa-library.opam #649

Closed jonathan-laurent closed 1 year ago

jonathan-laurent commented 1 year ago

KaSim now requires Yojson 2 and so the proper lower bound should be specified in the opam file.