mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-27 05:10:36 +00:00
Code Issues Releases Activity

math/minizinc{,-ide}: update 2.8.4 → 2.8.5

Browse Source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-06-04 19:27:54 -07:00
parent ca640e7c80
commit 00927ff626
4 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
math/minizinc-ide/Makefile
View File

@ -1,5 +1,5 @@
PORTNAME= minizinc-ide
DISTVERSION= 2.8.4
DISTVERSION= 2.8.5
CATEGORIES= math lang
MAINTAINER= yuri@FreeBSD.org

6
math/minizinc-ide/distinfo
View File

@ -1,5 +1,5 @@
TIMESTAMP = 1716755935
SHA256 (MiniZinc-MiniZincIDE-2.8.4_GH0.tar.gz) = 7c39a9add7e9292dfd5b2b4c5cd2b8bcccd284b16df58c1ec662ea46f43db556
SIZE (MiniZinc-MiniZincIDE-2.8.4_GH0.tar.gz) = 835156
TIMESTAMP = 1717466174
SHA256 (MiniZinc-MiniZincIDE-2.8.5_GH0.tar.gz) = 7e8c1f28da2ac016506544a71130536214be410f45f26680131d336a1a59659a
SIZE (MiniZinc-MiniZincIDE-2.8.5_GH0.tar.gz) = 835165
SHA256 (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 9534c07bdc76c030bcb036a97902983e5b3d81775615b4427f41bae799f85128
SIZE (minizinc-cp-profiler-integration-f16b3132df33b3f258971f36dbe5e909983381c9_GL0.tar.gz) = 5217

2
math/minizinc/Makefile
View File

@ -1,5 +1,5 @@
PORTNAME= minizinc
DISTVERSION= 2.8.4
DISTVERSION= 2.8.5
CATEGORIES= math lang
MAINTAINER= yuri@FreeBSD.org

6
math/minizinc/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1716755167
SHA256 (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 855c8e9765f95520c668a9d3bc78abd23dd652016bd8d384f2d94fe1931209b6
SIZE (MiniZinc-libminizinc-2.8.4_GH0.tar.gz) = 8040687
TIMESTAMP = 1717466106
SHA256 (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = cd8aa35532191864ba5a79f8755e0e24c329b1b887305f89d5f7b33eca9f96db
SIZE (MiniZinc-libminizinc-2.8.5_GH0.tar.gz) = 8050297