diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-04-23 08:11:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-23 08:11:14 +0100 |
commit | 8206341757fa362418060242f06217d0470423b7 (patch) | |
tree | dbaa5be81a834cd9b4abd621f20840581321ff10 /pkgs/top-level/ocaml-packages.nix | |
parent | c7d278ad079d4a47c1e7b020676b040dae199e35 (diff) | |
parent | ae4dac3e5c787044ef9639be61d6a22f087541c2 (diff) | |
download | nixlib-8206341757fa362418060242f06217d0470423b7.tar nixlib-8206341757fa362418060242f06217d0470423b7.tar.gz nixlib-8206341757fa362418060242f06217d0470423b7.tar.bz2 nixlib-8206341757fa362418060242f06217d0470423b7.tar.lz nixlib-8206341757fa362418060242f06217d0470423b7.tar.xz nixlib-8206341757fa362418060242f06217d0470423b7.tar.zst nixlib-8206341757fa362418060242f06217d0470423b7.zip |
Merge pull request #39333 from markuskowa/openmpi-up
openmpi: 3.0.0 -> 3.0.1
Diffstat (limited to 'pkgs/top-level/ocaml-packages.nix')
0 files changed, 0 insertions, 0 deletions