diff options
author | Will Dietz <w@wdtz.org> | 2019-09-16 10:49:30 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-16 10:49:30 -0500 |
commit | 63bdef75915299a44441bc71ca5d29faaba6689e (patch) | |
tree | 63e0efcee6b3bc54a1dbe7ad9a6427fd4aa096bd /pkgs/applications/science/logic/coq/default.nix | |
parent | 0caa727cdd8dfc8a4ff90a123fc35025f0a6629f (diff) | |
parent | 063b61933825f4839a8b16f6ec16ee4f48654f25 (diff) |
Merge pull request #67289 from dtzWill/update/libcbor-2019-07-25
libcbor: 2019-02-23 -> 2019-07-25
Diffstat (limited to 'pkgs/applications/science/logic/coq/default.nix')
0 files changed, 0 insertions, 0 deletions