2003-11-25 17:59:07 +01:00
|
|
|
{stdenv, fetchurl, unzip}:
|
|
|
|
|
2007-10-18 17:12:49 +02:00
|
|
|
import ./generic.nix {
|
|
|
|
inherit stdenv fetchurl unzip;
|
2004-04-08 16:06:15 +02:00
|
|
|
name = "docbook-xml-4.2";
|
2003-11-25 17:59:07 +01:00
|
|
|
src = fetchurl {
|
2007-08-24 14:32:36 +02:00
|
|
|
url = http://www.docbook.org/xml/4.2/docbook-xml-4.2.zip;
|
2004-04-08 16:06:15 +02:00
|
|
|
md5 = "73fe50dfe74ca631c1602f558ed8961f";
|
2003-11-25 17:59:07 +01:00
|
|
|
};
|
|
|
|
}
|