Skip to content
This repository was archived by the owner on Mar 16, 2024. It is now read-only.
This repository was archived by the owner on Mar 16, 2024. It is now read-only.

Install dependencies with opam install . --deps-only #17

Open
Open
Install dependencies with opam install . --deps-only#17
@langston-barrett

Description

@langston-barrett
langston-barrett
opened on Mar 14, 2024

If all the OPAM dependencies are listed in LoopInvGen.opam, you can install them with opam install . --deps-only, without having to specify all their versions on the command line.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions