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/lablgtk: fix typo in restrictionPetr Vaněk2022-12-061-2/+2
* dev-ml/lablgtk: Improve use flag metadata sectionPetr Vaněk2022-12-061-3/+9
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221205 snapshotMichał Górny2022-12-062-0/+113
* dev-ml/menhir: BetterCompressionUriAlfredo Tupone2022-12-055-8/+8
* dev-ml/fix: BetterCompressionUriAlfredo Tupone2022-12-053-5/+5
* dev-ml/dose3: BetterCompressionUriAlfredo Tupone2022-12-053-4/+4
* dev-ml/camlbz2: update SRC_URIAlfredo Tupone2022-12-052-2/+2
* dev-ml/dose3: update upstream metadataAlfredo Tupone2022-12-051-1/+1
* dev-ml/camlbz2: update upstream metadataAlfredo Tupone2022-12-051-1/+1
* dev-ml/lablgtk: add github upstream metadataAlfredo Tupone2022-12-051-5/+8
* dev-ml/seq: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/pprint: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/ocplib-simplex: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/num: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/graphics: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/dose3: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/camlidl: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/camldbm: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/camlbz2: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
* dev-ml/findlib: keyword 1.9.5 for ~loongWANG Xuerui2022-12-051-1/+1
* dev-ml/ocaml-fileutils: add 0.6.4Rafael Kitover2022-12-032-1/+26
* dev-ml/ocaml-fileutils: drop 0.6.2-r1Rafael Kitover2022-12-031-32/+0
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221120Michał Górny2022-12-022-113/+0
* dev-ml/llvm-ocaml: Remove 15.0.3Michał Górny2022-12-022-117/+0
* dev-ml/merlin: drop old 4.3.1-r3Maciej Barć2022-11-302-86/+0
* dev-ml/merlin: drop old 4.2-r2Maciej Barć2022-11-302-85/+0
* dev-ml/merlin: drop old 3.4.2-r3Maciej Barć2022-11-302-71/+0
* dev-ml/merlin: drop old 4.4-r3Maciej Barć2022-11-302-96/+0
* dev-ml/merlin: bump to 4.7Maciej Barć2022-11-302-0/+109
* dev-ml/llvm-ocaml: Bump to 15.0.6Michał Górny2022-11-292-0/+117
* dev-ml/llvm-ocaml: 15.x is now 15.0.6.9999Michał Górny2022-11-291-0/+0
* dev-ml/merlin: remove seq reference from dune build fileMaciej Barć2022-11-281-1/+4
* dev-ml/yojson: drop 2.0.0Alfredo Tupone2022-11-262-40/+0
* dev-ml/llvm-ocaml: Remove 15.0.4Michał Górny2022-11-262-117/+0
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221113Michał Górny2022-11-262-113/+0
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221126 snapshotMichał Górny2022-11-262-0/+113
* dev-ml/ocurl: use HTTPSMichael Mair-Keimberger2022-11-242-2/+2
* dev-ml/calendar: use HTTPSMichael Mair-Keimberger2022-11-241-4/+4
* dev-ml/dune-site: add 3.2.0Alfredo Tupone2022-11-222-0/+32
* dev-ml/dune-private-libs: add 3.2.0Alfredo Tupone2022-11-222-0/+37
* dev-ml/stdune: add 3.2.0Alfredo Tupone2022-11-222-0/+36
* dev-ml/dyn: add 3.2.0Alfredo Tupone2022-11-222-0/+32
* dev-ml/ordering: add 3.2.0Alfredo Tupone2022-11-222-0/+31
* dev-ml/dune-configurator: add 3.2.0Alfredo Tupone2022-11-222-0/+40
* dev-ml/dune-build-info: add 3.2.0Alfredo Tupone2022-11-222-0/+29
* dev-ml/dune: add 3.2.0Alfredo Tupone2022-11-222-0/+69
* dev-ml/dune: add 3.1.1Alfredo Tupone2022-11-212-0/+66
* dev-ml/dune-configurator: relax dune depsAlfredo Tupone2022-11-211-2/+2
* dev-ml/ounit2: remove seq reference from dune build fileMaciej Barć2022-11-212-0/+21
* dev-ml/dune: use ED instead of DAlfredo Tupone2022-11-201-4/+3