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.9.0.orig.tar.gz
sha1: bc09666f5e98ca9007aed6e0ef1de5d7145c107d
size: '34147'
- name: coq-simple-io_1.9.0-2.debian.tar.xz
sha1: 701b6e5beda273855f4d20718f341e45fff71485
size: '2644'
Checksums-Sha256:
- name: coq-simple-io_1.9.0.orig.tar.gz
sha256: 6eff165a47b1fb0e1206ef44599b000130109ab17623d69edef549b0fa6940f2
size: '34147'
- name: coq-simple-io_1.9.0-2.debian.tar.xz
sha256: fe2680394789c1969050cf0e1830a95a06d19e71f753763bf358b38ce98397dc
size: '2644'
Dgit: 1fccbd6223c801134ec01a7a8f5bbb99ec18d3a7 debian archive/debian/1.9.0-2 https://git.dgit.debian.org/coq-simple-io
Files:
- md5sum: e1bdd50e4d848eaccf2ed0f2bb146e23
name: coq-simple-io_1.9.0.orig.tar.gz
size: '34147'
- md5sum: e7ec3126f2718f774f8866b55cb60cbf
name: coq-simple-io_1.9.0-2.debian.tar.xz
size: '2644'
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.9.0-2
name: coq-simple-io
type: dpkg
version: 1.9.0-2