Nathalie Furmento 52728f9d51 Revert "contrib/ci.inria.fr: launch on a recent version of debian" před 5 roky
..
ci.inria.fr 52728f9d51 Revert "contrib/ci.inria.fr: launch on a recent version of debian" před 5 roky