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/sexplib: fix keywordsMaciej Barć2022-04-231-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/sexplib: bump to 0.15.0Maciej Barć2022-04-232-0/+24
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: fix 50merlin-gentoo.elMaciej Barć2022-04-236-4/+4
| | | | | | SLITELISP -> SITELISP Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/parmap: depends on dune-configurator subslotAlfredo Tupone2022-04-221-1/+1
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_expect: 0.15.0 bumpAlfredo Tupone2022-04-225-0/+36
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_inline_test: 0.15.0 bumpAlfredo Tupone2022-04-222-0/+28
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: 0.15.0 bumpAlfredo Tupone2022-04-225-3/+32
| | | | | | Closes: https://bugs.gentoo.org/839945 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core: update dependencies version constraintsMaciej Barć2022-04-221-4/+4
| | | | | | | to match opam package definition from https://opam.ocaml.org/packages/core/core.v0.14.0/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/core: update dependencies version constraintsMaciej Barć2022-04-221-4/+4
| | | | | | | to match opam package definition from https://opam.ocaml.org/packages/core/core.v0.14.1/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/stdio: 0.15.0 bumpAlfredo Tupone2022-04-223-2/+20
| | | | | | Closes: https://bugs.gentoo.org/838706 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdio: update sexplib package version constraintsMaciej Barć2022-04-221-2/+3
| | | | | Bug: https://bugs.gentoo.org/838706 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/base: update sexplib package version constrintsMaciej Barć2022-04-224-9/+9
| | | | | | | to match opam package definition from https://opam.ocaml.org/packages/base/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/stdio: update base package version constrintsMaciej Barć2022-04-221-3/+3
| | | | | | | to match opam package definition from https://opam.ocaml.org/packages/stdio/stdio.v0.14.0/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove oldMichał Górny2022-04-213-225/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/base: use github archiveAlfredo Tupone2022-04-212-5/+2
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base: 0.15.0 bumpAlfredo Tupone2022-04-212-0/+25
| | | | | | Closes: https://bugs.gentoo.org/838694 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib0: 0.15.0 bumpAlfredo Tupone2022-04-212-0/+16
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: fix elisp compilationMaciej Barć2022-04-201-0/+2
| | | | | Closes: https://bugs.gentoo.org/839645 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: 2.9.3 - enable Emacs support & bump to EAPI 8Maciej Barć2022-04-192-3/+16
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/pcre-ocaml: Keyword 7.4.6-r2 riscv, #838100Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/patience_diff: Keyword 0.14.0 riscv, #838100Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/bos: Keyword 0.2.1 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/fpath: Keyword 0.7.3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/rresult: Keyword 0.7.0 riscv, #835392Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune-private-libs: Keyword 2.9.3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-client: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-solver: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-state: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-repository: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/ounit2: Keyword 2.2.6 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/lwt: Keyword 5.4.2-r1 riscv, #835392Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/luv: Keyword 0.5.11 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/ocaml-ctypes: Keyword 0.20.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/integers: Keyword 0.5.1 riscv, #835392Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/bigarray-compat: Keyword 1.1.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/alcotest: Keyword 1.5.0 riscv, #835392Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/uuidm: Keyword 0.9.7 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/logs: Keyword 0.7.0-r1 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/mtime: Keyword 1.3.0 riscv, #835392Yongxiang Liang2022-04-181-2/+2
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/mirage-clock: Keyword 3.1.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/fmt: Keyword 0.9.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/duration: Keyword 0.1.3 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/async_unix: Keyword 0.14.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/async_kernel: Keyword 0.14.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/astring: Keyword 0.8.5 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/react: Keyword 1.2.1-r1 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-installer: Keyword 2.1.2 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/opam-format: Keyword 2.1.2-r1 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/mccs: Keyword 1.1.13 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>