diff options
| author |   Manuel Rüger <mrueg@gentoo.org> | 2014-04-12 23:54:03 +0000 |
|---|---|---|
| committer | Manuel Rüger <mrueg@gentoo.org> | 2014-04-12 23:54:03 +0000 |
| commit | 8f44a41c3a551f7af6b9f1274727f848f72cddaa (patch) | |
| tree | 1e8d605d76567fa8408eaf9a1ad8cb5d66272b98 /sci-mathematics/coq | |
| parent | Remove ruby18 target. (diff) | |
| download | gentoo-2-8f44a41c3a551f7af6b9f1274727f848f72cddaa.tar.gz gentoo-2-8f44a41c3a551f7af6b9f1274727f848f72cddaa.tar.bz2 gentoo-2-8f44a41c3a551f7af6b9f1274727f848f72cddaa.zip | |
Remove ruby18 target.
(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key )
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions