diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-17 00:01:46 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2017-02-17 00:01:53 +0000 |
| commit | 15db6e80760c5c0633251eaf0058ca8e6a10ff2f (patch) | |
| tree | 70c46820fbb552daf2d89996d12cf75eaeace3de /sci-mathematics/agda-stdlib | |
| parent | sys-power/acpilight: New version snapshot (diff) | |
| download | gentoo-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/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/files/standard-library.agda-lib | 2 |
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 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 |