Package: coq-doc-pdf
Source: coq-doc
Version: 9.2.0-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 5559
Replaces: coq-doc (<= 8.0pl1.0-1)
Section: non-free/doc
Priority: optional
Homepage: http://coq.inria.fr/
Description: documentation for Coq in pdf format
 Coq is a proof assistant 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 contains its documentation and tutorials in pdf format.
