BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

veriT: 201506 -> 2016

Browse source
This commit is contained in:
Gabriel Ebner 2017-02-01 19:43:02 +01:00
parent a9e55a2a8e
commit ac10c19746
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/applications/science/logic/verit/default.nix
View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
name = "veriT-${version}";
version = "201506";
version = "2016";
src = fetchurl {
url = "http://www.verit-solver.org/distrib/${name}.tar.gz";
sha256 = "1cc9gcspw3namkdfypkians2j5dn224dsw6xx95qicad6033bsgk";
url = "http://www.verit-solver.org/distrib/veriT-stable2016.tar.gz";
sha256 = "0gvp4diz0qjg0y5ry0p1z7dkdkxw8l7jb8cdhvcnhl06jx977v4b";
};
nativeBuildInputs = [ autoreconfHook flex bison ];