diff options
Diffstat (limited to 'libs/bufferpool/DETAILS')
| -rwxr-xr-x | libs/bufferpool/DETAILS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/bufferpool/DETAILS b/libs/bufferpool/DETAILS index 6d1c34fb2a..7c6655eba6 100755 --- a/libs/bufferpool/DETAILS +++ b/libs/bufferpool/DETAILS @@ -1,9 +1,9 @@ SPELL=bufferpool - VERSION=0.0.2 + VERSION=0.0.4 SOURCE=$SPELL-$VERSION.tar.bz2 SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION SOURCE_URL[0]=http://live.polito.it/files/downloads/$SPELL/$SOURCE - SOURCE_HASH=sha512:a053b9351fb10e77eeb6d799517b2afa7acaf65511f11dd21b235207b08f27813a8b364dc36421c3675893a35bf2186034a3d37911a37b4de876e4c128377ae7 + SOURCE_HASH=sha512:8e6273f440488900f7f2f2f305e16c203f51535d3839e142484835dbc0381259c1fb3eafc6c78cd0b06d7cba2942e55ee8ff07b55fafff63ea6d97bc568e6c0a WEB_SITE=http://live.polito.it/projects/bufferpool LICENSE[0]=LGPL ENTERED=20081114 |