Package Details: minizinc-bin 1.6-1

Git Clone URL: (read-only)
Package Base: minizinc-bin
Description: MiniZinc is a modelling language for constraint programming problems (upstream binaries)
Upstream URL:
Submitter: shtrom
Maintainer: None
Last Packager: shtrom
Votes: 3
Popularity: 0.000004
First Submitted: 2010-12-14 23:36
Last Updated: 2015-06-08 13:38

Dependencies (0)

Required by (0)

Sources (0)

Latest Comments

quomoow commented on 2016-10-30 23:29


not my lvl in packaging

kd35a commented on 2015-02-12 20:29

I looked a bit into this, especially the release of version 2. I switched to make a non-binary distribution (because the binary one is just for x86_64, i686 is no longer provided).

For anyone interested you can look at

It provides the binaries mzn2doc, mzn2fzn and solns2out, which are a lot fewer than what is provided by this binary package.

shtrom commented on 2013-11-11 22:47

Oh, thanks, applied.

I don't use MiniZinc anymore at the moment, so I don't keep a close eye on it. I might abandon that package to let a more involved maintainer look after it. Care to help?

olegus8 commented on 2013-11-11 22:15

Here's the patch for the latest upstream version:

< pkgver=1.4.3
> pkgver=1.6
< url=""
> url=""
< md5sums=('76916d5f80795a0e02d0f9d709981469')
> md5sums=('56a77b9e72621df13290d4f0e1fa35e0')
< md5sums=('d9c14bd122ce869362f2cbd0f2f50a91')
> md5sums=('284bd4152c75e7068645904a3ec91980')
< source=(${pkgver}/${_appname}-${pkgver}-${_targetspec}.tar.gz)
> source=(${pkgver}/${_appname}-${pkgver}-${_targetspec}.tar.gz)
< build() {
> package() {

shtrom commented on 2010-12-16 00:33

Though it may not be apparent, this package also supports x86 archs.