Re: versioned dependencies between -dev packages

Hi, Le sam. 15 juil. 2023, 17:36, Nicolas Boulenguez a écrit : > Julien Puydt > > - Indeed this is quite fragile; I have two scripts for Coq packages [1]: > > one to tell me about the deps (I give it which package I have to upgrade > > and it gives the list of affected packages by pass) and the

Re: versioned dependencies between -dev packages

Julien Puydt > - Indeed this is quite fragile; I have two scripts for Coq packages [1]: > one to tell me about the deps (I give it which package I have to upgrade > and it gives the list of affected packages by pass) and the other to > generate the migration script (I give it the list of new packa