dsc_fields:
Architecture: any
Binary: libcoq-iris
Build-Depends: biber, coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml,
latexmk, libcoq-core-ocaml-dev, libcoq-stdpp, lmodern, texlive-bibtex-extra, texlive-fonts-extra,
texlive-latex-extra, texlive-science
Checksums-Sha1:
- name: coq-iris_4.2.0.orig.tar.gz
sha1: 8208828253909b6cec3d4fd443c30d8b5884028b
size: '764668'
- name: coq-iris_4.2.0-3.debian.tar.xz
sha1: 7f6b63a1fe2059ddd5ec1c3b8f5ebb16fc766c84
size: '12648'
Checksums-Sha256:
- name: coq-iris_4.2.0.orig.tar.gz
sha256: 4533b390f7a4831bd5a4624befb231293b3964f178be500430ea302259622522
size: '764668'
- name: coq-iris_4.2.0-3.debian.tar.xz
sha256: 569342a393847194f2e1548b44fe5278fe3432474d13e2ab3c41111c0769d86a
size: '12648'
Dgit: 8b5223815d3fa7e558c8f29e42bd2c9ff18debc5 debian archive/debian/4.2.0-3 https://git.dgit.debian.org/coq-iris
Files:
- md5sum: bf33a4d0906f06037b20998f059d5cea
name: coq-iris_4.2.0.orig.tar.gz
size: '764668'
- md5sum: 3d715386544cef06ec7e9f3357d092e2
name: coq-iris_4.2.0-3.debian.tar.xz
size: '12648'
Format: 3.0 (quilt)
Homepage: https://gitlab.mpi-sws.org/iris/iris
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-iris deb ocaml optional arch=any
Source: coq-iris
Standards-Version: 4.7.0
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-iris
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-iris.git
Version: 4.2.0-3
name: coq-iris
type: dpkg
version: 4.2.0-3