close 1071427 thanks Package got sponsored
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker fo... Matthew Fernandez
- Re: Bug#1071427: RFS: rumur/2024.05.07-1 -- model c... Matthew Fernandez
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model check... Phil Wyett
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model check... Phil Wyett
- Bug#1071427: Sponsored Pierre Gruet
- Bug#1071427: closing 1071427 Pierre Gruet
