Skip to content

update opam url in installation.org #122

Open
Open
update opam url in installation.org#122
@affeldt-aist

Description

@affeldt-aist
affeldt-aist
opened on Nov 13, 2025

math-comp.github.io/installation.org

Line 35 in 0c58891

opam repo add coq-released https://coq.inria.fr/opam/released

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