diff options
author | José Romildo Malaquias <malaquias@gmail.com> | 2019-07-02 07:54:02 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-02 07:54:02 -0300 |
commit | 1556781737d75688f240485ed448b4b4184ca882 (patch) | |
tree | bd4c861f65ea445065e2ff5b21ed9b88817cf2af /pkgs/top-level/coq-packages.nix | |
parent | 63e15d588a2b0a280b04ee14b65ef3b8e7a92c2d (diff) | |
parent | 68c01eb0ece78ae245afe8014e4fb5a68660dc44 (diff) |
Merge pull request #64104 from r-ryantm/auto-update/papirus-icon-theme
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions