src - debian-urweb - Debian packaging for Ur/Web

Mode	Name	Size
d---------	c	399	log plain
-rw-r--r--	cgi.sig	1549	log plain
-rw-r--r--	cgi.sml	2753	log plain
-rw-r--r--	checknest.sig	1591	log plain
-rw-r--r--	checknest.sml	7659	log plain
-rw-r--r--	cjr.sml	5069	log plain
-rw-r--r--	cjr_env.sig	2574	log plain
-rw-r--r--	cjr_env.sml	5559	log plain
-rw-r--r--	cjr_print.sig	1886	log plain
-rw-r--r--	cjr_print.sml	145934	log plain
-rw-r--r--	cjrize.sig	1587	log plain
-rw-r--r--	cjrize.sml	29530	log plain
-rw-r--r--	compiler.mlb	54	log plain
-rw-r--r--	compiler.sig	8336	log plain
-rw-r--r--	compiler.sml	62766	log plain
-rw-r--r--	config.sig	239	log plain
-rw-r--r--	config.sml.in	475	log plain
d---------	coq	179	log plain
-rw-r--r--	core.sml	4619	log plain
-rw-r--r--	core_env.sig	3148	log plain
-rw-r--r--	core_env.sml	13371	log plain
-rw-r--r--	core_print.sig	2015	log plain
-rw-r--r--	core_print.sml	27216	log plain
-rw-r--r--	core_untangle.sig	1597	log plain
-rw-r--r--	core_untangle.sml	11032	log plain
-rw-r--r--	core_util.sig	11497	log plain
-rw-r--r--	core_util.sml	51966	log plain
-rw-r--r--	corify.sig	1588	log plain
-rw-r--r--	corify.sml	55343	log plain
-rw-r--r--	css.sig	2000	log plain
-rw-r--r--	css.sml	13163	log plain
-rw-r--r--	datatype_kind.sml	1629	log plain
-rw-r--r--	demo.sig	1723	log plain
-rw-r--r--	demo.sml	22570	log plain
-rw-r--r--	disjoint.sig	1927	log plain
-rw-r--r--	disjoint.sml	9354	log plain
-rw-r--r--	effectize.sig	1594	log plain
-rw-r--r--	effectize.sml	8732	log plain
-rw-r--r--	elab.sml	6123	log plain
-rw-r--r--	elab_env.sig	5496	log plain
-rw-r--r--	elab_env.sml	64397	log plain
-rw-r--r--	elab_err.sig	5622	log plain
-rw-r--r--	elab_err.sml	17537	log plain
-rw-r--r--	elab_ops.sig	2144	log plain
-rw-r--r--	elab_ops.sml	14827	log plain
-rw-r--r--	elab_print.sig	2166	log plain
-rw-r--r--	elab_print.sml	37871	log plain
-rw-r--r--	elab_util.sig	11569	log plain
-rw-r--r--	elab_util.sml	57612	log plain
-rw-r--r--	elaborate.sig	1764	log plain
-rw-r--r--	elaborate.sml	205808	log plain
d---------	elisp	256	log plain
-rw-r--r--	errormsg.sig	2225	log plain
-rw-r--r--	errormsg.sml	3442	log plain
-rw-r--r--	especialize.sig	1640	log plain
-rw-r--r--	especialize.sml	33536	log plain
-rw-r--r--	expl.sml	5357	log plain
-rw-r--r--	expl_env.sig	2782	log plain
-rw-r--r--	expl_env.sml	12855	log plain
-rw-r--r--	expl_print.sig	1917	log plain
-rw-r--r--	expl_print.sml	33465	log plain
-rw-r--r--	expl_util.sig	5661	log plain
-rw-r--r--	expl_util.sml	22943	log plain
-rw-r--r--	explify.sig	1590	log plain
-rw-r--r--	explify.sml	11651	log plain
-rw-r--r--	export.sig	1824	log plain
-rw-r--r--	export.sml	2188	log plain
-rw-r--r--	fastcgi.sig	1553	log plain
-rw-r--r--	fastcgi.sml	2824	log plain
-rw-r--r--	fuse.sig	1584	log plain
-rw-r--r--	fuse.sml	6610	log plain
-rw-r--r--	http.sig	1550	log plain
-rw-r--r--	http.sml	2838	log plain
-rw-r--r--	iflow.sig	1607	log plain
-rw-r--r--	iflow.sml	105452	log plain
-rw-r--r--	jscomp.sig	1589	log plain
-rw-r--r--	jscomp.sml	65002	log plain
-rw-r--r--	list_util.sig	3149	log plain
-rw-r--r--	list_util.sml	6685	log plain
-rw-r--r--	main.mlton.sml	5323	log plain
-rw-r--r--	marshalcheck.sig	1589	log plain
-rw-r--r--	marshalcheck.sml	5958	log plain
-rw-r--r--	mono.sml	5068	log plain
-rw-r--r--	mono_env.sig	2458	log plain
-rw-r--r--	mono_env.sml	6163	log plain
-rw-r--r--	mono_opt.sig	1634	log plain
-rw-r--r--	mono_opt.sml	24339	log plain
-rw-r--r--	mono_print.sig	1848	log plain
-rw-r--r--	mono_print.sml	23915	log plain
-rw-r--r--	mono_reduce.sig	1735	log plain
-rw-r--r--	mono_reduce.sml	34272	log plain
-rw-r--r--	mono_shake.sig	1636	log plain
-rw-r--r--	mono_shake.sml	7630	log plain
-rw-r--r--	mono_util.sig	6751	log plain
-rw-r--r--	mono_util.sml	30513	log plain
-rw-r--r--	monoize.sig	1657	log plain
-rw-r--r--	monoize.sml	212221	log plain
-rw-r--r--	mysql.sig	1551	log plain
-rw-r--r--	mysql.sml	84025	log plain
-rw-r--r--	order.sig	1782	log plain
-rw-r--r--	order.sml	2086	log plain
-rw-r--r--	pathcheck.sig	1586	log plain
-rw-r--r--	pathcheck.sml	4508	log plain
-rw-r--r--	postgres.sig	1554	log plain
-rw-r--r--	postgres.sml	43243	log plain
-rw-r--r--	prefix.cm	79	log plain
-rw-r--r--	prefix.mlb	157	log plain
-rw-r--r--	prepare.sig	1588	log plain
-rw-r--r--	prepare.sml	11835	log plain
-rw-r--r--	prim.sig	1844	log plain
-rw-r--r--	prim.sml	3606	log plain
-rw-r--r--	print.sig	2848	log plain
-rw-r--r--	print.sml	4118	log plain
-rw-r--r--	reduce.sig	1637	log plain
-rw-r--r--	reduce.sml	39147	log plain
-rw-r--r--	reduce_local.sig	1761	log plain
-rw-r--r--	reduce_local.sml	14266	log plain
-rw-r--r--	rpcify.sig	1586	log plain
-rw-r--r--	rpcify.sml	7068	log plain
-rw-r--r--	scriptcheck.sig	1594	log plain
-rw-r--r--	scriptcheck.sml	8510	log plain
-rw-r--r--	search.sig	2804	log plain
-rw-r--r--	search.sml	2608	log plain
-rw-r--r--	settings.sig	8801	log plain
-rw-r--r--	settings.sml	19846	log plain
-rw-r--r--	shake.sig	1749	log plain
-rw-r--r--	shake.sml	10691	log plain
-rw-r--r--	source.sml	5342	log plain
-rw-r--r--	source_print.sig	1944	log plain
-rw-r--r--	source_print.sml	31300	log plain
-rw-r--r--	sources	1811	log plain
-rw-r--r--	specialize.sig	1681	log plain
-rw-r--r--	specialize.sml	11960	log plain
-rw-r--r--	sqlite.sig	1552	log plain
-rw-r--r--	sqlite.sml	37670	log plain
-rw-r--r--	suffix.mlb	5	log plain
-rw-r--r--	tag.sig	1582	log plain
-rw-r--r--	tag.sml	13767	log plain
-rw-r--r--	termination.sig	1587	log plain
-rw-r--r--	termination.sml	18309	log plain
-rw-r--r--	unnest.sig	1634	log plain
-rw-r--r--	unnest.sml	23481	log plain
-rw-r--r--	unpoly.sig	1669	log plain
-rw-r--r--	unpoly.sml	15888	log plain
-rw-r--r--	untangle.sig	1592	log plain
-rw-r--r--	untangle.sml	10282	log plain
-rw-r--r--	urweb.grm	108173	log plain
-rw-r--r--	urweb.lex	26017	log plain