summaryrefslogtreecommitdiff
path: root/dev-ml/ocsigen-i18n-3.1.0
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/ocsigen-i18n-3.1.0
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/ocsigen-i18n-3.1.0')
-rw-r--r--dev-ml/ocsigen-i18n-3.1.011
1 files changed, 0 insertions, 11 deletions
diff --git a/dev-ml/ocsigen-i18n-3.1.0 b/dev-ml/ocsigen-i18n-3.1.0
deleted file mode 100644
index 3a66162e63ca..000000000000
--- a/dev-ml/ocsigen-i18n-3.1.0
+++ /dev/null
@@ -1,11 +0,0 @@
-DEFINED_PHASES=install
-DEPEND=dev-lang/ocaml:= dev-ml/findlib
-DESCRIPTION=I18n made easy for web sites written with eliom
-EAPI=6
-HOMEPAGE=https://github.com/besport/ocsigen-i18n
-KEYWORDS=~amd64
-LICENSE=LGPL-2.1
-RDEPEND=dev-lang/ocaml:=
-SLOT=0/3.1.0
-SRC_URI=https://github.com/besport/ocsigen-i18n/archive/3.1.0.tar.gz -> ocsigen-i18n-3.1.0.tar.gz
-_md5_=3a6d4f130e52a64217fce33daa9a8122