Artifact libcoq-stdpp_1.11.0-1+b2_amd64

Metadata
deb_control_files:
- control
- md5sums
deb_fields:
  Architecture: amd64
  Depends: libcoq-stdlib-p29e7
  Description: |-
    Extended standard library for Coq
     This package provides an extended standard library
     for Coq, for instance:
      - a great number of definitions and lemmas for common data
     structures like lists, finite maps and finite multisets ;
      - type classes for common properties like decidable equality,
     finiteness or countability ;
      - various tactics for common tasks ;
     all of this dependency-free and axiom-free.
     .
     Coq is a proof assistant for higher-order logic.
  Homepage: https://gitlab.mpi-sws.org/iris/stdpp
  Installed-Size: '17028'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libcoq-stdpp
  Priority: optional
  Provides: libcoq-stdpp-ao7m5
  Section: ocaml
  Source: coq-stdpp (1.11.0-1)
  Version: 1.11.0-1+b2
srcpkg_name: coq-stdpp
srcpkg_version: 1.11.0-1

File

2024-11-23T18:58:31.816437 UTC: TooBigFileWidget failed to render

Relations

Relation Direction Type Name
built-using Source package coq-stdpp_1.11.0-1

binary package System mirror sid from https://deb.debian.org/debian - 2 days, 21 hours ago 0 minutes
BETA