#1096067 ITP: metacoq -- Coq formalization in Coq

Package:
wnpp
Source:
wnpp
Submitter:
Julien Puydt
Date:
2025-11-29 16:56:49 UTC
Severity:
normal
#1096067#5
Date:
2025-02-15 16:24:03 UTC
From:
To:
* Package name    : metacoq
  Version         : 1.3.4-8.20
  Upstream Author : (fourteen people)
* URL             : https://github.com/MetaCoq/metacoq
* License         : Expat
  Programming Lang: Coq
  Description     : Coq formalization in Coq
 This package provides a formalization of Coq in Coq itself, to
 allow developping certified tools and plugins in Coq.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain this package within the Debian OCaml Maintainers
team, along with the rest of the Coq-related packages.

Cheers,

J.Puydt