dsc_fields:
Architecture: any
Binary: maude
Build-Depends: debhelper-compat (= 13), libtecla-dev, libbdd-dev, libgmp3-dev, libsigsegv-dev,
bison, flex, libncurses5-dev, libcvc4-dev
Checksums-Sha1:
- name: maude_3.2.orig.tar.gz
sha1: 9fa7367a1126bcc63762c5755870be35c48ff841
size: '2405779'
- name: maude_3.2-2.debian.tar.xz
sha1: a7fb3910718419100954fa92af38d3fb864f8eab
size: '7276'
Checksums-Sha256:
- name: maude_3.2.orig.tar.gz
sha256: 62e9df1754343a1eadb32834412dbc6d8ba460179280e46818fde2fdeaf1606a
size: '2405779'
- name: maude_3.2-2.debian.tar.xz
sha256: 123a3a1a42755de3fcb66781cfb24f8a38bdf668effd4fd84ac3279652020797
size: '7276'
Files:
- md5sum: ae61270e9e08a0248d3e01827179f288
name: maude_3.2.orig.tar.gz
size: '2405779'
- md5sum: 2eeddd9d7bd20cb0ac35a8b2ac33aeb3
name: maude_3.2-2.debian.tar.xz
size: '7276'
Format: 3.0 (quilt)
Homepage: http://maude.cs.uiuc.edu
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Package-List: |2-
maude deb science optional arch=any
Source: maude
Standards-Version: 4.6.0
Uploaders: Scott Christley <schristley@mac.com>, Andreas Tille <tille@debian.org>
Vcs-Browser: https://salsa.debian.org/med-team/maude
Vcs-Git: https://salsa.debian.org/med-team/maude.git
Version: 3.2-2
name: maude
type: dpkg
version: 3.2-2