public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

treewide: fix redirect URLs

Browse Source
This commit is contained in:
Ryan Mulligan
2019-07-10 12:52:51 -07:00
parent 42559f1cf1
commit 508ae42a0f
39 changed files with 52 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/science/logic/prover9/default.nix
+1 -1
View File
@@ -31,7 +31,7 @@ stdenv.mkDerivation {
'';
meta = {
homepage = http://www.cs.unm.edu/~mccune/mace4/;
homepage = https://www.cs.unm.edu/~mccune/mace4/;
license = "GPL";
description = "Automated theorem prover for first-order and equational logic";
longDescription = ''