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/labltk: keyword 8.06.12-r1 for ~loongWANG Xuerui2022-12-261-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221210Michał Górny2022-12-252-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/alcotest: require an old cmdlinerAlfredo Tupone2022-12-241-1/+1
| | | | | Closes: https://bugs.gentoo.org/886115 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/coq-menhirlib: new package; add 20220210Maciej Barć2022-12-233-0/+43
| | | | | Closes: https://bugs.gentoo.org/888075 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lablgtk: fix MakefileAlfredo Tupone2022-12-232-0/+12
| | | | | Closes: https://bugs.gentoo.org/887039 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: remove warn-errorAlfredo Tupone2022-12-231-2/+3
| | | | | Closes: https://bugs.gentoo.org/887393 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlnet: get version from $PVAlfredo Tupone2022-12-221-0/+8
| | | | | Closes: https://bugs.gentoo.org/880945 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlnet: add hard dependency in MakefileAlfredo Tupone2022-12-222-0/+12
| | | | | | Closes: https://bugs.gentoo.org/887479 Closes: https://bugs.gentoo.org/887687 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocamlnet: fix build with tkAlfredo Tupone2022-12-212-0/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/odoc: add missing fmt depMaciej Barć2022-12-211-3/+4
| | | | | Closes: https://bugs.gentoo.org/887709 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/odoc: new package, add 2.2.0Alfredo Tupone2022-12-213-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/odoc-parser: new package, add 2.0.0Alfredo Tupone2022-12-213-0/+44
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/tyxml: new package, add 4.5.0Alfredo Tupone2022-12-214-0/+62
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/reason: keyword 3.8.2 for ~x86Alfredo Tupone2022-12-211-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/merlin-extend: keyword 0.6.1 for ~x86Alfredo Tupone2022-12-211-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove old snapshotsMichał Górny2022-12-193-226/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221217 snapshotMichał Górny2022-12-182-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune: add 3.6.1Alfredo Tupone2022-12-172-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-site: add 3.6.1Alfredo Tupone2022-12-162-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.6.1Alfredo Tupone2022-12-162-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.6.1Alfredo Tupone2022-12-162-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.6.1Alfredo Tupone2022-12-162-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.6.1Alfredo Tupone2022-12-162-0/+31
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.6.1Alfredo Tupone2022-12-162-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-build-info: add 3.6.1Alfredo Tupone2022-12-162-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/batteries: add missing camlp-streams dependencyMaciej Barć2022-12-161-1/+2
| | | | | Closes: https://bugs.gentoo.org/886355 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* 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>