[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language



Thanks, Phil.

The reproducible-builds problem is something I’ve investigated several times over the years. As far as I can tell, I’m blocked by Flex and/or Bison issues. In particular https://github.com/westes/flex/issues/268. I’ve tried engaging with the Flex maintainer to get this fixed, to no avail so far.

Do I need to re-CC mentors to get a DD’s eyes on this? Or do they see all RFS bug updates?


Reply to: