dsc_fields:
Architecture: any
Binary: libcoq-relation-algebra
Build-Depends: coq (>= 8.18), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-aac-tactics,
libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Checksums-Sha1:
- name: coq-relation-algebra_1.7.11.orig.tar.gz
sha1: 604c4995145c10e227d848ec6c0368f6b599ace9
size: '196680'
- name: coq-relation-algebra_1.7.11-1.debian.tar.xz
sha1: 6a32abe53b04f618f4bca85326a6eb7861256ce9
size: '2232'
Checksums-Sha256:
- name: coq-relation-algebra_1.7.11.orig.tar.gz
sha256: 6cb55e82941033a378f67fcec8bf16865463a3fde92b2b7c8871f23b0b4723d1
size: '196680'
- name: coq-relation-algebra_1.7.11-1.debian.tar.xz
sha256: c6aec2faf18ef624df3c3c0069800a8c7759b274a212128bf36231de124f531e
size: '2232'
Files:
- md5sum: 5475a391967d8777aaf0da8920cdac1d
name: coq-relation-algebra_1.7.11.orig.tar.gz
size: '196680'
- md5sum: 80e749da2ff5182296a73fbc7d603ca1
name: coq-relation-algebra_1.7.11-1.debian.tar.xz
size: '2232'
Format: 3.0 (quilt)
Homepage: https://github.com/damien-pous/relation-algebra
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-relation-algebra deb ocaml optional arch=any
Source: coq-relation-algebra
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-relation-algebra
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-relation-algebra.git
Version: 1.7.11-1
name: coq-relation-algebra
type: dpkg
version: 1.7.11-1