f20d03fe1e
In terms of the core YAP, most changes are small bug fixes. They include - better support for 64 bits in win64, - some fixes to the garbage collector - OSX Lion compilation - wide char support - bug in copy_term when some variables have attributes - fixes to lam interface - C-interface and SWI support - over-optimisation of =/2. - arithmetic exceptions - write_canonical (Ulrich) - retracting may not follow lu semantics - minor predicate import bug. There has been a lot of progress in ProbLog and cplint.
13 lines
770 B
Text
13 lines
770 B
Text
$NetBSD: distinfo,v 1.14 2012/06/16 19:34:49 asau Exp $
|
|
|
|
SHA1 (yap-6.2.2.tar.gz) = a02f80cac67c287645b2ced9502f5ea24a07f1c3
|
|
RMD160 (yap-6.2.2.tar.gz) = 6355a618d3322802d14940591d031a5587ef3e59
|
|
Size (yap-6.2.2.tar.gz) = 5499811 bytes
|
|
SHA1 (patch-aa) = 113f443f57fac208632701fc7eddca18d98d240d
|
|
SHA1 (patch-ad) = e3765c0d6729b4d531cdea59dc8e442055091d10
|
|
SHA1 (patch-ae) = cf4a79ccd0c34e42ca3d8a108619a9974288cde6
|
|
SHA1 (patch-af) = a042950ee63fac0f5863c3caa3f7c07227c46b4b
|
|
SHA1 (patch-ah) = 572e29729d97d5e9942a3d2c22e121d4e756d648
|
|
SHA1 (patch-aj) = 61a53b4ef921270544edc79ddcb0f816824fd3ce
|
|
SHA1 (patch-packages_swi-minisat2_C_Solver.C) = 1f4ec1fa258d61906d59d8a236d40653d16f0cd3
|
|
SHA1 (patch-packages_swi-minisat2_C_SolverTypes.h) = 37b7ba75614340d09c9d82d5f29e66cbdfbded94
|