Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit a7040a2c authored by erwan's avatar erwan
Browse files

Do not generate the opam file with aosis2opam anymore

parent e85ae639
Pipeline #7793 passed with stages
in 10 minutes and 57 seconds