Back to Governance

Packaging and Distribution

The Packaging and Distribution team is responsible for the packaging and distribution of the Rocq Prover.

Teams

Rocq Platform

The Rocq Platform is the official distribution of the Rocq Prover and curated packages.

GitHub
Enrico Tassi
Maintainer

gares
Maintainer

MSoegtropIMC
Romain Tetley
Maintainer

rtetley

opam

The opam team maintains the Rocq opam packages and repository for user-contributed packages.

GitHub
Enrico Tassi
Team leader

gares
Karl Palmskog
Team leader

palmskog
Cyril Cohen
Maintainer

CohenCyril
Guillaume Claret
Maintainer

clarus
Ralf Jung
Maintainer

RalfJung
Jason Gross
Maintainer

JasonGross
Guillaume Melquiond
Maintainer

silene
Laurent Théry
Maintainer

thery
Maintainer

MSoegtropIMC
Frédéric Blanqui
Maintainer

fblanqui
Pierre Roux
Maintainer

proux01

Docker

The Docker team maintains the Rocq Docker images.

Erik Martin-Dorel
Team leader

erikmd