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
* xmlm: not yet needed. dropAlfredo Tupone2021-11-093-34/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/uunf: 14.0.0 bumpAlfredo Tupone2021-11-092-0/+32
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/xmlm: new packageAlfredo Tupone2021-11-093-0/+34
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_variants_conv: 0.14.2 bumpAlfredo Tupone2021-11-082-0/+26
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 10*Michał Górny2021-11-082-121/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lwt: readd dev-ml/mmap dependencyAlfredo Tupone2021-11-071-0/+1
| | | | | | Closes: https://bugs.gentoo.org/822303 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/menhir: 20211012 bumpAlfredo Tupone2021-11-072-0/+22
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lwt: 5.4.2 bumpAlfredo Tupone2021-11-072-0/+28
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: new packageAlfredo Tupone2021-11-073-0/+31
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: backport warnings patch to 8.06.10Sam James2021-11-072-0/+3
| | | | | Bug: https://bugs.gentoo.org/817980 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: adjust OCaml depSam James2021-11-071-1/+1
| | | | | | Bug: https://bugs.gentoo.org/817980 Closes: https://bugs.gentoo.org/822222 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_metaquot: treecleanSam James2021-11-073-30/+0
| | | | | | Closes: https://bugs.gentoo.org/749246 Closes: https://bugs.gentoo.org/815466 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: fix handling of ocamloptSam James2021-11-071-1/+2
| | | | | Closes: https://bugs.gentoo.org/821988 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/labltk: add 8.06.11Sam James2021-11-072-0/+51
| | | | | Closes: https://bugs.gentoo.org/817980 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: fix 2.0.10Sam James2021-11-061-5/+11
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: add 2.1.1Sam James2021-11-062-0/+40
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: add 2.1.1Sam James2021-11-062-0/+41
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.1.1Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: add 2.1.1Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: add 2.1.1Sam James2021-11-062-0/+41
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: add 2.1.1Sam James2021-11-062-0/+39
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: add 2.1.1Sam James2021-11-062-0/+47
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: add 2.1.1Sam James2021-11-062-0/+42
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: add 2.0.10Sam James2021-11-062-0/+40
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-installer: add 2.0.10Sam James2021-11-062-0/+41
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.0.10Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: add 2.0.10Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: add 2.0.10Sam James2021-11-062-0/+41
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: add 2.0.10Sam James2021-11-062-0/+39
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: add 2.0.10Sam James2021-11-062-0/+47
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: add 2.0.10Sam James2021-11-062-0/+42
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dose3: 7.0.0 bumpAlfredo Tupone2021-11-052-0/+44
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/bos: bump 0.2.1Alfredo Tupone2021-11-042-0/+44
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/fmt: bump 0.9.0Alfredo Tupone2021-11-032-0/+39
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/rresult: bump 0.7.0Alfredo Tupone2021-11-032-0/+25
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: bump 1.5.0Alfredo Tupone2021-11-032-0/+34
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: Stabilize 0.14.3 arm64, #817737Sam James2021-11-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_typerep_conv: Stabilize 0.14.2 arm64, #817734Sam James2021-11-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_sexp_conv: Stabilize 0.14.3 arm, #817737Sam James2021-11-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_typerep_conv: Stabilize 0.14.2 arm, #817734Sam James2021-11-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppxlib: ppc64 stable wrt bug #817755Agostino Sarubbo2021-11-021-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/ppxlib: ppc stable wrt bug #817755Agostino Sarubbo2021-11-021-1/+1
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/lwt: NonexistentBlockerAlfredo Tupone2021-10-291-2/+1
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppxlib: Stabilize 0.22.2-r2 arm64, #817755Sam James2021-10-291-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>