diff options
| author |   Agostino Sarubbo <ago@gentoo.org> | 2013-04-05 20:28:51 +0000 |
|---|---|---|
| committer | Agostino Sarubbo <ago@gentoo.org> | 2013-04-05 20:28:51 +0000 |
| commit | 1f389eefbd88edf9c25cd0f5d28f6104bfef1296 (patch) | |
| tree | 686481f8f324e14963698222f5b1a74490a8da4d /sci-mathematics/coq | |
| parent | Stable for arm, wrt bug #464384 (diff) | |
| download | historical-1f389eefbd88edf9c25cd0f5d28f6104bfef1296.tar.gz historical-1f389eefbd88edf9c25cd0f5d28f6104bfef1296.tar.bz2 historical-1f389eefbd88edf9c25cd0f5d28f6104bfef1296.zip | |
Stable for arm, wrt bug #464112
Package-Manager: portage-2.1.11.55/cvs/Linux ppc64
Manifest-Sign-Key: 0x7194459F
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions