diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2019-09-06 06:10:47 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-06 06:10:47 -0500 |
| commit | 79303d40650c52e32f8a8b5ff2e21e0a08a96926 (patch) | |
| tree | 3c2e794d44815e767f6087bf206e0e6154020afc /pkgs/development/coq-modules | |
| parent | 089011e4f9806d7c8afc8899dd99ae5ffa21d7c0 (diff) | |
| parent | 56ddfa9d8fb102b2bfe957599aeb39679dee67d6 (diff) | |
| download | nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.tar nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.tar.gz nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.tar.bz2 nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.tar.lz nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.tar.xz nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.tar.zst nixpkgs-79303d40650c52e32f8a8b5ff2e21e0a08a96926.zip | |
Merge pull request #68186 from marsam/update-procs
procs: 0.8.5 -> 0.8.9
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions