diff options
Diffstat (limited to 'database/mysql-workbench/DETAILS')
-rwxr-xr-x | database/mysql-workbench/DETAILS | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/database/mysql-workbench/DETAILS b/database/mysql-workbench/DETAILS new file mode 100755 index 0000000000..32c5c760b4 --- /dev/null +++ b/database/mysql-workbench/DETAILS @@ -0,0 +1,14 @@ + SPELL=mysql-workbench + VERSION=5.2.31a + SOURCE="${SPELL}-gpl-${VERSION}-src.tar.gz" + SOURCE_URL[0]=http://ftp.gwdg.de/pub/misc/mysql/Downloads/MySQLGUITools/${SOURCE} + SOURCE_HASH=sha512:a2b2faf8c7b8a38b1f0c521ed7c69491882a24f77dcef6421ee610d5b9a74a65b39587526c03316226ae67b56b151518fc7ad63da2bf0ad2ee97a8b72c8c5dfe +SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-gpl-${VERSION/a/}-src" + WEB_SITE="http://www.mysql.de/downloads/workbench/" + LICENSE[0]=GPL + ENTERED=20101026 + SHORT="an IDE for database design, sql development and database administration" +cat << EOF +MySQL Workbench is a next-generation visual database design application that +can be used to efficiently design, manage and document database schemata. +EOF |