Import Debian changes 20180207-1 debian/20180207-1
[hcoop/debian/mlton.git] / basis-library / net /
drwxr-xr-x   ..
-rw-r--r-- 599 generic-sock.sig
-rw-r--r-- 1257 generic-sock.sml
-rw-r--r-- 830 inet-sock.sig
-rw-r--r-- 2196 inet-sock.sml
-rw-r--r-- 889 net-host-db.sig
-rw-r--r-- 7996 net-host-db.sml
-rw-r--r-- 247 net-prot-db.sig
-rw-r--r-- 1762 net-prot-db.sml
-rw-r--r-- 309 net-serv-db.sig
-rw-r--r-- 2396 net-serv-db.sml
-rw-r--r-- 704 net.sig
-rw-r--r-- 2424 net.sml
-rw-r--r-- 8903 socket.sig
-rw-r--r-- 20467 socket.sml
-rw-r--r-- 700 unix-sock.sig
-rw-r--r-- 1684 unix-sock.sml