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

treewide: Use HTTPS for readthedocs URLs

Browse Source
This commit is contained in:
Daniel Schaefer
2019-04-22 20:46:18 +02:00
parent bac4d95aa2
commit 92cccb6f83
34 changed files with 37 additions and 37 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/applications/editors/eclipse/plugins.nix
+4 -4
View File
@@ -320,18 +320,18 @@ rec {
version_ = "1.0.0.201604221613";
srcFeature = fetchurl {
url = "https://www2.in.tum.de/projects/cup/eclipse/features/CupEclipsePluginFeature_${version}.jar";
url = "http://www2.in.tum.de/projects/cup/eclipse/features/CupEclipsePluginFeature_${version}.jar";
sha256 = "13nnsf0cqg02z3af6xg45rhcgiffsibxbx6h1zahjv7igvqgkyna";
};
srcPlugins = [
(fetchurl {
url = "https://www2.in.tum.de/projects/cup/eclipse/plugins/CupReferencedLibraries_${version_}.jar";
url = "http://www2.in.tum.de/projects/cup/eclipse/plugins/CupReferencedLibraries_${version_}.jar";
sha256 = "0kif8kivrysprva1pxzajm88gi967qf7idhb6ga2xpvsdcris91j";
})
(fetchurl {
url = "https://www2.in.tum.de/projects/cup/eclipse/plugins/de.tum.in.www2.CupPlugin_${version}.jar";
url = "http://www2.in.tum.de/projects/cup/eclipse/plugins/de.tum.in.www2.CupPlugin_${version}.jar";
sha256 = "022phbrsny3gb8npb6sxyqqxacx138q5bd7dq3gqxh3kprx5chbl";
})
];
@@ -339,7 +339,7 @@ rec {
propagatedBuildInputs = [ zest ];
meta = with stdenv.lib; {
homepage = https://www2.cs.tum.edu/projects/cup/eclipse.php;
homepage = http://www2.cs.tum.edu/projects/cup/eclipse.php;
description = "IDE for developing CUP based parsers";
platforms = platforms.all;
maintainers = [ maintainers.romildo ];