Re: Update the package jverein

Hi Mechtilde, I'll take care of angus-activation. Emmanuel Bourg On 28/02/2025 20:42, Mechtilde wrote: Hello, to update the package jverein to the recent version I need to package mustungproject. the ITP is 1094988. For this package itself I have to package some more dependencie

Update the package jverein

Hello, to update the package jverein to the recent version I need to package mustungproject. the ITP is 1094988. For this package itself I have to package some more dependencies e.g org.eclipse.angus:angus-activation I found https://github.com/eclipse-ee4j/angus-activation but this has more