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

Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language



Thanks, Phil.

On 1/5/25 22:19, Phil Wyett wrote:
I hope you will look at the build path lintian issues in the future.

By this, you mean the override or the filemangle/uscan ones? The former is intentional; I believe this is the correct situation. The latter ones I thought were experimental so I was waiting until they became stable, hopefully with a description I will be more capable of understanding.


Reply to: