K 10
svn:author
V 8
vsevolod
K 8
svn:date
V 27
2014-07-09T12:11:30.192054Z
K 7
svn:log
V 394
Update to rc2.

Changes:
- Fix critical bug in the solver caused not required packages being installed
- Rework DPLL algorithm to solve tasks quicker by propagating units on each step
- Fix bug with loading of package files and directories
- If all files are downloaded then perform integrity check immediately without extra queries to a user
- Removed incorrect error messages

With hat:	pkg@

END