Opened 8 months ago

Closed 8 months ago

#1525 closed defect (fixed)

mpi: missing dependency on srfi-13

Reported by: mario Owned by: iraikov
Priority: major Milestone: someday
Component: extensions Version: 5.0.0rc1
Keywords: mpi, srfi-13 Cc:
Estimated difficulty: trivial

Change History (1)

comment:1 Changed 8 months ago by mario

  • Resolution set to fixed
  • Status changed from new to closed

Fixed in mpi 2.3.

Note: See TracTickets for help on using tickets.