10

dir
825
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0/org.sat4j.core
svn://svn.forge.objectweb.org/svnroot/sat4j



2010-06-23T07:28:28.292354Z
724
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

META-INF
dir

.classpath
file




2010-11-24T13:43:50.790705Z
79f613ed0430ab9f944cb1fa990006e8
2008-06-10T18:28:02.624411Z
8
leberre





















519

LICENSE.txt
file




2010-11-24T13:43:50.790705Z
1949d9cb3390fa1981a64ae26ec708f9
2008-06-19T12:50:19.614225Z
63
leberre
has-props




















2843

.project
file




2010-11-24T13:43:50.791705Z
ebe7b915cce1d1f93730d9e2c83d4a00
2009-05-16T11:58:51.055803Z
456
leberre





















1117

.fbprefs
file




2010-11-24T13:43:50.791705Z
f48a9c82f6c3920faed3e7e306b680af
2008-06-10T18:28:02.624411Z
8
leberre





















5567

src
dir

plugin.properties
file




2010-11-24T13:43:50.791705Z
501c74e77ed81e5da9625db8a65e2bc1
2008-06-10T18:28:02.624411Z
8
leberre





















1568

build.properties
file




2010-11-24T13:43:50.791705Z
8fbbea54a04204fc748f86de87b31496
2009-01-16T22:12:17.088617Z
277
leberre





















180

pom.xml
file




2010-11-24T13:43:50.791705Z
11fa05a06c3a5612b81dff37ca7682f9
2010-06-23T07:28:28.292354Z
724
leberre





















1501

.cvsignore
file




2010-11-24T13:43:50.792705Z
52c5e0137691a2c71e6932681c2b15db
2008-06-10T18:28:02.624411Z
8
leberre





















73

.settings
dir

.pmd
file




2010-11-24T13:43:50.792705Z
8d07915e3b65ea2cdaeb5d7ba107dac5
2008-06-10T18:28:02.624411Z
8
leberre





















16384

