diff options
| author |   Mark Wright <gienah@gentoo.org> | 2014-07-02 15:48:47 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2014-07-02 15:48:47 +0000 |
| commit | 9090f9bbcf7f53dfba24f1d350afea74ea0f2470 (patch) | |
| tree | 77c23299887c44bbc06d17a25df79224f2cd7f48 /sci-mathematics/coq/metadata.xml | |
| parent | Bump connection to 0.2.1 (diff) | |
| download | historical-9090f9bbcf7f53dfba24f1d350afea74ea0f2470.tar.gz historical-9090f9bbcf7f53dfba24f1d350afea74ea0f2470.tar.bz2 historical-9090f9bbcf7f53dfba24f1d350afea74ea0f2470.zip | |
Bump basic-prelude to 0.3.8
Package-Manager: portage-2.2.10/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
Diffstat (limited to 'sci-mathematics/coq/metadata.xml')
0 files changed, 0 insertions, 0 deletions