<pre style='margin:0'>
Renee Otten (reneeotten) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/78028d8d8ed773e1a2d88a57b7fb5e9c51bbcf12">https://github.com/macports/macports-ports/commit/78028d8d8ed773e1a2d88a57b7fb5e9c51bbcf12</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new 78028d8d8ed spot: update to 2.11.66, switch to python311
</span>78028d8d8ed is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 78028d8d8ed773e1a2d88a57b7fb5e9c51bbcf12
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Sat Sep 16 23:17:40 2023 +0700
<span style='display:block; white-space:pre;color:#404040;'> spot: update to 2.11.66, switch to python311
</span>---
science/spot/Portfile | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/science/spot/Portfile b/science/spot/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 23c9dd621a0..a7c4b60e2a8 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/science/spot/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/science/spot/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,18 +4,17 @@ PortSystem 1.0
</span> PortGroup compiler_blacklist_versions 1.0
name spot
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version 2.11.5
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 2.11.6
</span> revision 0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums rmd160 5d6d54a420588b3681e9057fa346f8bc3589ea81 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 3acfd5cd112d00576ac234baeb34e1c6adf8c03155d4cda973e6317ac8bd1774 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 7584795
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 4bc9b4e1f68b0d92e9cf2be40858e7998a5e1bbf \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 a692794f89c0db3956ba5919bdd5313e372e0de34000a9022f29e1c6e91c538a \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 7573694
</span>
categories science math
maintainers nomaintainer
description Spot is an object-oriented model checking library written in C++.
long_description ${description}
homepage https://spot.lrde.epita.fr/index.html
<span style='display:block; white-space:pre;background:#ffe0e0;'>-platforms darwin
</span> license GPL-3
master_sites http://www.lrde.epita.fr/dload/spot/
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -58,7 +57,7 @@ foreach s ${pythons_suffixes} {
</span> }
# enable one python variant so that the python bindings can be compiled
<span style='display:block; white-space:pre;background:#ffe0e0;'>-set selected_python python310
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set selected_python python311
</span> foreach s ${pythons_suffixes} {
if {[variant_isset python${s}]} {
set selected_python python${s}
</pre><pre style='margin:0'>
</pre>