Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/yojson: update metadata.xml; add ML Project to maintainersMaciej Barć2021-12-121-3/+5
* dev-ml/biniou: update metadata.xml; add ML Project to maintainersMaciej Barć2021-12-121-11/+13
* dev-ml/dune-build-info: new package; add version 2.9.1Maciej Barć2021-12-113-0/+39
* dev-ml/dune-site: new package; add version 2.9.1Maciej Barć2021-12-113-0/+44
* dev-ml/ocaml-inifiles: new package; add version 1.2Maciej Barć2021-12-114-0/+51
* dev-ml/reason: upstream moved repository - facebook -> reasonmlMaciej Barć2021-12-111-2/+2
* dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/dune: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/ppxlib: bump to 0.24.0Maciej Barć2021-12-102-0/+40
* dev-ml/dune-configurator: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/dune: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
* dev-ml/mtime: bump to 1.3.0Maciej Barć2021-12-102-0/+34
* dev-ml/utop: bump to 2.9.0Maciej Barć2021-12-102-0/+28
* dev-ml/logs: depend on opam-installer instead of opamMaciej Barć2021-12-081-5/+7
* dev-ml/dune-configurator: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
* dev-ml/dune: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
* dev-ml/lwt_log: fid *DEPENDMaciej Barć2021-12-081-1/+1
* dev-ml/mew: add missing test depedndenciesMaciej Barć2021-12-081-1/+3
* dev-ml/fmt: Stabilize 0.9.0 arm, #828293Arthur Zamarin2021-12-081-1/+1
* dev-ml/fmt: Stabilize 0.9.0 arm64, #828293Arthur Zamarin2021-12-081-1/+1
* dev-ml/reason: install missing rtop subpackage and small docsMaciej Barć2021-12-081-0/+7
* dev-ml/reason: newest version is on the MIT licenseMaciej Barć2021-12-081-1/+1
* dev-lang/reason: new package; add version 3.7.0Maciej Barć2021-12-083-0/+44
* dev-ml/merlin-extend: default to ocamloptMaciej Barć2021-12-081-1/+1
* dev-ml/utop: new package; add version 2.8.0Maciej Barć2021-12-083-0/+47
* dev-ml/lambda-term: new package; add version 3.1.0Maciej Barć2021-12-083-0/+48
* dev-ml/lwt: install all subpackagesMaciej Barć2021-12-081-0/+9
* dev-ml/lwt_log: new package; add version 1.1.1Maciej Barć2021-12-083-0/+32
* dev-ml/charinfo_width: new package; add version 1.1.0Maciej Barć2021-12-083-0/+40
* dev-ml/zed: new package; add version 3.1.0Maciej Barć2021-12-083-0/+45
* dev-ml/mew_vi: new package; add version 0.5.0Maciej Barć2021-12-083-0/+35
* dev-ml/mew: new package; add version 0.1.0Maciej Barć2021-12-083-0/+35
* dev-ml/trie: new package; add version 1.0.0Maciej Barć2021-12-083-0/+29
* dev-ml/ocaml-stdint: some test failMaciej Barć2021-12-071-1/+1
* dev-ml/gen: qtest added but test failMaciej Barć2021-12-071-1/+2
* dev-ml/qtest: new package; add version 2.11.2Maciej Barć2021-12-073-0/+35
* dev-ml/qcheck: new package; add version 0.18Maciej Barć2021-12-073-0/+50
* dev-ml/dune-configurator: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
* dev-ml/dune: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
* dev-ml/luv: add missing dependenciesMaciej Barć2021-12-071-4/+9
* dev-ml/merlin-extend: use dune instead of findlibMaciej Barć2021-12-061-6/+2
* dev-ml/fix: new package; add version 20211125Maciej Barć2021-12-063-0/+29
* dev-ml/fmt: Stabilize 0.9.0 ppc, #828293Sam James2021-12-051-1/+1
* dev-ml/fmt: Stabilize 0.9.0 ppc64, #828293Sam James2021-12-051-1/+1
* dev-ml/ocaml-doc: Stabilize 4.05 x86, #828291Sam James2021-12-051-1/+1
* dev-ml/fmt: Stabilize 0.9.0 amd64, #828293Sam James2021-12-051-1/+1