nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-29 03:10:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

rocqPackages.iris: use github mirror

Browse Source
This commit is contained in:
Pierre Roux
2026-09-25 10:46:53 +02:00
parent c6e9440dab
commit 51dc2094fc
2 changed files with 10 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
pkgs/development/rocq-modules/iris/default.nix
View File

@@ -9,8 +9,11 @@
let
derivation = mkRocqDerivation {
pname = "iris";
domain = "gitlab.mpi-sws.org";
owner = "iris";
# MPI's gitlab is unfortunately under siege of various LLM scrappers
# and had to establish some strong rate limiting, a mirror is put on github
# domain = "gitlab.mpi-sws.org";
# owner = "iris";
owner = "rocq-iris";
inherit version;
defaultVersion =
let

7
pkgs/development/rocq-modules/stdpp/default.nix
View File

@@ -9,8 +9,11 @@
mkRocqDerivation {
pname = "stdpp";
inherit version;
domain = "gitlab.mpi-sws.org";
owner = "iris";
# MPI's gitlab is unfortunately under siege of various LLM scrappers
# and had to establish some strong rate limiting, a mirror is put on github
# domain = "gitlab.mpi-sws.org";
# owner = "iris";
owner = "rocq-iris";
defaultVersion =
let
case = case: out: { inherit case out; };