202_makefile_bytecode.patch
500_debian_fhs.patch
501_makefile_cflags.patch
502_makefile_install.patch
0006-Add-support-for-EdDSA-key-using-Ed25519-signature-sc.patch
0007-Keydb.add_keys-use-List.rev_map-instead-of-List.map-.patch
0008-Build.get_keys-make-it-tail-recursive.patch
0009-parsePGP.ml-Add-OID-for-Curve25519-encryption.patch
0010-Avoid-deprecated-ocaml.patch
0011-Avoid-sending-web-clients-to-third-party-resources.patch
0011-Correct-invalid-md5sum-file.patch
