ci: fix
anil.recoil.org 4 months ago 8d68df2d 6fc4a5f1
··· 11 - ncurses 12 - opam 13 - git 0 14 - gnupatch 0 15 - gnumake 16 - gnutar 17 - gnused
··· 11 - ncurses 12 - opam 13 - git 14 + - gnuawk 15 - gnupatch 16 + - gnum4 17 - gnumake 18 - gnutar 19 - gnused