Processing commands for [email protected]: > close 1130915 Bug #1130915 [sponsorship-requests] RFS: rumur/2026.03.11-1 -- model checker for the Murphi language Marked Bug as done > stop Stopping processing here.
Please contact me if you need assistance. -- 1130915: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1130915 Debian Bug Tracking System Contact [email protected] with problems
