pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/devel/ocaml-core_kernel Updated devel/ocaml-core_kerne...



details:   https://anonhg.NetBSD.org/pkgsrc/rev/1e6b2c175b71
branches:  trunk
changeset: 409266:1e6b2c175b71
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Thu Jan 16 15:31:15 2020 +0000

description:
Updated devel/ocaml-core_kernel to version 0.13.0.

This version mostly includes minor improvements and bugfixes. See the
changelog for more details.

diffstat:

 devel/ocaml-core_kernel/Makefile                                           |    4 +-
 devel/ocaml-core_kernel/PLIST                                              |  237 ++++++---
 devel/ocaml-core_kernel/buildlink3.mk                                      |    3 +-
 devel/ocaml-core_kernel/distinfo                                           |   38 +-
 devel/ocaml-core_kernel/patches/patch-balanced__reducer_src_dune           |    3 +-
 devel/ocaml-core_kernel/patches/patch-binary__packing_src_dune             |    3 +-
 devel/ocaml-core_kernel/patches/patch-bounded__int__table_src_dune         |   11 +
 devel/ocaml-core_kernel/patches/patch-bounded__int__table_test_dune        |   11 +
 devel/ocaml-core_kernel/patches/patch-int__set_src_dune                    |    3 +-
 devel/ocaml-core_kernel/patches/patch-moption_src_dune                     |    3 +-
 devel/ocaml-core_kernel/patches/patch-pairing__heap_bench__bin_dune        |   12 +
 devel/ocaml-core_kernel/patches/patch-pairing__heap_test__bin_dune         |   13 +
 devel/ocaml-core_kernel/patches/patch-pairing__heap_test_dune              |   12 +
 devel/ocaml-core_kernel/patches/patch-sexp__hidden__in__test_src_dune      |   13 +
 devel/ocaml-core_kernel/patches/patch-src_dune                             |   19 +-
 devel/ocaml-core_kernel/patches/patch-thread__pool__cpu__affinity_src_dune |    3 +-
 devel/ocaml-core_kernel/patches/patch-thread__safe__queue_src_dune         |    3 +-
 devel/ocaml-core_kernel/patches/patch-timing__wheel_src_dune               |   13 +
 devel/ocaml-core_kernel/patches/patch-timing__wheel_test_dune              |   12 +
 devel/ocaml-core_kernel/patches/patch-tuple__pool_test_dune                |   11 +
 devel/ocaml-core_kernel/patches/patch-unpack__buffer_src_dune              |    3 +-
 devel/ocaml-core_kernel/patches/patch-uopt_src_dune                        |    3 +-
 devel/ocaml-core_kernel/patches/patch-weak__hashtbl_test_dune              |   12 +
 23 files changed, 334 insertions(+), 111 deletions(-)

diffs (truncated from 796 to 300 lines):

diff -r 202eb73c3e26 -r 1e6b2c175b71 devel/ocaml-core_kernel/Makefile
--- a/devel/ocaml-core_kernel/Makefile  Thu Jan 16 15:29:14 2020 +0000
+++ b/devel/ocaml-core_kernel/Makefile  Thu Jan 16 15:31:15 2020 +0000
@@ -1,8 +1,8 @@
-# $NetBSD: Makefile,v 1.4 2019/06/11 09:06:33 jaapb Exp $
+# $NetBSD: Makefile,v 1.5 2020/01/16 15:31:15 jaapb Exp $
 
 GITHUB_PROJECT=        core_kernel
 GITHUB_TAG=    v${PKGVERSION_NOREV}
-DISTNAME=      ${GITHUB_PROJECT}-0.12.2
+DISTNAME=      ${GITHUB_PROJECT}-0.13.0
 PKGNAME=       ocaml-${DISTNAME}
 CATEGORIES=    devel
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=janestreet/}
diff -r 202eb73c3e26 -r 1e6b2c175b71 devel/ocaml-core_kernel/PLIST
--- a/devel/ocaml-core_kernel/PLIST     Thu Jan 16 15:29:14 2020 +0000
+++ b/devel/ocaml-core_kernel/PLIST     Thu Jan 16 15:31:15 2020 +0000
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.1 2019/03/19 10:07:47 jaapb Exp $
+@comment $NetBSD: PLIST,v 1.2 2020/01/16 15:31:15 jaapb Exp $
 ${OCAML_SITELIB}/core_kernel/META
 ${OCAML_SITELIB}/core_kernel/arg.ml
 ${OCAML_SITELIB}/core_kernel/arg.mli
@@ -6,6 +6,7 @@
 ${OCAML_SITELIB}/core_kernel/array.mli
 ${OCAML_SITELIB}/core_kernel/bag.ml
 ${OCAML_SITELIB}/core_kernel/bag.mli
+${OCAML_SITELIB}/core_kernel/bag_intf.ml
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/balanced_reducer/balanced_reducer.a
 ${OCAML_SITELIB}/core_kernel/balanced_reducer/balanced_reducer.cma
 ${OCAML_SITELIB}/core_kernel/balanced_reducer/balanced_reducer.cmi
@@ -85,8 +86,16 @@
 ${OCAML_SITELIB}/core_kernel/bounded_index.ml
 ${OCAML_SITELIB}/core_kernel/bounded_index.mli
 ${OCAML_SITELIB}/core_kernel/bounded_index_intf.ml
-${OCAML_SITELIB}/core_kernel/bounded_int_table.ml
-${OCAML_SITELIB}/core_kernel/bounded_int_table.mli
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.a
+${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cma
+${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cmi
+${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cmt
+${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.cmxs
+${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.ml
+${OCAML_SITELIB}/core_kernel/bounded_int_table/bounded_int_table.mli
 ${OCAML_SITELIB}/core_kernel/bus.ml
 ${OCAML_SITELIB}/core_kernel/bus.mli
 ${OCAML_SITELIB}/core_kernel/byte_units.ml
@@ -103,6 +112,16 @@
 ${OCAML_SITELIB}/core_kernel/comparable_intf.ml
 ${OCAML_SITELIB}/core_kernel/comparator.ml
 ${OCAML_SITELIB}/core_kernel/comparator.mli
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.a
+${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cma
+${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cmi
+${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cmt
+${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.cmxs
+${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.ml
+${OCAML_SITELIB}/core_kernel/composition_infix/composition_infix.mli
 ${OCAML_SITELIB}/core_kernel/container.ml
 ${OCAML_SITELIB}/core_kernel/container.mli
 ${OCAML_SITELIB}/core_kernel/container_intf.ml
@@ -131,6 +150,9 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bag.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bag.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Bag.cmx
+${OCAML_SITELIB}/core_kernel/core_kernel__Bag_intf.cmi
+${OCAML_SITELIB}/core_kernel/core_kernel__Bag_intf.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Bag_intf.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bigbuffer.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bigbuffer.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bigbuffer.cmti
@@ -182,10 +204,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_index_intf.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_index_intf.cmt
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_index_intf.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_int_table.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_int_table.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_int_table.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Bounded_int_table.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bus.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bus.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Bus.cmti
@@ -282,6 +300,9 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Doubly_linked.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Doubly_linked.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Doubly_linked.cmx
+${OCAML_SITELIB}/core_kernel/core_kernel__Doubly_linked_intf.cmi
+${OCAML_SITELIB}/core_kernel/core_kernel__Doubly_linked_intf.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Doubly_linked_intf.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Either.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Either.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Either.cmti
@@ -306,13 +327,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Filename.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Filename.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Filename.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Flags.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Flags.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Flags.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Flags.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Flags_intf.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Flags_intf.cmt
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Flags_intf.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Float.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Float.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Float.cmti
@@ -356,10 +370,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Hashtbl_intf.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Hashtbl_intf.cmt
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Hashtbl_intf.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Heap.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Heap.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Heap.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Heap.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Heap_block.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Heap_block.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Heap_block.cmti
@@ -415,9 +425,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Int_intf.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Int_intf.cmt
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Int_intf.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Int_replace_polymorphic_compare.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Int_replace_polymorphic_compare.cmt
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Int_replace_polymorphic_compare.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Interfaces.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Interfaces.cmt
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Interfaces.cmx
@@ -429,10 +436,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Linked_queue.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Linked_queue.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Linked_queue.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Linked_stack.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Linked_stack.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Linked_stack.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Linked_stack.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__List.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__List.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__List.cmti
@@ -546,13 +549,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Pid.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Pid.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Pid.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Pool.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Pool.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Pool.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Pool.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Pool_intf.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Pool_intf.cmt
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Pool_intf.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Printexc.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Printexc.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Printexc.cmti
@@ -722,24 +718,10 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Time_ns_intf.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Time_ns_intf.cmt
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Time_ns_intf.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns_intf.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns_intf.cmt
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Timing_wheel_ns_intf.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Tuple.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Tuple.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Tuple.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Tuple.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type_intf.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type_intf.cmt
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Tuple_type_intf.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Type_equal.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Type_equal.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Type_equal.cmti
@@ -774,10 +756,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Unit_of_time.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Unit_of_time.cmti
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Unit_of_time.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Univ.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Univ.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Univ.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Univ.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Univ_map.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Univ_map.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Univ_map.cmti
@@ -792,10 +770,6 @@
 ${OCAML_SITELIB}/core_kernel/core_kernel__Validated_intf.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Validated_intf.cmt
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Validated_intf.cmx
-${OCAML_SITELIB}/core_kernel/core_kernel__Version_util.cmi
-${OCAML_SITELIB}/core_kernel/core_kernel__Version_util.cmt
-${OCAML_SITELIB}/core_kernel/core_kernel__Version_util.cmti
-${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/core_kernel__Version_util.cmx
 ${OCAML_SITELIB}/core_kernel/core_kernel__Zone.cmi
 ${OCAML_SITELIB}/core_kernel/core_kernel__Zone.cmt
 ${OCAML_SITELIB}/core_kernel/core_kernel__Zone.cmti
@@ -827,6 +801,7 @@
 ${OCAML_SITELIB}/core_kernel/digit_string_helpers.mli
 ${OCAML_SITELIB}/core_kernel/doubly_linked.ml
 ${OCAML_SITELIB}/core_kernel/doubly_linked.mli
+${OCAML_SITELIB}/core_kernel/doubly_linked_intf.ml
 ${OCAML_SITELIB}/core_kernel/dune-package
 ${OCAML_SITELIB}/core_kernel/either.ml
 ${OCAML_SITELIB}/core_kernel/either.mli
@@ -850,9 +825,24 @@
 ${OCAML_SITELIB}/core_kernel/fheap/fheap.mli
 ${OCAML_SITELIB}/core_kernel/filename.ml
 ${OCAML_SITELIB}/core_kernel/filename.mli
-${OCAML_SITELIB}/core_kernel/flags.ml
-${OCAML_SITELIB}/core_kernel/flags.mli
-${OCAML_SITELIB}/core_kernel/flags_intf.ml
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/flags/flags.a
+${OCAML_SITELIB}/core_kernel/flags/flags.cma
+${OCAML_SITELIB}/core_kernel/flags/flags.cmi
+${OCAML_SITELIB}/core_kernel/flags/flags.cmt
+${OCAML_SITELIB}/core_kernel/flags/flags.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/flags/flags.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/flags/flags.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/flags/flags.cmxs
+${OCAML_SITELIB}/core_kernel/flags/flags.ml
+${OCAML_SITELIB}/core_kernel/flags/flags.mli
+${OCAML_SITELIB}/core_kernel/flags/flags__.cmi
+${OCAML_SITELIB}/core_kernel/flags/flags__.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/flags/flags__.cmx
+${OCAML_SITELIB}/core_kernel/flags/flags__.ml
+${OCAML_SITELIB}/core_kernel/flags/flags__Flags_intf.cmi
+${OCAML_SITELIB}/core_kernel/flags/flags__Flags_intf.cmt
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/flags/flags__Flags_intf.cmx
+${OCAML_SITELIB}/core_kernel/flags/flags_intf.ml
 ${OCAML_SITELIB}/core_kernel/float.ml
 ${OCAML_SITELIB}/core_kernel/float.mli
 ${OCAML_SITELIB}/core_kernel/float_with_finite_only_serialization.ml
@@ -912,8 +902,6 @@
 ${OCAML_SITELIB}/core_kernel/hashtbl.ml
 ${OCAML_SITELIB}/core_kernel/hashtbl.mli
 ${OCAML_SITELIB}/core_kernel/hashtbl_intf.ml
-${OCAML_SITELIB}/core_kernel/heap.ml
-${OCAML_SITELIB}/core_kernel/heap.mli
 ${OCAML_SITELIB}/core_kernel/heap_block.ml
 ${OCAML_SITELIB}/core_kernel/heap_block.mli
 ${OCAML_SITELIB}/core_kernel/hexdump.ml
@@ -939,7 +927,6 @@
 ${OCAML_SITELIB}/core_kernel/int64.ml
 ${OCAML_SITELIB}/core_kernel/int64.mli
 ${OCAML_SITELIB}/core_kernel/int_intf.ml
-${OCAML_SITELIB}/core_kernel/int_replace_polymorphic_compare.ml
 ${OCAML_SITELIB}/core_kernel/int_set/import.ml
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/int_set/int_set.a
 ${OCAML_SITELIB}/core_kernel/int_set/int_set.cma
@@ -982,8 +969,16 @@
 ${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/limiter/limiter__Import.cmx
 ${OCAML_SITELIB}/core_kernel/linked_queue.ml
 ${OCAML_SITELIB}/core_kernel/linked_queue.mli
-${OCAML_SITELIB}/core_kernel/linked_stack.ml
-${OCAML_SITELIB}/core_kernel/linked_stack.mli
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.a
+${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cma
+${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cmi
+${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cmt
+${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.cmxs
+${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.ml
+${OCAML_SITELIB}/core_kernel/linked_stack/linked_stack.mli
 ${OCAML_SITELIB}/core_kernel/list.ml
 ${OCAML_SITELIB}/core_kernel/list.mli
 ${OCAML_SITELIB}/core_kernel/list0.ml
@@ -1050,15 +1045,22 @@
 ${OCAML_SITELIB}/core_kernel/ordered_collection_common.mli
 ${OCAML_SITELIB}/core_kernel/ordering.ml
 ${OCAML_SITELIB}/core_kernel/ordering.mli
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.a
+${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cma
+${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cmi
+${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cmt
+${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cmti
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cmx
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cmxa
+${PLIST.ocaml-opt}${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.cmxs
+${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.ml
+${OCAML_SITELIB}/core_kernel/pairing_heap/pairing_heap.mli
 ${OCAML_SITELIB}/core_kernel/percent.ml
 ${OCAML_SITELIB}/core_kernel/percent.mli
 ${OCAML_SITELIB}/core_kernel/perms.ml
 ${OCAML_SITELIB}/core_kernel/perms.mli
 ${OCAML_SITELIB}/core_kernel/pid.ml
 ${OCAML_SITELIB}/core_kernel/pid.mli
-${OCAML_SITELIB}/core_kernel/pool.ml
-${OCAML_SITELIB}/core_kernel/pool.mli
-${OCAML_SITELIB}/core_kernel/pool_intf.ml



Home | Main Index | Thread Index | Old Index