Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/menhir: bump to 20151112.Alexis Ballier2015-11-132-0/+37
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-122-0/+48
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/camlp5: remove oldAlexis Ballier2015-11-123-136/+0
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/findlib: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
* dev-ml/labltk: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
* dev-ml/camlp5: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
* dev-ml/camlp4: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
* dev-ml/camldbm: ppc stable wrt bug #463018Agostino Sarubbo2015-11-121-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
* dev-ml/ocaml-ctypes: x86 stable wrt bug #564404Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* dev-ml/findlib: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* dev-ml/labltk: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* dev-ml/camlp5: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* dev-ml/camlp4: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* dev-ml/camldbm: x86 stable wrt bug #463018Agostino Sarubbo2015-11-111-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
* dev-ml/ocaml-ctypes: amd64 stable wrt bug #564404Agostino Sarubbo2015-11-101-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
* dev-ml/findlib: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
* dev-ml/labltk: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
* dev-ml/camlp5: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
* dev-ml/camlp4: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
* dev-ml/camldbm: amd64 stable wrt bug #463018Agostino Sarubbo2015-11-101-1/+1
| | | | | Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
* dev-ml/ocaml-sqlite3: bump to 4.0.1Alexis Ballier2015-11-062-0/+30
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/menhir: Bump to 20151103.Alexis Ballier2015-11-052-0/+37
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/utop: Bump to 1.18.1Alexis Ballier2015-11-052-0/+60
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/zarith: Bump to 1.4.Alexis Ballier2015-11-052-0/+48
| | | | | Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
* dev-ml/findlib: Stable for PPC64 (bug #463018).Jeroen Roovers2015-11-031-1/+1
| | | | | Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
* dev-ml/labltk: Stable for PPC64 (bug #463018).Jeroen Roovers2015-11-031-1/+1
| | | | | Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
* dev-ml/camlp4: Stable for PPC64 (bug #463018).Jeroen Roovers2015-11-031-1/+1
| | | | | Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
* dev-ml/ocaml-ctypes: Bump ocaml dep to one providing bytes. Bug #563446.Alexis Ballier2015-11-021-1/+1
| | | | Package-Manager: portage-2.2.23
* dev-ml/findlib: Stable for HPPA (bug #463018).Jeroen Roovers2015-11-011-1/+1
| | | | | Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
* dev-ml/labltk: Stable for HPPA (bug #463018).Jeroen Roovers2015-11-011-1/+1
| | | | | Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
* dev-ml/camlp4: Stable for HPPA (bug #463018).Jeroen Roovers2015-11-011-1/+1
| | | | | Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
* dev-ml/menhir: Bump to 20151030.Alexis Ballier2015-11-012-0/+37
| | | | Package-Manager: portage-2.2.23
* dev-ml/ocurl: Bump to 0.7.6.Alexis Ballier2015-10-302-0/+38
| | | | Package-Manager: portage-2.2.23
* dev-ml/menhir: bump to 20151026.Alexis Ballier2015-10-302-0/+37
| | | | | | Fixes bug #564310 Package-Manager: portage-2.2.23
* dev-ml/menhir: Bump to 20151023.Alexis Ballier2015-10-262-0/+37
| | | | Package-Manager: portage-2.2.23
* dev-ml/findlib: Bump to 1.5.6.Alexis Ballier2015-10-263-0/+79
| | | | | | Also add comment in patch to describe it. Package-Manager: portage-2.2.23
* Update remote-idsJustin Lecher2015-10-219-9/+36
| | | | Signed-off-by: Justin Lecher <jlec@gentoo.org>
* dev-ml/ocamlnet: remove old.Alexis Ballier2015-10-213-158/+0
| | | | Package-Manager: portage-2.2.23
* dev-ml/csv: Bump to 1.4.2.Alexis Ballier2015-10-192-0/+25
| | | | Package-Manager: portage-2.2.23
* dev-ml/ocaml-cstruct: revbump: enable lwt per defaultMatthew Brewer2015-10-181-1/+1
| | | | enable lwt support per default as it's required for Libre S3
* dev-ml/ocaml-dns: new ebuildMatthew Brewer2015-10-183-0/+63
| | | | | - ocaml-dns clashes with ancient odns and apparently supersedes it - explicit support for MirageOS is not enabled
* dev-ml/mirage-profile: Add link to upstream bug report for test failures.Alexis Ballier2015-10-181-0/+1
| | | | Package-Manager: portage-2.2.23
* dev-ml/mirage-profile: new ebuildMatthew Brewer2015-10-183-0/+41
| | | | | | | | - needed as a transitive dependency of Libre S3 1.1 (net-misc/libres3) - explicit support for MirageOS is not enabled known issue: dev-ml/mirage-profile-0.5 fails FEATURES=test ( https://github.com/mirage/mirage-profile/issues/11 )
* Merge remote-tracking branch 'github/pr/245'Alexis Ballier2015-10-173-0/+38
|\
| * dev-ml/io-page: new ebuildMatthew Brewer2015-10-173-0/+38
| | | | | | | | | | - needed as a transitive dependency of Libre S3 1.1 (net-misc/libres3) - explicit support for MirageOS is not enabled
* | dev-ml/ocaml-cstruct: revbumpMatthew Brewer2015-10-171-1/+1
| | | | | | | | sets +camlp4 since ocaml-pcap needs it
* | dev-ml/ocaml-pcap: new ebuildMatthew Brewer2015-10-173-0/+44
| | | | | | | | | | - needed as a transitive dependency of Libre S3 1.1 (net-misc/libres3) - explicit support for MirageOS is not enabled
* | dev-ml/zarith: revbumpMatthew Brewer2015-10-171-1/+1
| | | | | | | | changed SLOT="0" to SLOT="0/${PV}" to make := actually useful
* | dev-ml/ocaml-uri: revbumpMatthew Brewer2015-10-171-1/+1
| | | | | | | | changed SLOT="0" to SLOT="0/${PV}" to make := actually useful
* | dev-ml/ocplib-endian: revbumpMatthew Brewer2015-10-171-1/+1
| | | | | | | | changed SLOT="0" to SLOT="0/${PV}" to make := actually useful