notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
minizinc-ide IDE for MiniZinc, a constraint modeling language
2.8.3 math on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2.8.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2020-08-10 16:19:54
Last Update: 2024-02-02 14:58:57
Commit Hash: 9be11d8
Also Listed In: lang
License: MPL20
WWW:
https://www.minizinc.org/
Description:
Integrated Development Environment (IDE) for MiniZinc, a free and open-source constraint modeling language.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist
Expand this list (5 items)
Collapse this list.
  1. bin/MiniZincIDE
  2. share/pixmaps/minizinc_icon.png
  3. /usr/local/share/licenses/minizinc-ide-2.8.3/catalog.mk
  4. /usr/local/share/licenses/minizinc-ide-2.8.3/LICENSE
  5. /usr/local/share/licenses/minizinc-ide-2.8.3/MPL20
Collapse this list.
Dependency lines:
  • minizinc-ide>0:math/minizinc-ide
To install the port:
cd /usr/ports/math/minizinc-ide/ && make install clean
To add the package, run one of these commands:
  • pkg install math/minizinc-ide
  • pkg install minizinc-ide
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: minizinc-ide
Flavors: there is no flavor information for this port.
distinfo:
TIMESTAMP = 1706893222 SHA256 (MiniZinc-MiniZincIDE-2.8.3_GH0.tar.gz) = d7a2e89352e53933e875ef83f5791dceefee686cf9030efc66b5b405cc704d07 SIZE (MiniZinc-MiniZincIDE-2.8.3_GH0.tar.gz) = 841491

Expand this list (2 items)

Collapse this list.

SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128 SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217

Collapse this list.


Packages (timestamps in pop-ups are UTC):
minizinc-ide
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest2.8.32.8.3--2.8.3---
FreeBSD:13:quarterly2.8.32.8.3--2.8.3-2.8.2-
FreeBSD:14:latest2.8.32.8.3--2.8.3---
FreeBSD:14:quarterly2.8.22.8.3--2.8.3-2.8.2-
FreeBSD:15:latest2.8.32.8.3n/a-n/a-2.8.32.8.3
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. xorgproto>=0 : x11/xorgproto
  2. qt5-buildtools>=5.15 : devel/qt5-buildtools
  3. qt5-qmake>=5.15 : devel/qt5-qmake
Runtime dependencies:
  1. minizinc : math/minizinc
Library dependencies:
  1. libGL.so : graphics/libglvnd
  2. libQt5Core.so : devel/qt5-core
  3. libQt5Qml.so : x11-toolkits/qt5-declarative
  4. libQt5Gui.so : x11-toolkits/qt5-gui
  5. libQt5Network.so : net/qt5-network
  6. libQt5Sql.so : databases/qt5-sql
  7. libQt5Test.so : devel/qt5-testlib
  8. libQt5WebSockets.so : www/qt5-websockets
  9. libQt5Widgets.so : x11-toolkits/qt5-widgets
There are no ports dependent upon this port

Configuration Options:
No options to configure
Options name:
math_minizinc-ide
USES:
gl compiler:c++11-lang qmake qt:5
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/MiniZinc/MiniZincIDE/tar.gz/2.8.3?dummy=/
Collapse this list.

Number of commits found: 29

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2.8.3
02 Feb 2024 14:58:57
commit hash: 9be11d8c6779f6dd86ac465939f427b1145b7e55commit hash: 9be11d8c6779f6dd86ac465939f427b1145b7e55commit hash: 9be11d8c6779f6dd86ac465939f427b1145b7e55commit hash: 9be11d8c6779f6dd86ac465939f427b1145b7e55 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: update 2.8.2 → 2.8.3

Reported by:	portscout
2.8.2
22 Dec 2023 04:53:49
commit hash: 293b668713a5d21e4bba5f6c443b89ddbbae71d6commit hash: 293b668713a5d21e4bba5f6c443b89ddbbae71d6commit hash: 293b668713a5d21e4bba5f6c443b89ddbbae71d6commit hash: 293b668713a5d21e4bba5f6c443b89ddbbae71d6 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: update 2.8.0 → 2.8.2

Reported by:	portscout
2.8.0
16 Nov 2023 21:51:22
commit hash: 6a7f9d865b5560b0a7d520553f3d68edafb7b638commit hash: 6a7f9d865b5560b0a7d520553f3d68edafb7b638commit hash: 6a7f9d865b5560b0a7d520553f3d68edafb7b638commit hash: 6a7f9d865b5560b0a7d520553f3d68edafb7b638 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc{,-ide}: update 2.7.6 → 2.8.0

Reported by:	portscout
2.7.6
05 Nov 2023 18:23:35
commit hash: a200a0b6aed9810654e6f5390ecf9793b87d0573commit hash: a200a0b6aed9810654e6f5390ecf9793b87d0573commit hash: a200a0b6aed9810654e6f5390ecf9793b87d0573commit hash: a200a0b6aed9810654e6f5390ecf9793b87d0573 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: update 2.6.4 → 2.7.6

Reported by:	portscout
2.6.4_2
25 Apr 2023 15:17:15
commit hash: feb1fa34f58ea796656b86a81c2a2996b0b03c96commit hash: feb1fa34f58ea796656b86a81c2a2996b0b03c96commit hash: feb1fa34f58ea796656b86a81c2a2996b0b03c96commit hash: feb1fa34f58ea796656b86a81c2a2996b0b03c96 files touched by this commit
Christian Weisgerber (naddy) search for other commits by this committer
audio/opus: bump consumers after update to 1.4
2.6.4_1
23 Apr 2023 09:09:58
commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b files touched by this commit
Gerald Pfeifer (gerald) search for other commits by this committer
*: Bump PORTREVISIONs for math/mpc update to 1.3.1
2.6.4
11 Sep 2022 10:20:14
commit hash: ddae4e92d8313a1461145e3b4f0232fe463feaeecommit hash: ddae4e92d8313a1461145e3b4f0232fe463feaeecommit hash: ddae4e92d8313a1461145e3b4f0232fe463feaeecommit hash: ddae4e92d8313a1461145e3b4f0232fe463feaee files touched by this commit
Felix Palmen (zirias) search for other commits by this committer
Mk/Uses: always use colon for build/run suffix

Most USES use a colon for build/run(/test) suffixes. Change kde.mk,
qt.mk and pyqt.mk to do the same, and update all ports using that.

Document in CHANGES.

PR:			266034
Exp-run by:		antoine
Approved by:		tcberner (mentor)
Differential Revision:	https://reviews.freebsd.org/D36349
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
2.6.4
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
2.6.4
28 Jun 2022 00:21:22
commit hash: bf5a2f0de1f9f8d7c9a2781d137a86f328b71954commit hash: bf5a2f0de1f9f8d7c9a2781d137a86f328b71954commit hash: bf5a2f0de1f9f8d7c9a2781d137a86f328b71954commit hash: bf5a2f0de1f9f8d7c9a2781d137a86f328b71954 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Update 2.6.3 -> 2.6.4

Reported by:	portscout
2.6.3
07 May 2022 06:48:44
commit hash: 9a911cd5cd8edee088a40f4504bedbb78ac50befcommit hash: 9a911cd5cd8edee088a40f4504bedbb78ac50befcommit hash: 9a911cd5cd8edee088a40f4504bedbb78ac50befcommit hash: 9a911cd5cd8edee088a40f4504bedbb78ac50bef files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Update 2.6.2 -> 2.6.3
2.6.2
24 Mar 2022 16:35:04
commit hash: 5e30d9ab21b71872994c60f0c8533f0844e6e379commit hash: 5e30d9ab21b71872994c60f0c8533f0844e6e379commit hash: 5e30d9ab21b71872994c60f0c8533f0844e6e379commit hash: 5e30d9ab21b71872994c60f0c8533f0844e6e379 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Update 2.6.1 -> 2.6.2

Reported by:	portscout
2.6.1
13 Mar 2022 18:30:14
commit hash: 16bb9bedb16fd5514ab88965d30a6c286f8b29a9commit hash: 16bb9bedb16fd5514ab88965d30a6c286f8b29a9commit hash: 16bb9bedb16fd5514ab88965d30a6c286f8b29a9commit hash: 16bb9bedb16fd5514ab88965d30a6c286f8b29a9 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Update 2.6.0 -> 2.6.1

Reported by:	portscout
2.6.0
28 Feb 2022 01:02:30
commit hash: 21ac6954dbcf7add3ff8636cfc443b1d13dec439commit hash: 21ac6954dbcf7add3ff8636cfc443b1d13dec439commit hash: 21ac6954dbcf7add3ff8636cfc443b1d13dec439commit hash: 21ac6954dbcf7add3ff8636cfc443b1d13dec439 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Update distinfo because the project was re-released

Reported by:	fallout
2.6.0
22 Feb 2022 18:00:28
commit hash: 4332123a7517578f2b4bfc1265544ead118c05c8commit hash: 4332123a7517578f2b4bfc1265544ead118c05c8commit hash: 4332123a7517578f2b4bfc1265544ead118c05c8commit hash: 4332123a7517578f2b4bfc1265544ead118c05c8 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Update 2.5.5 -> 2.6.0

Reported by:	portscout
2.5.5_2
23 Jan 2022 20:56:25
commit hash: 48d98ef9181e828b575f37e1841ad53e5def5987commit hash: 48d98ef9181e828b575f37e1841ad53e5def5987commit hash: 48d98ef9181e828b575f37e1841ad53e5def5987commit hash: 48d98ef9181e828b575f37e1841ad53e5def5987 files touched by this commit
Rene Ladan (rene) search for other commits by this committer
cleanup: remove transitive py27 deprecation (www/qt5-webengine)
2.5.5_2
22 Jun 2021 18:53:08
commit hash: da3162c7c9f01912ba1940e188b253f2b5c7ba77commit hash: da3162c7c9f01912ba1940e188b253f2b5c7ba77commit hash: da3162c7c9f01912ba1940e188b253f2b5c7ba77commit hash: da3162c7c9f01912ba1940e188b253f2b5c7ba77 files touched by this commit
Kevin Bowling (kbowling) search for other commits by this committer
graphics/mesa-libs: Bump reverse deps for libglvnd

Per discussion with bapt on helping pkg handle the changing of these
deps and avoiding impossible upgrade senarios.

PR:		246767
Reviewed by:	manu, bapt
Approved by:	x11
Differential Revision:	https://reviews.freebsd.org/D30824
2.5.5_1
04 May 2021 19:07:27
commit hash: e41ab1976a9f752a51b100a8d3c894d2e9036bc4commit hash: e41ab1976a9f752a51b100a8d3c894d2e9036bc4commit hash: e41ab1976a9f752a51b100a8d3c894d2e9036bc4commit hash: e41ab1976a9f752a51b100a8d3c894d2e9036bc4 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/minizinc-ide: Install .desktop file
2.5.5
09 Apr 2021 18:44:23
commit hash: 911f04257e3175fca4e46c7d57bf5ca79767e209commit hash: 911f04257e3175fca4e46c7d57bf5ca79767e209commit hash: 911f04257e3175fca4e46c7d57bf5ca79767e209commit hash: 911f04257e3175fca4e46c7d57bf5ca79767e209 files touched by this commit
Matthias Fechner (mfechner) search for other commits by this committer
Regenerate all distfiles using gitlab as source.

This regeneration is required as the new gitlab version changed
the address and the directory the source files can be downloaded.

This commit also applies some small fixes to make sure all ports using
gitlab are buildable.

Reviewed by:	mat
Approved by:	portmgr
Differential Revision:	https://reviews.freebsd.org/D29628
2.5.5
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
2.5.5
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
2.5.5
29 Mar 2021 01:00:25
Revision:569425Original commit files touched by this commit
yuri search for other commits by this committer
math/minizinc-ide: Update 2.5.4 -> 2.5.5

Reported by:	portscout
2.5.4
24 Mar 2021 13:34:36
Revision:569118Original commit files touched by this commit
rene search for other commits by this committer
Mark ports recursively depending on Python 2.7 for expiration on June 23.

For ports optionally dependending on Python 2.7, just mark those options
as expired. Remove konquerer from the x11/kde-baseapps metaport and bump
its PORTREVISION.

Submitted by:	rene
Reviewed by:	portmgr, adridg, ehaupt, lme, madpilot, pizzamig, se, sunpoet, yuri
Approved by:	portmgr
Differential Revision:	https://reviews.freebsd.org/D28665
2.5.4
16 Mar 2021 17:13:55
Revision:568589Original commit files touched by this commit
yuri search for other commits by this committer
math/minizinc-ide: Update 2.5.3 -> 2.5.4

Reported by:	portscout
2.5.3
29 Nov 2020 10:27:08
Revision:556560Original commit files touched by this commit
yuri search for other commits by this committer
math/minizinc-ide: Update 2.5.2 -> 2.5.3

Reported by:	portscout
2.5.2
13 Nov 2020 01:22:39
Revision:554998Original commit files touched by this commit
yuri search for other commits by this committer
math/minizinc-ide: Update 2.5.1 -> 2.5.2

Reported by:	portscout
2.5.1
25 Oct 2020 18:50:55
Revision:553282Original commit files touched by this commit
yuri search for other commits by this committer
math/minizinc-ide: Update 2.5.0 -> 2.5.1

Reported by:	portscout
2.5.0
11 Oct 2020 22:30:53
Revision:552081Original commit files touched by this commit
yuri search for other commits by this committer
math/minizinc-ide: Update 2.4.3 -> 2.5.0

Reported by:	portscout
2.4.3
10 Aug 2020 16:19:49
Revision:544624Original commit files touched by this commit
yuri search for other commits by this committer
New port: math/minizinc-ide: IDE for MiniZinc, a constraint modeling language

Number of commits found: 29