commit: 15db6e80760c5c0633251eaf0058ca8e6a10ff2f Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> AuthorDate: Fri Feb 17 00:01:46 2017 +0000 Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> CommitDate: Fri Feb 17 00:01:53 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=15db6e80
sci-mathematics/agda-stdlib: add forgotten 'standard-library.agda-lib' Package-Manager: Portage-2.3.3, Repoman-2.3.1 sci-mathematics/agda-stdlib/files/standard-library.agda-lib | 2 ++ 1 file changed, 2 insertions(+) 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 0000000000..7cd8525ff7 --- /dev/null +++ b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib @@ -0,0 +1,2 @@ +name: standard-library +include: /usr/share/agda-stdlib
