diff options
author | Maciej Barć <xgqt@gentoo.org> | 2021-12-11 03:19:05 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-11 03:57:03 +0100 |
commit | ba5b7b45f6d416cc9c7fa112527799fb6d117012 (patch) | |
tree | cf7c99c567380f5702dd196850cd54e2f16717fb /dev-ml/ocaml-inifiles/files | |
parent | dev-libs/aml: add 0.2.1, fix musl build (diff) | |
download | gentoo-ba5b7b45f6d416cc9c7fa112527799fb6d117012.tar.gz gentoo-ba5b7b45f6d416cc9c7fa112527799fb6d117012.tar.bz2 gentoo-ba5b7b45f6d416cc9c7fa112527799fb6d117012.zip |
dev-ml/ocaml-inifiles: new package; add version 1.2
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml/ocaml-inifiles/files')
-rw-r--r-- | dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch new file mode 100644 index 000000000000..17c060c8a208 --- /dev/null +++ b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch @@ -0,0 +1,11 @@ +--- a/inifiles.ml ++++ b/inifiles.ml +@@ -257,7 +257,7 @@ + func + initial + (List.rev_map +- (new inifile) ++ (fun x -> new inifile x) + (List.filter + check_file + (List.rev_map |