Just FYI: Comment #13 states "[...] we would like to have all .NET packages in main. The only exception is .NET 7 in jammy that we want to keep in universe."
.NET 7 will go EoL on May 14, 2024 and mantic will go EoL in July 2024. Therefore it does not make a lot of sense to MIR the dotnet7 package for mantic.
Just FYI: Comment #13 states "[...] we would like to have all .NET packages in main. The only exception is .NET 7 in jammy that we want to keep in universe."
.NET 7 will go EoL on May 14, 2024 and mantic will go EoL in July 2024. Therefore it does not make a lot of sense to MIR the dotnet7 package for mantic.