all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-stdpp (1.8.0-3)

Links for coq-stdpp

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-stdpp
Extended standard library for Coq

Other Packages Related to coq-stdpp

  • build-depends
  • build-depends-indep

Download coq-stdpp

FileSize (in kB)MD5 checksum
coq-stdpp_1.8.0-3.dsc 2.0 kB c678b083fd3b05eb24bb504d00476471
coq-stdpp_1.8.0.orig.tar.gz 248.5 kB b6202104a62a6f71a9416ba6ca1a380b
coq-stdpp_1.8.0-3.debian.tar.xz 2.3 kB c3e1db2023c0a8d7904caf7065308ad6
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-stdpp.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-stdpp