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/mmap: add missing bigarray-compat dependencyMaciej Barć2022-12-161-0/+3
| | | | | Closes: https://bugs.gentoo.org/886353 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: add 3.5.0Alfredo Tupone2022-12-162-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/extlib: bump to 1.7.9Maciej Barć2022-12-162-0/+50
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/batteries: bump to 3.6.0Maciej Barć2022-12-162-0/+32
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlp-streams: bump to 5.0.1Maciej Barć2022-12-162-0/+22
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin-extend: bump to 0.6.1Maciej Barć2022-12-162-0/+23
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/mmap: bump to 1.2.0Maciej Barć2022-12-162-0/+17
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-ctypes: drop old 0.19.1Maciej Barć2022-12-162-45/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-ctypes: bump to 0.20.1Maciej Barć2022-12-162-0/+45
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-migrate-parsetree: bump to 2.4.0Maciej Barć2022-12-162-0/+21
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-sha: bump to 1.15.2Maciej Barć2022-12-162-0/+23
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocamlbuild: bump to 0.14.2Maciej Barć2022-12-162-0/+48
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/parmap: bump to 1.2.5Maciej Barć2022-12-162-0/+22
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/topkg: bump to 1.0.6Maciej Barć2022-12-162-0/+39
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221210 snapshotMichał Górny2022-12-102-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-fileutils: fix deps and dune build without seqMaciej Barć2022-12-092-7/+17
| | | | | Closes: https://bugs.gentoo.org/884127 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/facile: remove sys-apps/sed from DEPENDDavid Seifert2022-12-071-3/+1
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/lablgtk: fix typo in restrictionPetr Vaněk2022-12-061-2/+2
| | | | | | | | | This fixes accidental typo in flag restriction from previous commit. Fixes: 32aeb34cdae5 ("dev-ml/lablgtk: Improve use flag metadata section") Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Closes: https://github.com/gentoo/gentoo/pull/28576 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: Improve use flag metadata sectionPetr Vaněk2022-12-061-3/+9
| | | | | | | | | | | - Reference packages with <pkg> tag - Unify flag descriptions by removing trailing dot from first two flags - Restrict glade and gnomecanvas flag to <dev-ml/lablgtk-3, dev-ml/lablgtk:3 uses sourceview use flag only Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Closes: https://github.com/gentoo/gentoo/pull/28564 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221205 snapshotMichał Górny2022-12-062-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/menhir: BetterCompressionUriAlfredo Tupone2022-12-055-8/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/fix: BetterCompressionUriAlfredo Tupone2022-12-053-5/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dose3: BetterCompressionUriAlfredo Tupone2022-12-053-4/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlbz2: update SRC_URIAlfredo Tupone2022-12-052-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dose3: update upstream metadataAlfredo Tupone2022-12-051-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlbz2: update upstream metadataAlfredo Tupone2022-12-051-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: add github upstream metadataAlfredo Tupone2022-12-051-5/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/seq: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/pprint: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocplib-simplex: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/graphics: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dose3: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlidl: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camldbm: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlbz2: add github upstream metadataAlfredo Tupone2022-12-041-0/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/findlib: keyword 1.9.5 for ~loongWANG Xuerui2022-12-051-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* dev-ml/ocaml-fileutils: add 0.6.4Rafael Kitover2022-12-032-1/+26
| | | | | | | | | | Remove the 'v' version prefix, that is no longer used. Remove the edit to use ounit2 for tests, that is no longer necessary. Signed-off-by: Rafael Kitover <rkitover@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/28516 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-fileutils: drop 0.6.2-r1Rafael Kitover2022-12-031-32/+0
| | | | | | | In preparation for adding 0.6.4. Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221120Michał Górny2022-12-022-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.3Michał Górny2022-12-022-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: drop old 4.3.1-r3Maciej Barć2022-11-302-86/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.2-r2Maciej Barć2022-11-302-85/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 3.4.2-r3Maciej Barć2022-11-302-71/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: drop old 4.4-r3Maciej Barć2022-11-302-96/+0
| | | | | Closes: https://bugs.gentoo.org/883625 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: bump to 4.7Maciej Barć2022-11-302-0/+109
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.6Michał Górny2022-11-292-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 15.x is now 15.0.6.9999Michał Górny2022-11-291-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: remove seq reference from dune build fileMaciej Barć2022-11-281-1/+4
| | | | | Closes: https://bugs.gentoo.org/883433 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: drop 2.0.0Alfredo Tupone2022-11-262-40/+0
| | | | | Closes: https://bugs.gentoo.org/861356 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>