diff options
author | 2017-07-13 23:20:38 +0200 | |
---|---|---|
committer | 2017-07-14 00:09:34 +0200 | |
commit | 75f659b0c5cde57481f29d939a90559e59027b60 (patch) | |
tree | 9aed45ff14da4254c870099d24f6e9f8feaeefb0 /games-strategy | |
parent | sys-kernel/ck-sources: v.bump (4.9.37 & 4.11.10) (diff) | |
download | gentoo-75f659b0c5cde57481f29d939a90559e59027b60.tar.gz gentoo-75f659b0c5cde57481f29d939a90559e59027b60.tar.bz2 gentoo-75f659b0c5cde57481f29d939a90559e59027b60.zip |
sci-mathematics/coq: Remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Diffstat (limited to 'games-strategy')
0 files changed, 0 insertions, 0 deletions