2008-01-30 18:20:48 +01:00
|
|
|
args: with args;
|
|
|
|
stdenv.mkDerivation {
|
2008-01-29 02:24:54 +01:00
|
|
|
name = "pgadmin3-1.8.1";
|
|
|
|
|
2008-01-30 18:20:48 +01:00
|
|
|
src = fetchurl {
|
2008-01-29 02:24:54 +01:00
|
|
|
name = "pgadmin3-v1.8.1.tar.gz";
|
|
|
|
url = "http://ftp3.de.postgresql.org/pub/Mirrors/ftp.postgresql.org//pgadmin3/release/v1.8.1/src/pgadmin3-1.8.1.tar.gz";
|
|
|
|
sha256 = "1vnpbgb2ksvcgbzab4jjspwvs5cvam53azinfavjad4kpjczdywb";
|
|
|
|
};
|
|
|
|
|
2008-01-30 18:20:48 +01:00
|
|
|
buildInputs = [postgresql wxGTK libxml2 libxslt openssl];
|
2008-01-29 02:24:54 +01:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "postgresql admin gui tool";
|
|
|
|
homepage = http://www.pgadmin.org/download/;
|
|
|
|
license = "GPL2";
|
|
|
|
};
|
|
|
|
}
|