LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Shell

opam-repository

Package descriptions for OPAM

ShellEmerging

Stars

1

Forks

—

Contributors

8

Last push

16d ago

Recent commits

Latest commits.

Fix gtksourceview2 dependency on gtk2
31e55afFrançois Bobot94mo ago
[Coq] use %{camlp5:lib}% instead of %{lib}%/camlp5
2ffc264François Bobot94mo ago
Add some nixpkgs depext
f9a48a3François Bobot94mo ago
Migrate conf-libcurl to version 1.2
c26f2c8François Bobot95mo ago
[zarith] fix if CC is an absolute path
736b08fFrançois Bobot95mo ago

[zarith] add gcc in depexts

718a350François Bobot95mo ago

Merge pull request #12535 from gares/elpi-1.0.5

38e1365Marcello Seri95mo ago

Merge pull request #12530 from Leonidas-from-XIV/slacko-0.14.1

120a82aMarcello Seri95mo ago

Top contributors

Builders behind this project.