0001-Port-to-Dose3-4.0.1.patch
0002-Fix-integration-with-fish-shell.patch
0003-remove-insecure-no-check-certificate-flags.patch
0004-Use-newest-ocaml-re-s-API.patch
0005-Use-Char-String-.lowercase_ascii.patch
0006-Port-to-cmdliner-1.0.2.patch
