LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

esy-opam-override

overrides for packages converted from opam

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

34mo ago

Recent commits

Latest commits.

Overrides for hacl-star 0.7.1
70dac45Manas Jayanth35mo ago
Adds more overrides
bd97977Manas Jayanth35mo ago
Adds more overrides for Windows
c99751eManas Jayanth36mo ago
Fix coq-core.8.17.1 override
28960d2Manas Jayanth36mo ago
Fix: coq 8.17.1 overrides
dd59e50Manas Jayanth36mo ago

Adds overrides for coq 8.17.1

16e8cf1Manas Jayanth36mo ago

Adds override for class_group_vdf 0.0.4

26c0e85Manas Jayanth36mo ago

Adds override for conf-pkg-config.3

16f6e2cManas Jayanth36mo ago

Top contributors

Builders behind this project.