Package: wnpp Severity: wishlist Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: [email protected], [email protected], [email protected]
* Package name : rocq-micromega-plugin Version : 1.1.0-1 Upstream Contact: Pierre Roux <[email protected]> * URL : https://github.com/rocq-community/micromega-plugin/ * License : LGPL-2.1 Programming Lang: OCaml Description : Semi-decision procedures for arithmetic in Rocq This package provides a plugin to Rocq providing (semi-)decision procedures for arithmetic ; end-users can use it through various tactics like 'lra'. This package is a new dependency of mathcomp/ssreflect, already packaged in Debian. I plan to maintain it within the Debian-Ocaml-Maintainers team along with the rest of the Coq/Rocq packages. Cheers, J.Puydt
