dev-ml / camlp5

A preprocessor-pretty-printer of ocaml

Official package sites : https://camlp5.github.io/ ·

v7.03 :: 0/7.03 :: gentoo

Modified
License
BSD
Keywords
~alpha ~amd64 ~ppc ~x86 ~x86-fbsd
USE flags
doc ocamlopt

v7.01 :: 0/7.01 :: gentoo

Modified
License
BSD
Keywords
~alpha ~amd64 ~ppc ~x86 ~x86-fbsd
USE flags
doc ocamlopt

v7.00 :: 0/7.00 :: gentoo

Modified
License
BSD
Keywords
~alpha ~amd64 ~ppc ~x86 ~x86-fbsd
USE flags
doc ocamlopt

v6.17 :: 0/6.17 :: gentoo

Modified
License
BSD
Keywords
alpha amd64 ppc x86 ~x86-fbsd
USE flags
doc ocamlopt

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
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-lang / ocaml : Type-inferring functional programming language descended from the ML family

app-misc / geneweb : Genealogy software program with a Web interface

app-misc / ledit : A line editor to be used with interactive commands

sci-mathematics / coq : Proof assistant written in O'Caml

644162
dev-ml/camlp5-7.03 : Fatal error: exception Stack overflow
Alexis Ballier · gentoo
dev-ml/camlp5: bump to 7.03
Package-Manager: Portage-2.3.12, Repoman-2.3.4
Alexis Ballier · gentoo
dev-ml/camlp5: bump to 7.01
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Alexis Ballier · gentoo
dev-ml/camlp5: Bump to 7.00
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Alexis Ballier · gentoo
dev-ml/camlp5: Hook in ocaml 4.04.2 support
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/camlp5: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Tobias Klausmann · gentoo
dev-ml/camlp5-6.17-r0: stable on alpha
Gentoo-Bug: 604938
Agostino Sarubbo · gentoo
dev-ml/camlp5: ppc stable wrt bug #604938
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/camlp5: x86 stable wrt bug #604938
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Aaron Bauman · gentoo
dev-ml/camlp5: amd64 stable wrt bug #604938
Alexis Ballier · gentoo
dev-ml/camlp5: bump to 6.17
Package-Manager: portage-2.3.2
Alexis Ballier · gentoo
dev-ml/camlp5: propagate ~alpha to newest versions
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/camlp5: bump to 6.16
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Tobias Klausmann · gentoo
dev-ml/camlp5: add alpha keyword
Gentoo-Bug: 463018 Package-Manager: portage-2.2.27
Alexis Ballier · gentoo
dev-ml/camlp5: bump to 6.15
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/camlp5: remove old
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/camlp5: ppc stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
Agostino Sarubbo · gentoo
dev-ml/camlp5: x86 stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
Agostino Sarubbo · gentoo
dev-ml/camlp5: amd64 stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
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