dsc_fields:
Architecture: any
Binary: libcoq-simple-io
Build-Depends: coq, cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ext-lib,
libcoq-core-ocaml-dev, libcoq-stdlib, ocamlbuild <!nocheck>, ocaml-dune
Checksums-Sha1:
- name: coq-simple-io_1.10.0.orig.tar.gz
sha1: ea1cc64e777ea4aa23d4f58be9a9ee731c70d8f1
size: '34396'
- name: coq-simple-io_1.10.0-1.debian.tar.xz
sha1: d98741069e506e56bddfb6c730c1b90d7c94df87
size: '2660'
Checksums-Sha256:
- name: coq-simple-io_1.10.0.orig.tar.gz
sha256: f44bd147e3a4e724ee77e47fc7bd7da0cc6b8a4cdf63633cc1c35ce21b91e3aa
size: '34396'
- name: coq-simple-io_1.10.0-1.debian.tar.xz
sha256: 87712add477c6b2b1e946eca27b95dfecbf8a95934ceb8061796bb51c4563a91
size: '2660'
Files:
- md5sum: 9acde8dbaf64bfd7ff9d2b0333747b79
name: coq-simple-io_1.10.0.orig.tar.gz
size: '34396'
- md5sum: 79c4b4f647f1293781cb3ff5c4600fdb
name: coq-simple-io_1.10.0-1.debian.tar.xz
size: '2660'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/coq-simple-io
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-simple-io deb ocaml optional arch=any
Source: coq-simple-io
Standards-Version: 4.6.2
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-simple-io
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-simple-io.git
Version: 1.10.0-1
name: coq-simple-io
type: dpkg
version: 1.10.0-1