diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-04-27 12:38:39 +0200 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-04-27 12:40:03 +0200 |
| commit | 10c111e220f2e45fa220d9c2a2aaa88a52cf38d3 (patch) | |
| tree | fd7f0797226cb5f5bf0a678be012c3b18a046aa3 /dev-lang/ocaml | |
| parent | dev-ml/camlp5: add remoteid (diff) | |
| download | gentoo-10c111e220f2e45fa220d9c2a2aaa88a52cf38d3.tar.gz gentoo-10c111e220f2e45fa220d9c2a2aaa88a52cf38d3.tar.bz2 gentoo-10c111e220f2e45fa220d9c2a2aaa88a52cf38d3.zip | |
dev-lang/ocaml: add remoteid
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Diffstat (limited to 'dev-lang/ocaml')
| -rw-r--r-- | dev-lang/ocaml/metadata.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev-lang/ocaml/metadata.xml b/dev-lang/ocaml/metadata.xml index 8824d14f0cef..720c6c5d8b36 100644 --- a/dev-lang/ocaml/metadata.xml +++ b/dev-lang/ocaml/metadata.xml @@ -9,4 +9,7 @@ <flag name="flambda">Enables the Flambda optimizer: A new intermediate representation (introduced in ocaml 4.03) in the depths of the compiler designed to allow for better inlining.</flag> <flag name="spacetime">Enables the Spacetime memory profiler. See https://caml.inria.fr/pub/docs/manual-ocaml/spacetime.html for more information.</flag> </use> + <upstream> + <remote-id type="github">ocaml/ocaml</remote-id> + </upstream> </pkgmetadata> |