Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
conda-forge.org : ocaml-findlib
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Registry
-
Source
- Homepage
- JSON
purl: pkg:conda/ocaml-findlib
Keywords: git, ocaml, opam, package-manager
License: MIT
Latest release: almost 5 years ago
First release: about 5 years ago
Dependent packages: 1
Stars: 1,071 on GitHub
Forks: 330 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 21 hours ago
coq 8.12.2
Coq is a formal proof management system. It provides a formal language to write mathematical defi...8 versions - Latest release: over 3 years ago - 1 dependent package - 4,121 stars on GitHub