Changes between Version 2 and Version 5 of Ticket #32175


Ignore:
Timestamp:
07/17/21 05:07:01 (13 months ago)
Author:
mkoeppe
Comment:

New commits:

2d4a805build/pkgs/arb/patches: Add https://github.com/fredrik-johansson/arb/commit/b6c8032e2da1b19eb7c5a5f5c2f3372643e3d170

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #32175

    • Property Priority changed from major to critical
    • Property Commit changed from to 2d4a8050554bf5238122e55ca549cf825cce659f
    • Property Branch changed from to u/mkoeppe/support_flint_2_8_0
    • Property Authors changed from to Matthias Koeppe
  • Ticket #32175 – Description

    v2 v5  
    33This ticket serves as the target ticket of the proposed portability testing workflow for FLINT (https://github.com/wbhart/flint2/pull/972)
    44
     5A patch to `arb` is required.
     6
    57Test ticket with the FLINT upgrade: #32211