Package Details: minizinc-ide 2.10.0-1

Git Clone URL: https://aur.archlinux.org/minizinc-ide.git (read-only, click to copy)
Package Base: minizinc-ide
Description: Integrated development environment for the high-level constraint modelling language MiniZinc
Upstream URL: https://github.com/MiniZinc/MiniZincIDE
Keywords: IDE minizinc
Licenses: MPL-2.0
Submitter: mitsakosgr
Maintainer: FabioLolix
Last Packager: FabioLolix
Votes: 11
Popularity: 0.000000
First Submitted: 2015-11-03 12:59 (UTC)
Last Updated: 2026-08-18 07:29 (UTC)

Latest Comments

1 2 3 Next › Last »

FabioLolix commented on 2026-08-20 08:53 (UTC)

@darkfish builded fine 4 days ago and rebuilded fine now

https://github.com/FabioLolix/buildlogs/commit/80e75f07777ff586709d034ccc76a2b69dd0c380 https://github.com/FabioLolix/buildlogs/commit/c8abb4ef3b56cd5ac07a5f683aa5d234eb430f36

darkfish commented on 2026-08-20 00:48 (UTC)

Hey @FabioLolix, latest PKGBUILD for 2.10.0-1 fails to build in chroot.

95A31 commented on 2020-01-14 21:02 (UTC)

Updated, thank you.

Sera commented on 2020-01-14 13:23 (UTC)

Newest version 2.4.2 has been published https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz

95A31 commented on 2019-08-05 15:39 (UTC) (edited on 2019-08-05 15:39 (UTC) by 95A31)

Fixed, thank you.

BoraxKasein commented on 2019-08-03 10:02 (UTC)

Hi,

i think the URL has changed from: https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.1/MiniZincIDE-2.3.1-bundle-linux.tgz

to: https://github.com/MiniZinc/MiniZincIDE/releases/download/2.3.1/MiniZincIDE-2.3.1-bundle-linux-x86_64.tgz

95A31 commented on 2019-07-06 12:24 (UTC) (edited on 2019-07-07 21:09 (UTC) by 95A31)

Hello,

I improved your PKGBUILD, check it out:

95A31 commented on 2019-03-21 17:03 (UTC)

Hello, fzn-gecode-gist crash due some problem with

/usr/share/minizinc-ide/plugins/platforms/../../lib/libQt5XcbQpa.so.5

I workaround it by using system library, but it isn't a final solution.

mitsakosgr commented on 2018-09-14 05:51 (UTC) (edited on 2018-09-14 05:52 (UTC) by mitsakosgr)

I also added the strip option to the PKGBUILD. You don't have to change the shell script, just remove it from the PKGBUILD, it is included in the downloaded file.

I left both commands in the PKGBUILD (lines 55, 56). If you can run it through the shell script then just uncomment line 55 and comment 56.

95A31 commented on 2018-09-13 23:11 (UTC) (edited on 2018-09-13 23:16 (UTC) by 95A31)

I make it work changing the PKGBUILD in this way: https://pastebin.com/0ketY1dB

1 2 3 Next › Last »