diff options
| author | Michał Górny <mgorny@gentoo.org> | 2016-06-21 22:24:28 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2016-06-21 22:32:45 +0200 |
| commit | 84224f26f9c893299a487431e2ee005b1795f01c (patch) | |
| tree | d0333e5da3985a57ce379c199dca426e32992a0b /dev-ml/pipebang | |
| parent | 23c0a5e66e44e35d9854ee94dc0e3b41a2f15035 (diff) | |
| download | gentoo-84224f26f9c893299a487431e2ee005b1795f01c.tar.gz gentoo-84224f26f9c893299a487431e2ee005b1795f01c.tar.xz | |
sci-mathematics/coq: Remove := from || dep, #586304
Diffstat (limited to 'dev-ml/pipebang')
0 files changed, 0 insertions, 0 deletions