diff options
| author |   Keri Harris <keri@gentoo.org> | 2013-01-10 12:52:38 +0000 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2013-01-10 12:52:38 +0000 |
| commit | f4de51ac6fd4a09998d8a6f49e6ba86b856d9c88 (patch) | |
| tree | 6f92c61dc0ab19135fb8f08d81dd9041b1905b84 /dev-lang/gdl | |
| parent | Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --... (diff) | |
| download | gentoo-2-f4de51ac6fd4a09998d8a6f49e6ba86b856d9c88.tar.gz gentoo-2-f4de51ac6fd4a09998d8a6f49e6ba86b856d9c88.tar.bz2 gentoo-2-f4de51ac6fd4a09998d8a6f49e6ba86b856d9c88.zip | |
Restrict gprolog compile to single instance of gplc as it cannot safely be run in parallel
(Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key A138F5ED)
Diffstat (limited to 'dev-lang/gdl')
0 files changed, 0 insertions, 0 deletions