dev-ml / ocamlgraph

O'Caml Graph library

Official package sites : http://ocamlgraph.lri.fr/index.en.html ·

v1.8.8 :: 0/1.8.8 :: gentoo

Modified
License
LGPL-2.1
Keywords
amd64 ~arm ~arm64 ~ppc ~x86
USE flags
doc examples gtk ocamlopt

v1.8.7 :: 0/1.8.7 :: gentoo

Modified
License
LGPL-2.1
Keywords
ppc x86 ~amd64 ~arm ~arm64
USE flags
doc examples gtk ocamlopt

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
gtk
Add support for x11-libs/gtk+ (The GIMP Toolkit)
ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-ml / lablgtk : Objective CAML interface for Gtk+2

dev-ml / ocamlweb : O'Caml literate programming tool

dev-tex / hevea : HeVeA is a quite complete and fast LaTeX to HTML translator

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / lablgtk : Objective CAML interface for Gtk+2

dev-ml / dose3 : Library to perform analysis on package repositories

dev-ml / opam : A source-based package manager for OCaml

sci-mathematics / why3-for-spark : Platform for deductive program verification

Repository mirror & CI · gentoo
Merge updates from master
Mikle Kolyada · gentoo
dev-ml/ocamlgraph: amd64 stable wrt bug #672444
Signed-off-by: Mikle Kolyada <zlogene@gentoo.org> Package-Manager: Portage-2.3.51, Repoman-2.3.11
Alexis Ballier · gentoo
dev-ml/ocamlgraph: bump to 1.8.8
Package-Manager: Portage-2.3.11, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/ocamlgraph: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Markus Meier · gentoo
dev-ml/ocamlgraph: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="arm"
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Alexis Ballier · gentoo
dev-ml/ocamlgraph: Apply upstream patch to fix make check with ocaml 4.04. Bug #608554.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/ocamlgraph: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Agostino Sarubbo · gentoo
dev-ml/ocamlgraph: ppc stable wrt bug #607038
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/ocamlgraph: x86 stable wrt bug #607038
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Alexis Ballier · gentoo
dev-ml/ocamlgraph: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/ocamlgraph: restore keywords on 1.8.7 now that dose3 is fixed
Package-Manager: portage-2.2.28
Alexis Ballier · gentoo
dev-ml/ocamlgraph: bump to 1.8.7; without keywords because it breaks dose3
Package-Manager: portage-2.2.28
Alexis Ballier · gentoo
dev-ml/ocamlgraph: bump to 1.8.6
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed