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/mtime: bump to 1.3.0Maciej Barć2021-12-102-0/+34
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: bump to 2.9.0Maciej Barć2021-12-102-0/+28
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/logs: depend on opam-installer instead of opamMaciej Barć2021-12-081-5/+7
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/lwt_log: fid *DEPENDMaciej Barć2021-12-081-1/+1
| | | | | | Closes: https://bugs.gentoo.org/828548 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/mew: add missing test depedndenciesMaciej Barć2021-12-081-1/+3
| | | | | | Closes: https://bugs.gentoo.org/828560 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/fmt: Stabilize 0.9.0 arm, #828293Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/fmt: Stabilize 0.9.0 arm64, #828293Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/reason: install missing rtop subpackage and small docsMaciej Barć2021-12-081-0/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: newest version is on the MIT licenseMaciej Barć2021-12-081-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-lang/reason: new package; add version 3.7.0Maciej Barć2021-12-083-0/+44
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin-extend: default to ocamloptMaciej Barć2021-12-081-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: new package; add version 2.8.0Maciej Barć2021-12-083-0/+47
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lambda-term: new package; add version 3.1.0Maciej Barć2021-12-083-0/+48
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lwt: install all subpackagesMaciej Barć2021-12-081-0/+9
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lwt_log: new package; add version 1.1.1Maciej Barć2021-12-083-0/+32
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/charinfo_width: new package; add version 1.1.0Maciej Barć2021-12-083-0/+40
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/zed: new package; add version 3.1.0Maciej Barć2021-12-083-0/+45
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/mew_vi: new package; add version 0.5.0Maciej Barć2021-12-083-0/+35
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/mew: new package; add version 0.1.0Maciej Barć2021-12-083-0/+35
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/trie: new package; add version 1.0.0Maciej Barć2021-12-083-0/+29
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-stdint: some test failMaciej Barć2021-12-071-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/gen: qtest added but test failMaciej Barć2021-12-071-1/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/qtest: new package; add version 2.11.2Maciej Barć2021-12-073-0/+35
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/qcheck: new package; add version 0.18Maciej Barć2021-12-073-0/+50
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/luv: add missing dependenciesMaciej Barć2021-12-071-4/+9
| | | | | | Closes: https://bugs.gentoo.org/828518 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin-extend: use dune instead of findlibMaciej Barć2021-12-061-6/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/fix: new package; add version 20211125Maciej Barć2021-12-063-0/+29
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/fmt: Stabilize 0.9.0 ppc, #828293Sam James2021-12-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: Stabilize 0.9.0 ppc64, #828293Sam James2021-12-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-doc: Stabilize 4.05 x86, #828291Sam James2021-12-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/fmt: Stabilize 0.9.0 amd64, #828293Sam James2021-12-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-doc: Stabilize 4.05 amd64, #828291Sam James2021-12-051-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-sha: new package; add version 1.15.1Maciej Barć2021-12-053-0/+41
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ptmap: fix slotMaciej Barć2021-12-051-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/sedlex: fix slotMaciej Barć2021-12-051-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/gen: fix slotMaciej Barć2021-12-051-1/+1
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-process: new package; add version 0.2.1Maciej Barć2021-12-053-0/+43
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-stdint: new package; add version 0.7.0Maciej Barć2021-12-053-0/+43
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ptmap: new package; add version 2.0.5Maciej Barć2021-12-053-0/+35
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/sedlex: new package; add version 2.3Maciej Barć2021-12-053-0/+71
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/gen: new package; add version 0.5.3Maciej Barć2021-12-053-0/+33
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/batteries: fix BDEPAlfredo Tupone2021-12-041-1/+1
| | | | | | Closes: https://bugs.gentoo.org/828133 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/batteries: A community-maintained standard library extensionAlfredo Tupone2021-12-043-0/+39
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cairo2: svg usedep on cairoDavid Seifert2021-12-042-2/+2
| | | | | Closes: https://bugs.gentoo.org/827879 Signed-off-by: David Seifert <soap@gentoo.org>