f5fa5fa4d6
* pkgs: refactor needless quoting of homepage meta attribute A lot of packages are needlessly quoting the homepage meta attribute (about 1400, 22%), this commit refactors all of those instances. * pkgs: Fixing some links that were wrongfully unquoted in the previous commit * Fixed some instances
25 lines
763 B
Nix
25 lines
763 B
Nix
{ stdenv, fetchurl, automake, libtool, autoconf, intltool, perl
|
|
, gmpxx, flex, bison
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "opensmt-${version}";
|
|
version = "20101017";
|
|
|
|
src = fetchurl {
|
|
url = "http://opensmt.googlecode.com/files/opensmt_src_${version}.tgz";
|
|
sha256 = "0xrky7ixjaby5x026v7hn72xh7d401w9jhccxjn0khhn1x87p2w1";
|
|
};
|
|
|
|
buildInputs = [ automake libtool autoconf intltool perl gmpxx flex bison ];
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "A satisfiability modulo theory (SMT) solver";
|
|
maintainers = [ maintainers.raskin ];
|
|
platforms = platforms.linux;
|
|
license = licenses.gpl3;
|
|
homepage = http://code.google.com/p/opensmt/;
|
|
broken = true;
|
|
downloadPage = "http://code.google.com/p/opensmt/downloads/list";
|
|
};
|
|
}
|