From: Sergei Trofimovich Date: Fri, 17 Feb 2017 00:01:46 +0000 (+0000) Subject: sci-mathematics/agda-stdlib: add forgotten 'standard-library.agda-lib' X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=15db6e80760c5c0633251eaf0058ca8e6a10ff2f;p=gentoo.git sci-mathematics/agda-stdlib: add forgotten 'standard-library.agda-lib' Package-Manager: Portage-2.3.3, Repoman-2.3.1 --- diff --git a/sci-mathematics/agda-stdlib/files/standard-library.agda-lib b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib new file mode 100644 index 000000000000..7cd8525ff7bd --- /dev/null +++ b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib @@ -0,0 +1,2 @@ +name: standard-library +include: /usr/share/agda-stdlib