Skip to content

custom dune branches #22

@lkeegan

Description

@lkeegan

Currently using a few custom dune and dune-copasi branches - below are the merge requests which would allow us to go back to using the main branches once merged:

Once the above are merged then

Then we can revert to using the dune-copasi master branch here.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions