diff options
| author |   Sebastien Fabbro <bicatali@gentoo.org> | 2012-01-04 04:58:21 +0000 |
|---|---|---|
| committer | Sebastien Fabbro <bicatali@gentoo.org> | 2012-01-04 04:58:21 +0000 |
| commit | fa86bdd52fb351f71b959dd58a182f303c9d8d6c (patch) | |
| tree | e657d01b7af57cb247a776a77428c516bd0f7020 /sci-mathematics/coq | |
| parent | version bump (bug #397551) (diff) | |
| download | historical-fa86bdd52fb351f71b959dd58a182f303c9d8d6c.tar.gz historical-fa86bdd52fb351f71b959dd58a182f303c9d8d6c.tar.bz2 historical-fa86bdd52fb351f71b959dd58a182f303c9d8d6c.zip | |
Version bump. Remove old.
Package-Manager: portage-2.1.10.41/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions