From 15db6e80760c5c0633251eaf0058ca8e6a10ff2f Mon Sep 17 00:00:00 2001 From: Sergei Trofimovich Date: Fri, 17 Feb 2017 00:01:46 +0000 Subject: 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(+) create mode 100644 sci-mathematics/agda-stdlib/files/standard-library.agda-lib 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 -- cgit v1.2.3-65-gdbad