Opened 4 years ago

Closed 4 years ago

#59777 closed defect (fixed)

fstar: patch fails

Reported by: ryandesign (Ryan Carsten Schmidt) Owned by: landonf (Landon Fuller)
Priority: Normal Milestone:
Component: ports Version: 2.6.2
Keywords: Cc:
Port: fstar

Description

See ​https://build.macports.org/builders/ports-10.13_x86_64-builder/builds/72770/steps/install-port/logs/stdio

Change History (2)

comment:1 Changed 4 years ago by landonf (Landon Fuller)

Status: assigned → accepted

comment:2 Changed 4 years ago by landonf (Landon Fuller)

Resolution: → fixed
Status: accepted → closed

In a49fc9cf670c12d32969b6e011b8cb754a43327d/macports-ports (master):

fstar|kremlin: fix broken fstar patch, restore stable fstar/kremlin revisions accidentally reset by 'port bump'

Closes: #59777

Note: See TracTickets for help on using tickets.