LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

platform

Multi platform setup for Coq, Coq libraries and tools

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

47mo ago

Recent commits

Latest commits.

Merge pull request #266 from ejgallego/opam_pin_for_override
00e757aMSoegtropIMC48mo ago
[override] Use opam pin for package override
26221e6Emilio Jesus Gallego Arias49mo ago
Merge pull request #263 from MSoegtropIMC/prepare-2022.04.1-1
f1db0aeMSoegtropIMC49mo ago
Opam: removed dev packages available upstream
f58aa77Michael Soegtrop49mo ago
Opam: removed packages available upstream
7b0b29eMichael Soegtrop49mo ago

Opam: added packages for Coq 8.15.2 to local patch repo (not yet available in MinGW opam repo)

590eb73Michael Soegtrop49mo ago

- Bumped release version to 2022.04.1

803a038Michael Soegtrop49mo ago

Pick 8.15~2022.04: updated Coq version to 8.15.2

738449fMichael Soegtrop49mo ago

Top contributors

Builders behind this project.