diff options
author | Nick Cao <nickcao@nichi.co> | 2023-01-17 09:04:45 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-17 09:04:45 +0800 |
commit | e076aed2b70bb8f3db163feb4039b5b9743ff901 (patch) | |
tree | 2b209b7bc9c4b0eed95950df91dd5c149aeb3141 /pkgs/development/coq-modules/relation-algebra/default.nix | |
parent | 16a723455f0059f842474c9a1a573fa4b8a06586 (diff) | |
parent | a935fde7916b36bcb0835f06649a11d67b1a6f09 (diff) | |
download | nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.tar nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.tar.gz nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.tar.bz2 nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.tar.lz nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.tar.xz nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.tar.zst nixpkgs-e076aed2b70bb8f3db163feb4039b5b9743ff901.zip |
Merge pull request #210945 from ejpcmac/fix-exodus-url
exodus: fix source url
Diffstat (limited to 'pkgs/development/coq-modules/relation-algebra/default.nix')
0 files changed, 0 insertions, 0 deletions