dsc_fields:
Architecture: any
Binary: minizinc-ide
Build-Depends: debhelper (>= 11), qt5-qmake, qtwebengine5-dev, libqt5websockets5-dev
Checksums-Sha1:
- name: minizinc-ide_2.8.5.orig.tar.gz
sha1: 0f35278bf7f811f89dea8d1b20da8bec60e2afe7
size: '835165'
- name: minizinc-ide_2.8.5-1.debian.tar.xz
sha1: 2843182f3dc6a479fd3502022d7a8beeed6cc753
size: '9128'
Checksums-Sha256:
- name: minizinc-ide_2.8.5.orig.tar.gz
sha256: 7e8c1f28da2ac016506544a71130536214be410f45f26680131d336a1a59659a
size: '835165'
- name: minizinc-ide_2.8.5-1.debian.tar.xz
sha256: 246ea9b8a344533f408c763b7839d2312763d7644bd8f72bbcc45c34e5fb53b7
size: '9128'
Files:
- md5sum: 951408b6404d41b05301b5cdf7bcd9ac
name: minizinc-ide_2.8.5.orig.tar.gz
size: '835165'
- md5sum: db721841b94b7ca6c396e602ae6fb560
name: minizinc-ide_2.8.5-1.debian.tar.xz
size: '9128'
Format: 3.0 (quilt)
Homepage: http://www.minizinc.org/ide/
Maintainer: Kari Pahula <kaol@debian.org>
Package-List: |2-
minizinc-ide deb devel optional arch=any
Source: minizinc-ide
Standards-Version: 4.7.0
Version: 2.8.5-1
name: minizinc-ide
type: dpkg
version: 2.8.5-1