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/llvm-ocaml: Bump to 9.0.1_rc1Michał Górny2019-11-232-0/+121
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlpdf: drop myself as a maintainerTim Harder2019-11-181-4/+1
| | | | Signed-off-by: Tim Harder <radhermit@gentoo.org>
* dev-ml/camlpdf: remove oldTim Harder2019-11-183-54/+0
| | | | Signed-off-by: Tim Harder <radhermit@gentoo.org>
* dev-ml/camlpdf: version bump to 2.3Tim Harder2019-11-182-0/+37
| | | | Signed-off-by: Tim Harder <radhermit@gentoo.org>
* dev-ml/ocaml-make: drop oldAaron Bauman2019-11-122-32/+0
| | | | Signed-off-by: Aaron Bauman <bman@gentoo.org>
* dev-ml/llvm-ocaml: Port 9+ to llvm.org.eclassMichał Górny2019-11-033-23/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove redundant CMAKE* in EAPI 7Michał Górny2019-11-033-12/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Switch live to monorepoMichał Górny2019-11-012-5/+15
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune: amd64 stableTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/menhir: Stable versionTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocplib-simplex: Stable versionTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/seq: Stable versionTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: ocaml version upper boundAlessandro Barbieri2019-10-204-12/+24
| | | | | | | Closes: https://github.com/gentoo/gentoo/pull/13275 Package-Manager: Portage-2.3.76, Repoman-2.3.17 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/llvm-ocaml: Upstream is now at 9.0.1Michał Górny2019-10-121-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Drop redundant 8.0.0Michał Górny2019-10-112-127/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Remove remaining *-fbsd KEYWORDSMichał Górny2019-10-111-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml: Remove *-fbsd KEYWORDSMichał Górny2019-10-1142-42/+42
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Update 10+ for dylib linkingMichał Górny2019-10-041-1/+4
| | | | | | | | Pass appropriate arguments to 10+ to link against dylib instead of trying to link to non-existent static libs. This still needs a fix upstream but the ebuild's broken anyway. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add ARC targetMichał Górny2019-10-011-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Nios2 was removed upstreamMichał Górny2019-10-011-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Reorder ebuild vars in 9+Michał Górny2019-09-213-8/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 9.0.0Michał Górny2019-09-212-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Use BDEPEND semi-properlyMichał Górny2019-09-172-2/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 5.0.2Michał Górny2019-09-092-122/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/seq: fix dependencyTupone Alfredo2019-08-261-1/+2
| | | | | | Closes: https://bugs.gentoo.org/691152 Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Update LICENSE for 9+Michał Górny2019-08-182-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: RISCV is no longer exp. in 9.0+Michał Górny2019-08-122-3/+3
| | | | | Closes: https://bugs.gentoo.org/691816 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/facile: arm64 stableAaron Bauman2019-07-291-1/+1
| | | | | | Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm64"
* dev-ml/ocplib-simplex: Fix SRC_URITupone Alfredo2019-07-251-1/+1
| | | | | | Closes: https://bugs.gentoo.org/690710 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/seq: Bad FilenameTupone Alfredo2019-07-252-2/+2
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/dune: add dev-ml/duneTupone Alfredo2019-07-253-0/+49
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/menhir: bump to 20181006Tupone Alfredo2019-07-252-0/+37
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/seq: compatibility for iterator typeTupone Alfredo2019-07-254-0/+54
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/ocplib-simplex: version bump to 0.4Tupone Alfredo2019-07-242-0/+34
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/llvm-ocaml: Remove mistaken use of PYTHON_REQUIRED_USEMichał Górny2019-07-227-16/+9
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: -9.0.9999 → -9.0.0.9999Michał Górny2019-07-211-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: -9999 → -10.0.0.9999Michał Górny2019-07-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Fix branch in 9.0.9999Michał Górny2019-07-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 8.0.9999Michał Górny2019-07-211-127/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 9.0 branch live ebuildMichał Górny2019-07-211-0/+127
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump -9999 to EAPI 7Michał Górny2019-07-211-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 8.0.1Michał Górny2019-07-202-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/async_ssl: add 0.9.1Hans de Graaff2019-07-152-0/+40
| | | | | | Fixes: https://bugs.gentoo.org/675502 Signed-off-by: Hans de Graaff <graaff@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
* dev-ml/ocamlnet: Replace STRIP_MASK with RESTRICT=stripMichał Górny2019-07-053-21/+6
| | | | | Closes: https://bugs.gentoo.org/651440 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/oasis: Replace STRIP_MASK with RESTRICT="strip"Michał Górny2019-07-052-4/+4
| | | | | Closes: https://bugs.gentoo.org/651438 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Enable Python 3 in -9999Michał Górny2019-06-111-2/+2
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 4.0.1Michał Górny2019-06-022-120/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 7.0.1Michał Górny2019-05-152-128/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 7.0.9999Michał Górny2019-04-191-127/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 7.1.0Michał Górny2019-04-172-0/+128
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>