packages/mediawiki-extensions: use stable url #35

Merged
oysteikt merged 4 commits from fix-mediawiki-extensions-url into main 2024-05-26 02:45:04 +02:00
1 changed files with 8 additions and 2 deletions
Showing only changes of commit 96024efa28 - Show all commits

View File

@ -139,10 +139,16 @@
(nixlib.getAttrs allMachines self.packages.x86_64-linux); (nixlib.getAttrs allMachines self.packages.x86_64-linux);
simplesamlphp = pkgs.callPackage ./packages/simplesamlphp { }; simplesamlphp = pkgs.callPackage ./packages/simplesamlphp { };
mediawiki-extensions = pkgs.callPackage ./packages/mediawiki-extensions { };
} // nixlib.genAttrs allMachines } // nixlib.genAttrs allMachines
(machine: self.nixosConfigurations.${machine}.config.system.build.toplevel); (machine: self.nixosConfigurations.${machine}.config.system.build.toplevel);
} ; } ;
legacyPackages = {
"x86_64-linux" = let
pkgs = nixpkgs.legacyPackages."x86_64-linux";
in rec {
mediawiki-extensions = pkgs.callPackage ./packages/mediawiki-extensions { };
};
};
}; };
} }