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/ocamlnet: compute dependency betterAlfredo Tupone2023-01-202-2/+16
* dev-ml/lablgtk: add 2.18.13Alfredo Tupone2023-01-202-0/+80
* dev-ml/facile: bump EAPI to 8Maciej Barć2023-01-191-2/+4
* dev-ml/camlidl: add 1.11Alfredo Tupone2023-01-192-0/+67
* dev-ml/camlidl: fix compilation orderAlfredo Tupone2023-01-191-0/+1
* dev-ml/camlidl: fix parallelMakeAlfredo Tupone2023-01-192-1/+14
* dev-ml/uucp: bump to 15.0.0Maciej Barć2023-01-162-0/+29
* dev-ml/uunf: bump to 15.0.0Maciej Barć2023-01-162-0/+32
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-147-11/+11
* dev-ml/llvm-ocaml: Bump to 15.0.7Michał Górny2023-01-132-0/+117
* dev-ml/zed: fix depsMaciej Barć2023-01-131-2/+4
* dev-ml/utop: fix depsMaciej Barć2023-01-131-1/+2
* dev-ml/lambda-term: fix depsMaciej Barć2023-01-131-3/+4
* dev-ml/llvm-ocaml: Remove 15.x live ebuildMichał Górny2023-01-131-115/+0
* dev-ml/utop: bump to 2.11.0Maciej Barć2023-01-132-0/+64
* dev-ml/zed: bump to 3.2.1Maciej Barć2023-01-132-0/+25
* dev-ml/lambda-term: bump to 3.3.1Maciej Barć2023-01-132-0/+26
* dev-ml/uuseg: new package; add 15.0.0Maciej Barć2023-01-133-0/+62
* dev-ml/llvm-ocaml: Add 16.0.0_pre20230107 snapshotMichał Górny2023-01-082-0/+113
* dev-ml/ocaml-process: fix a spelling mistake in make optsMaciej Barć2023-01-071-8/+8
* dev-ml/llvm-ocaml: Remove 16.0.0_pre2022* snapshotsMichał Górny2023-01-073-226/+0
* dev-ml/llvm-ocaml: Remove 15.0.5Michał Górny2023-01-072-117/+0
* dev-ml/ocaml-stdint: bump to 0.7.2Maciej Barć2023-01-072-0/+19
* dev-ml/ocaml-ssl: bump to 0.5.13Maciej Barć2023-01-072-0/+33
* dev-ml/findlib: bump to 1.9.6Maciej Barć2023-01-072-0/+76
* dev-ml/uchar: EAPI 8Sam James2023-01-011-8/+11
* dev-ml/llvm-ocaml: Add 16.0.0_pre20230101 snapshotMichał Górny2023-01-012-0/+113
* dev-ml/mirage-clock: bump to 4.2.0Maciej Barć2022-12-292-0/+23
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221226 snapshotMichał Górny2022-12-272-0/+113
* dev-ml/labltk: keyword 8.06.12-r1 for ~loongWANG Xuerui2022-12-261-1/+1
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221210Michał Górny2022-12-252-113/+0
* dev-ml/alcotest: require an old cmdlinerAlfredo Tupone2022-12-241-1/+1
* dev-ml/coq-menhirlib: new package; add 20220210Maciej Barć2022-12-233-0/+43
* dev-ml/lablgtk: fix MakefileAlfredo Tupone2022-12-232-0/+12
* dev-ml/lablgtk: remove warn-errorAlfredo Tupone2022-12-231-2/+3
* dev-ml/ocamlnet: get version from $PVAlfredo Tupone2022-12-221-0/+8
* dev-ml/ocamlnet: add hard dependency in MakefileAlfredo Tupone2022-12-222-0/+12
* dev-ml/ocamlnet: fix build with tkAlfredo Tupone2022-12-212-0/+2
* dev-ml/odoc: add missing fmt depMaciej Barć2022-12-211-3/+4
* dev-ml/odoc: new package, add 2.2.0Alfredo Tupone2022-12-213-0/+44
* dev-ml/odoc-parser: new package, add 2.0.0Alfredo Tupone2022-12-213-0/+44
* dev-ml/tyxml: new package, add 4.5.0Alfredo Tupone2022-12-214-0/+62
* dev-ml/reason: keyword 3.8.2 for ~x86Alfredo Tupone2022-12-211-1/+1
* dev-ml/merlin-extend: keyword 0.6.1 for ~x86Alfredo Tupone2022-12-211-1/+1
* dev-ml/llvm-ocaml: Remove old snapshotsMichał Górny2022-12-193-226/+0
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221217 snapshotMichał Górny2022-12-182-0/+113
* dev-ml/dune: add 3.6.1Alfredo Tupone2022-12-172-0/+69
* dev-ml/dune-site: add 3.6.1Alfredo Tupone2022-12-162-0/+32
* dev-ml/dune-private-libs: add 3.6.1Alfredo Tupone2022-12-162-0/+37
* dev-ml/stdune: add 3.6.1Alfredo Tupone2022-12-162-0/+36