Package: libcoq-stdlib
Source: rocq-stdlib
Version: 9.2.0-1build1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 70603
Depends: libcoq-core-jdov1
Recommends: coq
Provides: libcoq-stdlib-obgs7
Section: math
Priority: optional
Homepage: https://rocq-prover.org
Description: Standard library for the Rocq Theorem Prover
 Rocq is a proof asssistant for higher-order logic, which
 allows the development of computer programs consistent with
 their formal specification. It is developed using Objective
 Caml and Camlp5.
 .
 This package provides the Rocq Standard Library, about
 basic numbers, sets, lists, strings and other basic concepts.
