diff options
author | Gabriel Ebner <gebner@gebner.org> | 2019-10-15 16:06:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-15 16:06:07 +0200 |
commit | f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f (patch) | |
tree | 08edc066ac61147455b82c70a693ab46b74514c5 /pkgs/applications/misc | |
parent | 3a90d58a44914a52a567586e3c0c3f67e3c28aaf (diff) | |
parent | fc0be2a54ef63d4d7fa2dcc0ac51411b916ffafc (diff) | |
download | nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.tar nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.tar.gz nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.tar.bz2 nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.tar.lz nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.tar.xz nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.tar.zst nixpkgs-f3ecf7d3e0f99c73595bd0601ffa50ac5bcfef6f.zip |
Merge pull request #71177 from Taneb/metamath-upgrade
metamath: 0.172 -> 0.178
Diffstat (limited to 'pkgs/applications/misc')
0 files changed, 0 insertions, 0 deletions