@@ -2,11 +2,11 @@
22
33stdenv.mkDerivation {
44 pname = "veriT";
5− version = "2016";
5+ version = "2021.06.2";
66
77 src = fetchurl {
8− url = "http://www.verit-solver.org/distrib/veriT-stable2016.tar.gz";
9− sha256 = "0gvp4diz0qjg0y5ry0p1z7dkdkxw8l7jb8cdhvcnhl06jx977v4b";
8+ url = "https://verit.loria.fr/download/2021.06.2/verit-2021.06.2-rmx.tar.gz";
9+ sha256 = "1yjvvxnsix0rhilc81ycx1s85dymq366c6zh1hwwd8qxp7k1zca2";
1010 };
1111
1212 nativeBuildInputs = [ autoreconfHook flex bison ];
@@ -23,7 +23,7 @@ stdenv.mkDerivation {
2323
2424 meta = with lib; {
2525 description = "An open, trustable and efficient SMT-solver";
26− homepage = "http://www.verit-solver.org/";
26+ homepage = "https://verit.loria.fr/";
2727 license = licenses.bsd3;
2828 platforms = platforms.unix;
2929 maintainers = [ maintainers.gebner ];