all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-iris (4.3.0-1)

Links for coq-iris

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-iris
high-order concurrent separation logic framework for Coq

Other Packages Related to coq-iris

  • build-depends
  • build-depends-indep

Download coq-iris

FileSize (in kB)MD5 checksum
coq-iris_4.3.0-1.dsc 2.1 kB c80c6f2e17e0f9dc2dcbb5cfa8cc56e3
coq-iris_4.3.0.orig.tar.bz2 608.0 kB cb36996e49a73066d7ba61f7ed270cbc
coq-iris_4.3.0-1.debian.tar.xz 12.4 kB f1b71fd7f22b00214749b08983c9531b
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-iris.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-iris