diff options
| author | Dmitry Kalinkin <dmitry.kalinkin@gmail.com> | 2019-10-10 22:58:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-10 22:58:28 -0400 |
| commit | 1f9882cb294074387487743effd5b220074f6523 (patch) | |
| tree | ab5525d484743c79ba91add5484adaa425aafc39 /pkgs/development/coq-modules | |
| parent | 3d860972eefe10e04b7994d85f88dc7aeb6db248 (diff) | |
| parent | b0b0bb7e0b2b12278de114683d34cdea1bfa4ceb (diff) | |
| download | nixpkgs-1f9882cb294074387487743effd5b220074f6523.tar nixpkgs-1f9882cb294074387487743effd5b220074f6523.tar.gz nixpkgs-1f9882cb294074387487743effd5b220074f6523.tar.bz2 nixpkgs-1f9882cb294074387487743effd5b220074f6523.tar.lz nixpkgs-1f9882cb294074387487743effd5b220074f6523.tar.xz nixpkgs-1f9882cb294074387487743effd5b220074f6523.tar.zst nixpkgs-1f9882cb294074387487743effd5b220074f6523.zip | |
Merge pull request #70841 from callahad/mariadb
mariadb: fix builds on darwin
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions