[[sat4j-dev]] [ sat4j-Bugs-310427 ] No buildable src zips for 2.0.0 final

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Bugs item #310427, was opened at 26/06/2008 17:30
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=310427&group_id=228

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Andrew Overholt (overholt)
Assigned to: Nobody (None)
Summary: No buildable src zips for 2.0.0 final

Initial Comment:
Hi Daniel and others,

I built 2.0 RC5 for Fedora in preparation for building Eclipse SDK 3.4.  To do
so, I used the source zips (sat4j-core-rc5.src.zip and sat4j-pb-rc5.src.zip). 
I don't see these for 2.0.0 final.  Could these be provided so that I can
exactly reproduce the JARs that Eclipse includes?

Thanks,

Andrew

----------------------------------------------------------------------

>Comment By: Daniel Le Berre (leberre)
Date: 26/06/2008 17:44

Message:
connecté 
user_id=4369

Andrew,

The zip files are now available under sat4j core and sat4j
pb groups:
http://forge.objectweb.org/project/download.php?group_id=228&file_id=10735
http://forge.objectweb.org/project/download.php?group_id=228&file_id=10736



----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=310427&group_id=228