summaryrefslogtreecommitdiff
path: root/dev-ml/ocsigen-i18n
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/ocsigen-i18n')
-rw-r--r--dev-ml/ocsigen-i18n/Manifest3
-rw-r--r--dev-ml/ocsigen-i18n/metadata.xml11
-rw-r--r--dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild23
3 files changed, 0 insertions, 37 deletions
diff --git a/dev-ml/ocsigen-i18n/Manifest b/dev-ml/ocsigen-i18n/Manifest
deleted file mode 100644
index c5a901a3e086..000000000000
--- a/dev-ml/ocsigen-i18n/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST ocsigen-i18n-3.1.0.tar.gz 6066 BLAKE2B 80c905a8b332a0b83c6184581b97c4766dc1059770eb5832881eb00a0201b2d093bf15b48432c2ed17a26b719afe0ebb919ea971eb75a7b3f99b5e600c0e79d2 SHA512 a103c8da39ffadbe90ef183ee9ad3b68f3b5feb8dd5cf9d94f37880dcfedd495bbe799e218e739eb830e8dc7c8636edbd8c00ce9c0843ecf8047f9eb00b9f18f
-EBUILD ocsigen-i18n-3.1.0.ebuild 537 BLAKE2B f3524aa4d43cede4e6e1fbd10fe97209c058ec1eb15feb5d7e9b415371e3794e1bffacde574d8b2f0db6cbd7566bde1eb75f7b29a28722e7dfcb25d7ecef10c8 SHA512 bfd8aae4929b658130afcfec65f7efd80ce38cf8092e8347241c86e65ecc77c573732fad7085840869ec5f5df8aa1818c3fdd9682076dd8a590979a25a9de542
-MISC metadata.xml 332 BLAKE2B 65e9bddf927ebe8d5cebdc06de37b0b49f1c51b70f8b6e7941d2662a472fc1775bf551ae2734726d1f317a508d347e1e07402a1f4dfae23a30513581190f037f SHA512 48cdf62c68d08f7d5a3b8c8ac917481418232ab4f9b37ebccab8742f4516139044c9ce54efe771d2b9fd7fa8e4daffd6311c895d9352ac1a28931bfecf17c510
diff --git a/dev-ml/ocsigen-i18n/metadata.xml b/dev-ml/ocsigen-i18n/metadata.xml
deleted file mode 100644
index d19446036e3e..000000000000
--- a/dev-ml/ocsigen-i18n/metadata.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
-<pkgmetadata>
- <maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
- </maintainer>
- <upstream>
- <remote-id type="github">besport/ocsigen-i18n</remote-id>
- </upstream>
-</pkgmetadata>
diff --git a/dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild b/dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild
deleted file mode 100644
index ab2fac7140f3..000000000000
--- a/dev-ml/ocsigen-i18n/ocsigen-i18n-3.1.0.ebuild
+++ /dev/null
@@ -1,23 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="I18n made easy for web sites written with eliom"
-HOMEPAGE="https://github.com/besport/ocsigen-i18n"
-SRC_URI="https://github.com/besport/ocsigen-i18n/archive/${PV}.tar.gz -> ${P}.tar.gz"
-
-LICENSE="LGPL-2.1"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="dev-lang/ocaml:="
-DEPEND="${RDEPEND}
- dev-ml/findlib"
-
-src_install() {
- dodir /usr/bin
- emake bindir="${ED}/usr/bin" install || die
- dodoc README.MD
-}