Package coq-debr-lvl.1.0.2

[JordanIschard]

coq-debr-lvl.1.0.2

Collection of interfaces and implementations for a modular using of De Bruijn level
Formalization of a language often implies variables or equivalent. A specific representation of them is required in order
to avoid capture issues. Consequently, we define here a collection of interfaces and implementations for using De Bruijn level.
In addition to the definition of a level and its minimal set of functions/properties, we propose a modular way to define a
'leveled' elements and provide numerous predefined data types and data structures such as option, pair, list, map, etc.

---

• Homepage: https://github.com/JordanIschard/DeBrLevel
• Source repo: git+https://github.com/JordanIschard/DeBrLevel.git
• Bug tracker: https://github.com/JordanIschard/DeBrLevel/issues

---

🐫 Pull-request generated by opam-publish v2.5.0

[mseri]

This package looks uninstallable everywhere:

  * Missing dependency:
    - coq-debr-lvl -> coq-mmaps
    unknown package

[JordanIschard]

This package looks uninstallable everywhere:

  * Missing dependency:
    - coq-debr-lvl -> coq-mmaps
    unknown package

coq-mmaps comes from coq community. It works for me because I perform the following command.

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

Is it not possible to add a package with this constraint ?

[mseri]

But in this case, I think you are trying to publish on the wrong archive. It should go to Coq packages index at https://github.com/coq/opam-coq-archive (see https://coq.inria.fr/opam-packaging.html)