3 description = "String processing for the Internet"
6 "netstring.cma netmappings_iso.cmo netmappings_other.cmo"
7 archive(byte,toploop) =
8 "netstring.cma netmappings_iso.cmo netmappings_other.cmo
11 "netstring.cma netmappings_iso.cmo netmappings_other.cmo
13 archive(byte,mt,toploop) =
14 "netstring.cma netmappings_iso.cmo netmappings_other.cmo
15 netstring_mt.cmo netstring_top.cmo"
17 "netstring.cmxa netmappings_iso.cmx netmappings_other.cmx"
19 "netstring.cmxa netmappings_iso.cmx netmappings_other.cmx
22 archive(byte,netstring_only_iso) =
23 "netstring.cma netmappings_iso.cmo"
24 archive(byte,toploop,netstring_only_iso) =
25 "netstring.cma netmappings_iso.cmo
27 archive(byte,mt,netstring_only_iso) =
28 "netstring.cma netmappings_iso.cmo
30 archive(byte,mt,toploop,netstring_only_iso) =
31 "netstring.cma netmappings_iso.cmo
32 netstring_mt.cmo netstring_top.cmo"
33 archive(native,netstring_only_iso) =
34 "netstring.cmxa netmappings_iso.cmx"
35 archive(native,mt,netstring_only_iso) =
36 "netstring.cmxa netmappings_iso.cmx
39 archive(byte,netstring_minimum) =
41 archive(byte,toploop,netstring_minimum) =
44 archive(byte,mt,netstring_minimum) =
47 archive(byte,mt,toploop,netstring_minimum) =
49 netstring_mt.cmo netstring_top.cmo"
50 archive(native,netstring_minimum) =
52 archive(native,mt,netstring_minimum) =