Package Details: minizinc-bin 1.6-1

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

Dependencies (0)

Required by (0)

Sources (0)

Latest Comments

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 https://aur.archlinux.org/packages/libminizinc/

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:

5c5
< pkgver=1.4.3
---
> pkgver=1.6
9c9
< url="http://www.g12.cs.mu.oz.au/minizinc/"
---
> url="http://www.minizinc.org/downloads/"
15c15
< md5sums=('76916d5f80795a0e02d0f9d709981469')
---
> md5sums=('56a77b9e72621df13290d4f0e1fa35e0')
18c18
< md5sums=('d9c14bd122ce869362f2cbd0f2f50a91')
---
> md5sums=('284bd4152c75e7068645904a3ec91980')
20c20
< source=(http://www.g12.cs.mu.oz.au/minizinc/downloads/release-${pkgver}/${_appname}-${pkgver}-${_targetspec}.tar.gz)
---
> source=(http://www.minizinc.org/downloads/release-${pkgver}/${_appname}-${pkgver}-${_targetspec}.tar.gz)
22c22
< build() {
---
> package() {

shtrom commented on 2010-12-16 00:33

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