Opened 5 months ago

Closed 5 months ago

#31430 closed defect (fixed)

e-antic: Update to 0.1.9 to add support for FLINT 2.7

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-9.3
Component: packages: optional Keywords:
Cc: vdelecroix, arojas, saraedum, Winfried, jipilab, gh-kliem Merged in:
Authors: Matthias Koeppe Reviewers: Jonathan Kliem
Report Upstream: N/A Work issues:
Branch: f40007b (Commits, GitHub, GitLab) Commit: f40007ba90f437dba5f3efd553579210a6d2c7a6
Dependencies: Stopgaps:

Status badges

Change History (10)

comment:2 Changed 5 months ago by Winfried

The master branch of Normaliz has just been upgraded to Flint 2.7.0 and e-antic 0.1.9.

There are additional improvements in Normaliz, originally made to sped up the use of e-antic 1.0.0. But they also speed up the use of 0.1.9.

comment:3 Changed 5 months ago by mkoeppe

  • Authors set to Matthias Koeppe
  • Summary changed from e-antic: Add support for FLINT 2.7 to e-antic: Update to 0.1.9 to add support for FLINT 2.7

comment:4 Changed 5 months ago by mkoeppe

  • Branch set to u/mkoeppe/e_antic__update_to_0_1_9_to_add_support_for_flint_2_7

comment:5 Changed 5 months ago by mkoeppe

  • Commit set to f40007ba90f437dba5f3efd553579210a6d2c7a6
  • Status changed from new to needs_review

New commits:

f40007bbuild/pkgs/e_antic: Update to 0.1.9

comment:6 Changed 5 months ago by Winfried

Normaliz installs Flint 2.7.1 now.

comment:7 Changed 5 months ago by gh-kliem

  • Status changed from needs_review to positive_review

LGTM.

However, I can't install flint 2.7.1. to actually test whether this works.

comment:8 Changed 5 months ago by gh-kliem

  • Reviewers set to Jonathan Kliem

The upgrade itself works smoothly and normaliz is still running fine with it.

comment:9 Changed 5 months ago by mkoeppe

Thanks.

comment:10 Changed 5 months ago by vbraun

  • Branch changed from u/mkoeppe/e_antic__update_to_0_1_9_to_add_support_for_flint_2_7 to f40007ba90f437dba5f3efd553579210a6d2c7a6
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.