Name	Last modified	Size
	Parent Directory		-
	CVS/	2022-08-25 17:17	-
	patch-aa	2015-12-29 23:34	511
	patch-ad	2010-02-11 20:43	419
	patch-ae	2015-12-29 23:34	388
	patch-af	2011-07-09 21:15	775
	patch-ah	2010-02-11 20:43	440
	patch-aj	2013-06-12 20:28	671
	patch-configure	2015-12-29 23:34	1.8K
	patch-configure.in	2015-12-29 23:34	1.9K
	patch-H_absmi.h	2021-12-29 03:14	498
	patch-os_pl-rl.c	2015-12-29 23:34	586
	patch-packages_CLPBN_horus_HorusCli.cpp	2015-12-29 23:34	945
	patch-packages_CLPBN_horus_Util.h	2020-04-17 00:19	1.0K
	patch-packages_pldoc_Makefile.in	2015-12-29 23:34	602
	patch-packages_swi-minisat2_C_SolverTypes.h	2015-12-29 23:34	656