treewide: ran ./maintainers/scripts/update_redirected_urls.sh

2020-11-27 01:23:57 +01:00
parent bb7b1b59c8
commit a6b3bb24e4
11 changed files with 14 additions and 14 deletions
@@ -33,7 +33,7 @@ stdenv.mkDerivation rec {

  meta = {
    description = "A high-performance theorem prover and SMT solver";
-    homepage    = "http://github.com/Z3Prover/z3";
+    homepage    = "https://github.com/Z3Prover/z3";
    license     = stdenv.lib.licenses.mit;
    platforms   = stdenv.lib.platforms.x86_64;
    maintainers = with stdenv.lib.maintainers; [ thoughtpolice ttuegel ];