diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2017-07-18 23:38:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-18 23:38:53 +0100 |
| commit | d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea (patch) | |
| tree | f1006cb170f25cb574aa6cab6b0485988de8539a /pkgs/development/coq-modules/CoLoR/default.nix | |
| parent | 0b3d29d4ac08430bee94e90596cdd47b0b3c0dd2 (diff) | |
| parent | ae8eff8b7b3a792236aaf3ac828e26edc0fe96ec (diff) | |
| download | nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.tar nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.tar.gz nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.tar.bz2 nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.tar.lz nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.tar.xz nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.tar.zst nixpkgs-d945e3ccc4303bcd028ad68d095b0c8bf83ae7ea.zip | |
Merge pull request #27366 from veprbl/version_bumps
bump rivet, yoda, lhapdf
Diffstat (limited to 'pkgs/development/coq-modules/CoLoR/default.nix')
0 files changed, 0 insertions, 0 deletions