../ clisp-2.48-bits_ipctypes_to_sys_ipc.patch 09-Aug-2015 20:34 784 clisp-2.49-bits_ipctypes_to_sys_ipc.patch 09-Aug-2015 20:34 784 clisp-2.49-get_hostname.patch 09-Aug-2015 20:34 2356 clisp-2.49-tinfo.patch 09-Aug-2015 20:34 404