Skip to content

How often is the website updated? #5

@k4rtik

Description

@k4rtik

Since this website usually shows up on google when looking for Coq packages, I was wondering how often it syncs up with the coq opam repo? It will be nice to have it documented somewhere.

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