sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-31 02:16:27 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/minizinc{,-ide}: update 2.8.6 → 2.8.7

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2024-10-03 00:40:36 -07:00
parent fdba426dd9
commit 2b110c9d63
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.6
DISTVERSION= 2.8.7
CATEGORIES= math lang
MAINTAINER= yuri@FreeBSD.org

6
math/minizinc-ide/distinfo
View file

@ -1,5 +1,5 @@
TIMESTAMP = 1727479099
SHA256 (MiniZinc-MiniZincIDE-2.8.6_GH0.tar.gz) = 1daa2864d1eb620f29f005c4ea31333034c716861d0c2a05e74a3a94b0997234
SIZE (MiniZinc-MiniZincIDE-2.8.6_GH0.tar.gz) = 835188
TIMESTAMP = 1727939911
SHA256 (MiniZinc-MiniZincIDE-2.8.7_GH0.tar.gz) = 9c50315557e5ad1214e6274b76a58467e5276df97da8146370de4567f4fdee97
SIZE (MiniZinc-MiniZincIDE-2.8.7_GH0.tar.gz) = 835185
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.6
DISTVERSION= 2.8.7
CATEGORIES= math lang
MAINTAINER= yuri@FreeBSD.org

6
math/minizinc/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1727478178
SHA256 (MiniZinc-libminizinc-2.8.6_GH0.tar.gz) = 719469473bd0ad0f667d79e35735ef8c535f64642b3565a197ed09b285a3d506
SIZE (MiniZinc-libminizinc-2.8.6_GH0.tar.gz) = 8059282
TIMESTAMP = 1727937266
SHA256 (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 91413c9788d45eb77ecb1da9657c00744312cca4fd5e71ca2583c35a32a3be62
SIZE (MiniZinc-libminizinc-2.8.7_GH0.tar.gz) = 8059507