[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1015165: ITP: coq-record-update -- automatic record fields updaters for Coq



Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org

* Package name    : coq-record-update
  Version         : 0.3.1
  Upstream Author : Tej Chajed
* URL             : https://github.com/tchajed/coq-record-update
* License         : Expat
  Programming Lang: Coq
  Description     : automatic record fields updaters for Coq
 This package provides an automatic and generic way
 to update record fields in Coq.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
other Coq-related packages.

Cheers,

J.Puydt


Reply to: