dsc_fields:
Architecture: any
Binary: libcoq-aac-tactics
Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev,
libcoq-stdlib, ocaml
Checksums-Sha1:
- name: aac-tactics_8.20.0.orig.tar.gz
sha1: 35492da077bec505b8b5e6f611776de23130ef45
size: '77668'
- name: aac-tactics_8.20.0-1.debian.tar.xz
sha1: 6f62dd59c327430648765915d3c34ad60ada96da
size: '3808'
Checksums-Sha256:
- name: aac-tactics_8.20.0.orig.tar.gz
sha256: 91c14a2154e2205e934cf4636725b735474aeb824ae3ad5cfb3e19a0b2b0f67d
size: '77668'
- name: aac-tactics_8.20.0-1.debian.tar.xz
sha256: ffc435adb107302b9f3bac8483529e1cc25df78810f350ca5a6c6055882d7457
size: '3808'
Files:
- md5sum: ed2f78c3986c5c92964e218d5a02cded
name: aac-tactics_8.20.0.orig.tar.gz
size: '77668'
- md5sum: 4db83b0ad7b1caba00e8e836dc1e3604
name: aac-tactics_8.20.0-1.debian.tar.xz
size: '3808'
Format: 3.0 (quilt)
Homepage: https://github.com/coq-community/aac-tactics
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package-List: |2-
libcoq-aac-tactics deb math optional arch=any
Source: aac-tactics
Standards-Version: 4.7.0
Uploaders: "St\xE9phane Glondu <glondu@debian.org>, Julien Puydt <jpuydt@debian.org>"
Vcs-Browser: https://salsa.debian.org/ocaml-team/aac-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/aac-tactics.git
Version: 8.20.0-1
name: aac-tactics
type: dpkg
version: 8.20.0-1