Filename Modification time Size teyjus-2.1-p001-Fixes-arity-for-pervasive-modulo-operation.patch 2019-08-22 12:39 CEST 1144 B teyjus-2.1-p002-Add-string-literals-from-proper-character-groups.patch 2019-08-22 12:39 CEST 2083 B teyjus-2.1-p003-Removing-deprecated-function-String.set.patch 2019-08-22 12:39 CEST 1599 B teyjus-2.1-p004-Renaming-ccode_stubs-for-compilation.patch 2022-07-17 13:40 CEST 2446 B teyjus-2.1-p005-Unbundle-ocaml-header-files.patch 2022-07-17 13:40 CEST 1366 B teyjus-2.1-p006-Version.patch 2022-07-17 13:40 CEST 444 B
