summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergei Trofimovich <slyfox@gentoo.org>2017-02-17 00:01:46 +0000
committerSergei Trofimovich <slyfox@gentoo.org>2017-02-17 00:01:53 +0000
commit15db6e80760c5c0633251eaf0058ca8e6a10ff2f (patch)
tree70c46820fbb552daf2d89996d12cf75eaeace3de /sci-mathematics
parentsys-power/acpilight: New version snapshot (diff)
downloadgentoo-15db6e80760c5c0633251eaf0058ca8e6a10ff2f.tar.gz
gentoo-15db6e80760c5c0633251eaf0058ca8e6a10ff2f.tar.bz2
gentoo-15db6e80760c5c0633251eaf0058ca8e6a10ff2f.zip
sci-mathematics/agda-stdlib: add forgotten 'standard-library.agda-lib'
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/agda-stdlib/files/standard-library.agda-lib2
1 files changed, 2 insertions, 0 deletions
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 00000000000..7cd8525ff7b
--- /dev/null
+++ b/sci-mathematics/agda-stdlib/files/standard-library.agda-lib
@@ -0,0 +1,2 @@
+name: standard-library
+include: /usr/share/agda-stdlib