diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2017-02-25 20:43:58 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2017-02-25 20:43:58 +0000 |
| commit | aa9317696e6e928ae88775a37371f77514699d03 (patch) | |
| tree | 90b332bdbe94ec1ba8be0b795820fd73308f0730 /sci-mathematics/coq | |
| parent | 2017-02-25 20:33:14 UTC (diff) | |
| parent | dev-vcs/git: Bump to version 2.12.0 (diff) | |
| download | gentoo-aa9317696e6e928ae88775a37371f77514699d03.tar.gz gentoo-aa9317696e6e928ae88775a37371f77514699d03.tar.bz2 gentoo-aa9317696e6e928ae88775a37371f77514699d03.zip | |
Merge updates from master
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions