projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7fbeab2) | patch
sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()
authorJustin Lecher <jlec@gentoo.org>
Mon, 23 Nov 2015 10:21:09 +0000 (11:21 +0100)
committerJustin Lecher <jlec@gentoo.org>
Mon, 23 Nov 2015 10:46:39 +0000 (11:46 +0100)
commit067f2d2d638ded5988c36e5541d0e98eafa0a6b9
treecf38a27fddd44bdb72a24611764fd59e99b0e0e9tree | snapshot
parent7fbeab2ed7339b602b134a2bba4016e977266a54commit | diff
sci-mathematics/agda-stdlib: Replace INSOPTIONS by insopts()

Gentoo-Bug: https://bugs.gentoo.org/show_bug.cgi?id=566490

Package-Manager: portage-2.2.25
Signed-off-by: Justin Lecher <jlec@gentoo.org>
sci-mathematics/agda-stdlib/agda-stdlib-0.8.ebuild diff | blob | history
sci-mathematics/agda-stdlib/agda-stdlib-0.9.ebuild diff | blob | history
sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.3.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.