dsc_fields:
Architecture: any
Binary: libcoq-coquelicot
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect,
libcoq-core-ocaml-dev
Checksums-Sha1:
- name: coquelicot_3.4.2.orig.tar.bz2
sha1: ef82016f68887b92f3945f5b747a895dfcc5bfb9
size: '230261'
- name: coquelicot_3.4.2-1.debian.tar.xz
sha1: 95734110d3abd725bcf85c6871d811432cb58c72
size: '2264'
Checksums-Sha256:
- name: coquelicot_3.4.2.orig.tar.bz2
sha256: cbddee1bf51d0f28647b8c95083d890a4c7c69e4f6e2ea05647ec5d188638dc7
size: '230261'
- name: coquelicot_3.4.2-1.debian.tar.xz
sha256: 9a92b3d7da6ceb7050a79ead9e6d03c42ca0f1d189359b30986f8a3254d4bf54
size: '2264'
Files:
- md5sum: 4bde49882094dbc151a43919856baabe
name: coquelicot_3.4.2.orig.tar.bz2
size: '230261'
- md5sum: 4084a07779dff9f58f357efe2c8890f6
name: coquelicot_3.4.2-1.debian.tar.xz
size: '2264'
Format: 3.0 (quilt)
Homepage: https://coquelicot.saclay.inria.fr/
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-coquelicot deb ocaml optional arch=any
Source: coquelicot
Standards-Version: 4.7.0
Testsuite: autopkgtest
Testsuite-Triggers: coq
Uploaders: Julien Puydt <jpuydt@debian.org>
Vcs-Browser: https://salsa.debian.org/ocaml-team/coquelicot
Vcs-Git: https://salsa.debian.org/ocaml-team/coquelicot.git
Version: 3.4.2-1
name: coquelicot
type: dpkg
version: 3.4.2-1