5 files changed, 31 insertions, 231 deletions

diff --git a/math/polymake/Makefile b/math/polymake/Makefile
index 4fe296db40e9..53532cc59619 100644
--- a/math/polymake/Makefile
+++ b/math/polymake/Makefile
@@ -1,8 +1,7 @@
 # Created by: Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
 
 PORTNAME=	polymake
-DISTVERSION=	4.4
-PORTREVISION=	3
+DISTVERSION=	4.5
 CATEGORIES=	math
 MASTER_SITES=	https://polymake.org/lib/exe/fetch.php/download/
 DISTNAME=	${PORTNAME}-${DISTVERSION}-minimal
diff --git a/math/polymake/distinfo b/math/polymake/distinfo
index 1148014eeb28..5ba94b51eda0 100644
--- a/math/polymake/distinfo
+++ b/math/polymake/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1622150271
-SHA256 (polymake-4.4-minimal.tar.bz2) = da7179176c739c8efba65d93b25af103c1cba70e1f9b35673ce33c37790ec091
-SIZE (polymake-4.4-minimal.tar.bz2) = 5620609
+TIMESTAMP = 1633023218
+SHA256 (polymake-4.5-minimal.tar.bz2) = e943d4bb31c112fad852340e3595bc591c2070692a16d50183a3b104566d7996
+SIZE (polymake-4.5-minimal.tar.bz2) = 5634046
diff --git a/math/polymake/files/patch-libnauty b/math/polymake/files/patch-libnauty
deleted file mode 100644
index 5fdcada7fc95..000000000000
--- a/math/polymake/files/patch-libnauty
+++ /dev/null
@@ -1,208 +0,0 @@
-- patch from the upstream allowing to link to libnauty.so: https://github.com/polymake/polymake/issues/10#issuecomment-906184045
-- updated to fix a testsuite regression: https://forum.polymake.org/viewtopic.php?f=10&p=3838#p3838
-
-commit 3d5f15812247c37e1821d30a24e69acc308bc54b
-Author: Benjamin Lorenz <lorenz@math.tu-berlin.de>
-Date:   Tue Aug 24 21:20:40 2021 +0200
-
-    bundled/nauty: add support for libnauty installation to configuration
-    
-    in addition to bundled and source-dir
-    
-    without any options this will try to run a test-program and fall back
-    to the bundled nauty if that fails.
-
---- bundled/nauty/apps/graph/src/GraphIso.cc.orig	2021-05-18 08:50:05 UTC
-+++ bundled/nauty/apps/graph/src/GraphIso.cc
-@@ -29,8 +29,8 @@
- #define set nauty_set
- #define permutation nauty_permutation
- 
--#include <nauty.h>
--#include <naututil.h>
-+#include <nauty/nauty.h>
-+#include <nauty/naututil.h>
- #include <memory>
- 
- namespace {
---- bundled/nauty/apps/graph/src/build_flags.pl.orig	2021-05-18 08:50:05 UTC
-+++ bundled/nauty/apps/graph/src/build_flags.pl
-@@ -1,6 +1,6 @@
- # input for generate_ninja_targets.pl
- 
--my $foreign_src = $ConfigFlags{'bundled.nauty.NautySrc'};
-+my $foreign_src = $ConfigFlags{'bundled.nauty.NautySrc'} ne "bundled" && $ConfigFlags{'bundled.nauty.NautySrc'};
- my $nauty_src = $foreign_src ? '${bundled.nauty.NautySrc}' : '${root}/bundled/nauty/external/nauty';
- my $generated_dir = '${buildroot}/staticlib/nauty';
- my @generated_headers = qw( nauty.h naututil.h gtools.h );
-@@ -9,17 +9,21 @@ my @generated_out = map { "$generated_dir/$_" } @gener
- my $include_generated = ($foreign_src && grep { -f "$foreign_src/$_" } @generated_headers)
-                         ? join(" ", map { "-include $_" } @generated_out)
-                         : "-I$generated_dir";
-+my $nauty_inc = $ConfigFlags{'bundled.nauty.NautySrc'}
-+                ? " -I$generated_dir -I$nauty_src"
-+                : "";
- 
--( CXXFLAGS => "-DBIGNAUTY -I$generated_dir -I$nauty_src",
-+( 'GraphIso.cc' => $nauty_inc,
- 
--  GENERATED => {
--    out => "@generated_out", in => "@generated_in",
--    command => "cd $generated_dir; CC=\"\${CC}\" CFLAGS=\"\${CFLAGS}\" $nauty_src/configure --quiet >/dev/null 2>/dev/null; rm -f makefile",
--  },
--
--  staticlib => {
--    SOURCEDIR => $nauty_src,
--    SOURCES => [ qw(naugraph.c naurng.c nausparse.c nautaux.c nautil.c nautinv.c naututil.c nauty.c rng.c schreier.c) ],
--    CFLAGS => "-DBIGNAUTY $include_generated -I$nauty_src",
--  }
-+  $ConfigFlags{'bundled.nauty.NautySrc'}
-+  ? ( GENERATED => {
-+        out => "@generated_out", in => "@generated_in",
-+        command => "cd $generated_dir; CC=\"\${CC}\" CFLAGS=\"\${CFLAGS}\" $nauty_src/configure --quiet >/dev/null 2>/dev/null; rm -rf makefile nauty; ln -s . nauty",
-+      },
-+      staticlib => {
-+        SOURCEDIR => $nauty_src,
-+        SOURCES => [ qw(naugraph.c naurng.c nausparse.c nautaux.c nautil.c nautinv.c naututil.c nauty.c rng.c schreier.c) ],
-+        CFLAGS => "$include_generated -I$nauty_src",
-+      } )
-+  : ()
- )
---- bundled/nauty/support/configure.pl.orig	2021-05-18 08:50:05 UTC
-+++ bundled/nauty/support/configure.pl
-@@ -14,19 +14,19 @@
- #  GNU General Public License for more details.
- #-------------------------------------------------------------------------------
- 
--@conf_vars=qw( NautySrc );
-+@conf_vars=qw( NautySrc CXXFLAGS LDFLAGS LIBS );
- 
- sub allowed_options {
-    my ($allowed_options, $allowed_with)=@_;
--   @$allowed_with{ qw( nauty-src ) }=();
-+   @$allowed_with{ qw( nauty-src nauty ) }=();
- }
- 
- 
- sub usage {
--   print STDERR "  --with-nauty-src=PATH  Source directory of nauty.\n",
--                "                         By default polymake will use the bundled nauty source files,\n",
--                "                         for the minimal tarball this option allows using a custom\n",
--                "                         directory containing the nauty sources.\n";
-+   print STDERR "                         By default polymake will use the bundled nauty source files,\n",
-+                "                         these options allow using a custom nauty source or installation:\n",
-+                "  --with-nauty-src=PATH  Source directory of nauty.\n",
-+                "  --with-nauty=PATH      Installation prefix of nauty.\n";
- }
- 
- sub check_nauty {
-@@ -36,17 +36,101 @@ sub check_nauty {
- 
- sub proceed {
-    my ($options)=@_;
--   my $nautysrc;
--   if (defined ($nautysrc=$options->{"nauty-src"})) {
--      check_nauty($nautysrc) or
--         die "Specified nauty source directory invalid, could not find 'nauty-h.in'.";
--      $NautySrc = $nautysrc;
--   } elsif (!check_nauty()) {
-+   my $nauty_path;
-+   my $nauty_src;
-+   my $nautyver;
-+   $NautySrc = "bundled";
-+   if (defined ($nauty_path=$options->{nauty}) && $nauty_path ne "bundled") {
-+      my $nauty_inc="$nauty_path/include";
-+      my $nauty_lib=Polymake::Configure::get_libdir($nauty_path, "nauty");
-+      unless (-f "$nauty_inc/nauty/nauty.h"
-+              && ( -f "$nauty_lib/libnauty.$Config::Config{dlext}"
-+                   || -f "$nauty_lib/libnauty.a" ) ) {
-+         die "Invalid installation location of nauty library: header file nauty/nauty.h and/or library libnauty.$Config::Config{dlext} / libnauty.a not found\n";
-+      }
-+      $LDFLAGS.=" -Wl,-rpath,$nauty_lib"
-+         if $nauty_path !~ m|^/usr$| && -f "$nauty_lib/libnauty.$Config::Config{dlext}";
-+      $CXXFLAGS = "-I$nauty_inc";
-+      $LDFLAGS = "-L$nauty_lib";
-+      undef $NautySrc;
-+   } elsif (defined ($nauty_src=$options->{"nauty-src"}) && $nauty_src ne "bundled") {
-+      check_nauty($nauty_src) or
-+         die "Specified nauty source directory invalid, could not find 'nauty-h.in' in $nauty_src.";
-+      $NautySrc = "$nauty_src";
-+   }
-+
-+   if (!$nauty_src && $nauty_path ne "bundled" && $options->{prereq} ne ".none.") {
-+      # compile test-program, soft-fail
-+      my $testcode = <<'---';
-+// simplified example from nautyex1.c from the nauty source
-+
-+#define MAXN 1000    /* Define this before including nauty.h */
-+#include <nauty/nauty.h>
-+#include <iostream>
-+
-+int
-+main(int argc, char *argv[])
-+{
-+    graph g[MAXN*MAXM];
-+    int lab[MAXN],ptn[MAXN],orbits[MAXN];
-+    static DEFAULTOPTIONS_GRAPH(options);
-+    statsblk stats;
-+    int n = 5;
-+    int m = 1;
-+    int v;
-+
-+    options.writeautoms = FALSE;
-+
-+    /* The following optional call verifies that we are linking
-+       to compatible versions of the nauty routines.            */
-+
-+    nauty_check(WORDSIZE,m,n,NAUTYVERSIONID);
-+    EMPTYGRAPH(g,m,n);
-+    for (v = 0; v < n; ++v)  ADDONEEDGE(g,v,(v+1)%n,m);
-+
-+    densenauty(g,lab,ptn,orbits,&options,&stats,m,n,NULL);
-+    std::cout << "VERSION " << NAUTYVERSIONID << std::endl;
-+
-+    exit(0);
-+}
-+---
-+      my $error=Polymake::Configure::build_test_program($testcode, LIBS => "-lnauty", CXXFLAGS => "$CXXFLAGS", LDFLAGS => "$LDFLAGS");
-+
-+      if ($? == 0) {
-+         my $message=Polymake::Configure::run_test_program();
-+         if ($?) {
-+            check_nauty() and !defined($nauty_path) or
-+               die "Could not run a test program checking for nauty library.\n",
-+                   "The complete error log follows:\n\n$message\n",
-+                   "Please investigate the reasons and fix the installation.\n";
-+         } else {
-+            ($nautyver) = $message =~ /VERSION (\d+)/;
-+            my $nautymin = 25000; # version*10000
-+            if ($nautyver < $nautymin) {
-+               check_nauty() and !defined($nauty_path) or
-+                  die "Your nauty version $nautyver is too old, at least version $nautymin is required.\n";
-+            } else {
-+               undef $NautySrc;
-+            }
-+         }
-+      } else {
-+         check_nauty() and !defined($nauty_path) or
-+            die "Could not compile a test program checking for nauty.\n",
-+                "The most probable reasons are that the library is installed at a non-standard location,\n",
-+                "is not configured to build a shared module, or missing at all.\n",
-+                "The complete error log follows:\n\n$error\n",
-+                "Please install the library and specify its location using --with-nauty option, if needed.\n";
-+      }
-+   }
-+
-+   if ($NautySrc eq "bundled" && !check_nauty()) {
-       die "Bundled nauty directory seems to be missing, to use the nauty interface\n",
-           "with the minimal tarball please specify a nauty source directory\n",
--          "via --with-nauty-src=PATH.";
-+          "via --with-nauty-src=PATH, or a nauty installation with --with-nauty=PATH.";
-+   } elsif (!defined($NautySrc)) {
-+      $LIBS = "-lnauty";
-    }
- 
--   return $NautySrc ? "$NautySrc" : "bundled";
-+   return $NautySrc ? "source: $NautySrc" : ("version $nautyver @ ".($nauty_path//"system"));
- }
- 
diff --git a/math/polymake/files/patch-support_install.pl b/math/polymake/files/patch-support_install.pl
deleted file mode 100644
index 87b3cd70b0e3..000000000000
--- a/math/polymake/files/patch-support_install.pl
+++ /dev/null
@@ -1,11 +0,0 @@
---- support/install.pl.orig	2021-05-18 08:50:05 UTC
-+++ support/install.pl
-@@ -316,7 +316,7 @@ sub rel_symlink {
-    my $rel_link = $link;
-    my $common_prefix = 1;
-    while ($rel_link =~ s{^(/[^/]+)(?=/)}{}) {
--      if ($common_prefix && substr($target, 0, length($1)) eq $1) {
-+      if ($common_prefix && substr($target, 0, length($1)+1) eq "$1/") {
-          $target = substr($target, length($1));
-       } else {
-          $common_prefix = 0;
diff --git a/math/polymake/pkg-plist b/math/polymake/pkg-plist
index b4882de8b653..1e65a6fdf264 100644
--- a/math/polymake/pkg-plist
+++ b/math/polymake/pkg-plist
@@ -61,6 +61,7 @@ include/polymake/common/TOmath_decl.h
 include/polymake/common/bounding_box.h
 include/polymake/common/factorization.h
 include/polymake/common/find_matrix_row_permutation.h
+include/polymake/common/finiteFieldLA.h
 include/polymake/common/hadamard_product.h
 include/polymake/common/incidence_tools.h
 include/polymake/common/labels.h
@@ -79,6 +80,7 @@ include/polymake/fan/intersection.h
 include/polymake/fan/next/compactification.h
 include/polymake/fan/reverse_search_chamber_decomposition.h
 include/polymake/fan/stacky_fan.h
+include/polymake/fan/stacky_fundamental_domain.h
 include/polymake/fan/tight_span.h
 include/polymake/graph/BasicLatticeTypes.h
 include/polymake/graph/Closure.h
@@ -101,6 +103,7 @@ include/polymake/graph/bipartite.h
 include/polymake/graph/bipartite.tcc
 include/polymake/graph/compare.h
 include/polymake/graph/connected.h
+include/polymake/graph/conway_impl.h
 include/polymake/graph/diameter.h
 include/polymake/graph/graph_iterators.h
 include/polymake/graph/hungarian_method.h
@@ -113,6 +116,7 @@ include/polymake/graph/max_cliques.h
 include/polymake/graph/max_cliques.tcc
 include/polymake/graph/maximal_chains.h
 include/polymake/graph/next/Decoration.h
+include/polymake/graph/next/DoublyConnectedEdgeList.h
 include/polymake/graph/poset_tools.h
 include/polymake/graph/strong_connected.h
 include/polymake/group/action.h
@@ -328,6 +332,7 @@ include/polymake/tropical/cartesian_product.h
 include/polymake/tropical/codim_one_with_locality.h
 include/polymake/tropical/convex_hull_tools.h
 include/polymake/tropical/covectors.h
+include/polymake/tropical/curve.h
 include/polymake/tropical/cyclic_chains.h
 include/polymake/tropical/divisor.h
 include/polymake/tropical/double_description.h
@@ -350,6 +355,7 @@ include/polymake/tropical/morphism_values.h
 include/polymake/tropical/next/covectors.h
 include/polymake/tropical/patchwork.h
 include/polymake/tropical/polynomial_tools.h
+include/polymake/tropical/polynomial_vanishing.h
 include/polymake/tropical/pruefer.h
 include/polymake/tropical/psi_classes.h
 include/polymake/tropical/pullback.h
@@ -364,13 +370,13 @@ include/polymake/type_utils.h
 include/polymake/vector
 lib/libpolymake-apps-rt.so
 lib/libpolymake-apps-rt.so.4
-lib/libpolymake-apps-rt.so.4.4
+lib/libpolymake-apps-rt.so.4.5
 lib/libpolymake-apps.so
 lib/libpolymake-apps.so.4
-lib/libpolymake-apps.so.4.4
+lib/libpolymake-apps.so.4.5
 lib/libpolymake.so
 lib/libpolymake.so.4
-lib/libpolymake.so.4.4
+lib/libpolymake.so.4.5
 libexec/polymake/config.ninja
 libexec/polymake/lib/common.so
 libexec/polymake/lib/fan.so
@@ -380,10 +386,10 @@ libexec/polymake/lib/group.so
 libexec/polymake/lib/ideal.so
 libexec/polymake/lib/libpolymake-apps-rt.so
 libexec/polymake/lib/libpolymake-apps-rt.so.4
-libexec/polymake/lib/libpolymake-apps-rt.so.4.4
+libexec/polymake/lib/libpolymake-apps-rt.so.4.5
 libexec/polymake/lib/libpolymake-apps.so
 libexec/polymake/lib/libpolymake-apps.so.4
-libexec/polymake/lib/libpolymake-apps.so.4.4
+libexec/polymake/lib/libpolymake-apps.so.4.5
 libexec/polymake/lib/matroid.so
 libexec/polymake/lib/polytope.so
 libexec/polymake/lib/topaz.so
@@ -515,7 +521,6 @@ libexec/polymake/shared
 %%DATADIR%%/apps/fan/src/remove_redundancies.cc
 %%DATADIR%%/apps/fan/src/reverse_search_chamber_decomposition.cc
 %%DATADIR%%/apps/fan/src/secondary_fan.cc
-%%DATADIR%%/apps/fan/src/stacky_fan.cc
 %%DATADIR%%/apps/fan/src/stacky_fundamental_domain.cc
 %%DATADIR%%/apps/fan/src/tight_span.cc
 %%DATADIR%%/apps/fan/src/tiling_quotient.cc
@@ -541,6 +546,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/graph/perllib/Visual/Lattice.pm
 %%DATADIR%%/apps/graph/rules/common.rules
 %%DATADIR%%/apps/graph/rules/compare.rules
+%%DATADIR%%/apps/graph/rules/doubly_connected_edge_list.rules
 %%DATADIR%%/apps/graph/rules/geometric_graph.rules
 %%DATADIR%%/apps/graph/rules/graph_properties.rules
 %%DATADIR%%/apps/graph/rules/graphviz.rules
@@ -598,7 +604,6 @@ libexec/polymake/shared
 %%DATADIR%%/apps/group/rules/help.rules
 %%DATADIR%%/apps/group/rules/main.rules
 %%DATADIR%%/apps/group/rules/permlib.rules
-%%DATADIR%%/apps/group/rules/polytope_group.rules
 %%DATADIR%%/apps/group/rules/switch_table.rules
 %%DATADIR%%/apps/group/src/col_to_row_action.cc
 %%DATADIR%%/apps/group/src/conjugacy_classes.cc
@@ -781,6 +786,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/polytope/src/centroid_volume.cc
 %%DATADIR%%/apps/polytope/src/check_inc.cc
 %%DATADIR%%/apps/polytope/src/check_poly.cc
+%%DATADIR%%/apps/polytope/src/chirotope.cc
 %%DATADIR%%/apps/polytope/src/circuit_completions.cc
 %%DATADIR%%/apps/polytope/src/cocircuit_equations.cc
 %%DATADIR%%/apps/polytope/src/common_refinement.cc
@@ -788,6 +794,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/polytope/src/congruent_polytopes.cc
 %%DATADIR%%/apps/polytope/src/contains.cc
 %%DATADIR%%/apps/polytope/src/conv.cc
+%%DATADIR%%/apps/polytope/src/conway.cc
 %%DATADIR%%/apps/polytope/src/core_point_algo.cc
 %%DATADIR%%/apps/polytope/src/cross.cc
 %%DATADIR%%/apps/polytope/src/crosscut_complex.cc
@@ -854,6 +861,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/polytope/src/lattice_normalization.cc
 %%DATADIR%%/apps/polytope/src/lattice_pyramid.cc
 %%DATADIR%%/apps/polytope/src/lineality_via_lp.cc
+%%DATADIR%%/apps/polytope/src/linear_symmetries_matrix.cc
 %%DATADIR%%/apps/polytope/src/long_and_winding.cc
 %%DATADIR%%/apps/polytope/src/mapping_polytope.cc
 %%DATADIR%%/apps/polytope/src/massive_gkz.cc
@@ -864,6 +872,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/polytope/src/minkowski_sum.cc
 %%DATADIR%%/apps/polytope/src/mixed_integer_hull.cc
 %%DATADIR%%/apps/polytope/src/mixed_volume.cc
+%%DATADIR%%/apps/polytope/src/mps2poly.cc
 %%DATADIR%%/apps/polytope/src/multiplex.cc
 %%DATADIR%%/apps/polytope/src/n_fine_triangulations.cc
 %%DATADIR%%/apps/polytope/src/n_gon.cc
@@ -882,6 +891,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/polytope/src/polarize.cc
 %%DATADIR%%/apps/polytope/src/poly2lp.cc
 %%DATADIR%%/apps/polytope/src/poly2metric.cc
+%%DATADIR%%/apps/polytope/src/poly2mps.cc
 %%DATADIR%%/apps/polytope/src/polynomial_conversion.cc
 %%DATADIR%%/apps/polytope/src/print_constraints.cc
 %%DATADIR%%/apps/polytope/src/prism.cc
@@ -1059,6 +1069,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/tropical/rules/cone.rules
 %%DATADIR%%/apps/tropical/rules/cone_properties.rules
 %%DATADIR%%/apps/tropical/rules/covector_lattice.rules
+%%DATADIR%%/apps/tropical/rules/curve.rules
 %%DATADIR%%/apps/tropical/rules/cycle.rules
 %%DATADIR%%/apps/tropical/rules/gfan.rules
 %%DATADIR%%/apps/tropical/rules/help.rules
@@ -1079,6 +1090,7 @@ libexec/polymake/shared
 %%DATADIR%%/apps/tropical/src/compute_maximal_covectors.cc
 %%DATADIR%%/apps/tropical/src/covector_decomposition.cc
 %%DATADIR%%/apps/tropical/src/covectors.cc
+%%DATADIR%%/apps/tropical/src/curve.cc
 %%DATADIR%%/apps/tropical/src/cycle_edge_lengths.cc
 %%DATADIR%%/apps/tropical/src/cyclic.cc
 %%DATADIR%%/apps/tropical/src/discard_non_vertices.cc
@@ -1099,9 +1111,12 @@ libexec/polymake/shared
 %%DATADIR%%/apps/tropical/src/map_perm.cc
 %%DATADIR%%/apps/tropical/src/matroid_polytope.cc
 %%DATADIR%%/apps/tropical/src/minkowski_sum.cc
+%%DATADIR%%/apps/tropical/src/moduli_cell_of_curve.cc
+%%DATADIR%%/apps/tropical/src/moduli_space_of_curve.cc
 %%DATADIR%%/apps/tropical/src/nearest_point.cc
 %%DATADIR%%/apps/tropical/src/patchwork.cc
 %%DATADIR%%/apps/tropical/src/points2hypersurface.cc
+%%DATADIR%%/apps/tropical/src/polynomial_vanishing.cc
 %%DATADIR%%/apps/tropical/src/thomog.cc
 %%DATADIR%%/apps/tropical/src/tpluecker.cc
 %%DATADIR%%/apps/tropical/src/tropicalNorm.cc
@@ -1198,6 +1213,8 @@ libexec/polymake/shared
 %%DATADIR%%/bundled/flint/apps/common/src/QuadraticExtension.cc
 %%DATADIR%%/bundled/flint/apps/common/src/factorization.cc
 %%DATADIR%%/bundled/flint/apps/common/src/sum_of_square_roots_naive.cc
+%%DATADIR%%/bundled/flint/apps/matroid/rules/main.rules
+%%DATADIR%%/bundled/flint/apps/matroid/src/bases_from_points_flint.cc
 %%DATADIR%%/bundled/flint/apps/polytope/src/maximal_ball.cc
 %%DATADIR%%/bundled/flint/apps/topaz/rules/main.rules
 %%DATADIR%%/bundled/flint/apps/topaz/src/homology_flint.cc
@@ -1273,6 +1290,7 @@ libexec/polymake/shared
 %%DATADIR%%/demo/files/json_and_polydb/polydb_meta/Polytopes/01Polytopes/schema.2.1.json
 %%DATADIR%%/demo/files/json_and_polydb/polydb_meta/Polytopes/Polytopes.2.1.json
 %%DATADIR%%/demo/files/optimization/c3t.lp
+ %%DATADIR%%/demo/files/optimization/c3t.mps
 %%DATADIR%%/demo/files/optimization/lpclosure.pl
 %%DATADIR%%/demo/files/optimization/mip.lp
 %%DATADIR%%/demo/files/optimization/stab.lp
@@ -1473,6 +1491,7 @@ libexec/polymake/shared
 %%DATADIR%%/upgrades/4.2
 %%DATADIR%%/upgrades/4.3
 %%DATADIR%%/upgrades/4.4
+%%DATADIR%%/upgrades/4.5
 %%DATADIR%%/upgrades/big_objects-2.10.1
 %%DATADIR%%/upgrades/big_objects-2.11.1
 %%DATADIR%%/upgrades/big_objects-2.12.1
@@ -1488,6 +1507,7 @@ libexec/polymake/shared
 %%DATADIR%%/upgrades/big_objects-4.2.1
 %%DATADIR%%/upgrades/big_objects-4.3.1
 %%DATADIR%%/upgrades/big_objects-4.3.3
+%%DATADIR%%/upgrades/big_objects-4.4.1
 @dir libexec/polymake/bundled/atint
 %%BLISS%%@dir libexec/polymake/bundled/bliss
 @dir libexec/polymake/bundled/cdd