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/llvm-ocaml: Add 18.0.0_pre20230925 snapshotMichał Górny2023-09-252-0/+113
* dev-ml/zarith: bump to 1.13Maciej Barć2023-09-222-0/+62
* dev-ml/uunf: bump to 15.1.0Maciej Barć2023-09-222-0/+39
* dev-ml/uunf: drop old 14.0.0Maciej Barć2023-09-222-32/+0
* dev-ml/uunf: drop old 13.0.0-r1Maciej Barć2023-09-222-32/+0
* dev-ml/uucp: bump to 15.1.0Maciej Barć2023-09-222-0/+35
* dev-ml/uucp: drop old 14.0.0Maciej Barć2023-09-222-29/+0
* dev-ml/uucp: drop old 13.0.0-r2Maciej Barć2023-09-222-30/+0
* dev-ml/pprint: bump to 20230830Maciej Barć2023-09-222-0/+16
* dev-ml/batteries: drop old 3.4.0Maciej Barć2023-09-222-32/+0
* dev-ml/llvm-ocaml: Bump to 17.0.1Michał Górny2023-09-192-0/+114
* dev-ml/stdcompat: fix VariableShadowedArthur Zamarin2023-09-191-3/+2
* dev-ml/ppx_deriving: fix VariableShadowedArthur Zamarin2023-09-192-6/+4
* dev-ml/llvm-ocaml: 17.x is now 17.0.1Michał Górny2023-09-191-0/+0
* dev-ml/reason: bump to 3.10.0Maciej Barć2023-09-153-0/+54
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-09-084-340/+0
* dev-ml/odoc: bump to 2.2.1Maciej Barć2023-09-072-0/+30
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230906 snapshotMichał Górny2023-09-062-0/+113
* dev-ml/llvm-ocaml: Bump to 17.0.0_rc4Michał Górny2023-09-052-0/+114
* dev-ml/ocplib-simplex: add 0.4.1Alfredo Tupone2023-09-022-0/+37
* dev-ml/ocaml-base64: add 3.5.1Alfredo Tupone2023-09-022-0/+20
* dev-ml/lwt_ssl: add 1.2.0Alfredo Tupone2023-09-022-0/+24
* dev-ml/lwt: add 5.7.0Alfredo Tupone2023-09-022-0/+60
* dev-ml/lambda-term: add 3.3.2Alfredo Tupone2023-09-022-0/+27
* dev-ml/base: add 0.16.3Alfredo Tupone2023-09-022-0/+23
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230829 snapshotMichał Górny2023-08-292-0/+113
* dev-ml/llvm-ocaml: Remove oldMichał Górny2023-08-296-567/+0
* dev-ml/merlin: drop old 4.6Maciej Barć2023-08-272-109/+0
* dev-ml/merlin: drop old 4.5-r3Maciej Barć2023-08-272-101/+0
* dev-ml/merlin: bump to 4.10Maciej Barć2023-08-272-0/+100
* dev-ml/reason: drop old 3.8.2Maciej Barć2023-08-272-38/+0
* dev-ml/utop: drop old 2.11.0-r1Maciej Barć2023-08-272-65/+0
* dev-ml/ptime: bump to 1.1.0Maciej Barć2023-08-272-0/+32
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230825 snapshotMichał Górny2023-08-252-0/+113
* dev-ml/llvm-ocaml: Add 17.0.0_rc3Michał Górny2023-08-232-0/+114
* dev-ml/llvm-ocaml: Add 18.0.0_pre20230820 snapshotMichał Górny2023-08-202-0/+113
* dev-ml/zed: drop old 3.2.1-r2Maciej Barć2023-08-202-28/+0
* dev-ml/zed: drop old 3.1.0Maciej Barć2023-08-202-23/+0
* dev-ml/zed: bump to 3.2.3Maciej Barć2023-08-202-0/+32
* dev-ml/menhir: bump to 20230608Maciej Barć2023-08-202-0/+22
* dev-ml/menhir: drop old 20211012Maciej Barć2023-08-202-22/+0
* dev-ml/menhir: drop old 20210419-r1Maciej Barć2023-08-202-22/+0
* dev-ml/menhir: drop old 20190924Maciej Barć2023-08-202-43/+0
* dev-ml/dune-site: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-private-libs: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune-build-info: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/dune: Stabilize 2.9.3-r3 arm, #896102Arthur Zamarin2023-08-161-1/+1
* dev-ml/merlin: bump to 4.9Maciej Barć2023-08-112-0/+100
* dev-ml/ocaml-ctypes: Update the homepageMichał Górny2023-08-102-3/+3