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.3.0.orig.tar.bz2
sha1: 81a86e454cab90ae635a38f65c7d6c73043f2d7d
size: '622627'
- name: coq-iris_4.3.0-1.debian.tar.xz
sha1: 92c3bb05214e60ca8adc3faabdbdc49f96e49c11
size: '12660'
Checksums-Sha256:
- name: coq-iris_4.3.0.orig.tar.bz2
sha256: c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51
size: '622627'
- name: coq-iris_4.3.0-1.debian.tar.xz
sha256: 1d0186ed197afa183ca3d114d450f264f6a97e78b23af1a416d221f6b1a07b61
size: '12660'
Files:
- md5sum: cb36996e49a73066d7ba61f7ed270cbc
name: coq-iris_4.3.0.orig.tar.bz2
size: '622627'
- md5sum: f1b71fd7f22b00214749b08983c9531b
name: coq-iris_4.3.0-1.debian.tar.xz
size: '12660'
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.3.0-1
name: coq-iris
type: dpkg
version: 4.3.0-1