diff options
| author |   Vlastimil Babka <caster@gentoo.org> | 2008-01-11 02:41:34 +0000 |
|---|---|---|
| committer | Vlastimil Babka <caster@gentoo.org> | 2008-01-11 02:41:34 +0000 |
| commit | da696d3a6b1f1e115b8aff429cd1bd37602d3241 (patch) | |
| tree | a49bf5a89a7177dee83146611e33d1586145966b /sci-mathematics/agda | |
| parent | Updated dependencies not to rely on specific version, and allowing for later ... (diff) | |
| download | gentoo-2-da696d3a6b1f1e115b8aff429cd1bd37602d3241.tar.gz gentoo-2-da696d3a6b1f1e115b8aff429cd1bd37602d3241.tar.bz2 gentoo-2-da696d3a6b1f1e115b8aff429cd1bd37602d3241.zip | |
Initial commit from java-overlay, ant tasks to use junit-4 in ant without collision with junit-3.
(Portage version: 2.1.4_rc14)
Diffstat (limited to 'sci-mathematics/agda')
0 files changed, 0 insertions, 0 deletions