Commit 5d77177f authored by Valentin Reis's avatar Valentin Reis
Browse files

[ci] Reverts doxygen to 1.8.14.

parent 85264667
Pipeline #11476 failed with stages
in 6 minutes and 13 seconds
...@@ -6,6 +6,18 @@ let ...@@ -6,6 +6,18 @@ let
overlays = [ overlays = [
(_: pkgs: { (_: pkgs: {
doxygen = pkgs.doxygen.overrideAttrs (old: rec {
name = "doxygen-1.8.14";
src = pkgs.fetchurl {
urls = [
"mirror://sourceforge/doxygen/${name}.src.tar.gz"
"http://doxygen.nl/files/${name}.src.tar.gz"
];
sha256 = "0XV+AnVe9vVv1F8fQ5hZi5IDgZSNb8+lj1ymqlb1nU0=";
};
});
hwloc = pkgs.hwloc.overrideAttrs (old: { hwloc = pkgs.hwloc.overrideAttrs (old: {
name = "hwloc-2"; name = "hwloc-2";
src = pkgs.fetchurl { src = pkgs.fetchurl {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment